Package com.ibm.wala.cast.java.examples.ast
package com.ibm.wala.cast.java.examples.ast
-
ClassDescriptiontransforms each synchronized block to execute under a conditional test calling some method m(), where the block is duplicated in both the if and else branches.