public class SynchronizedBlocks
extends java.lang.Object
Constructor and Description |
---|
SynchronizedBlocks() |
Modifier and Type | Method and Description |
---|---|
private static boolean |
anyOpHasEffect(java.util.List<Op03SimpleStatement> ops) |
static void |
findSynchronizedBlocks(java.util.List<Op03SimpleStatement> statements) |
private static void |
findSynchronizedRange(Op03SimpleStatement start,
Expression monitorEnterExpression) |
private static Expression |
removeCasts(Expression e) |
public static void findSynchronizedBlocks(java.util.List<Op03SimpleStatement> statements)
private static void findSynchronizedRange(Op03SimpleStatement start, Expression monitorEnterExpression)
private static Expression removeCasts(Expression e)
private static boolean anyOpHasEffect(java.util.List<Op03SimpleStatement> ops)