public class SynchronizedRegion extends Object
Modifier and Type | Field and Description |
---|---|
Stmt |
after |
Stmt |
beginning |
List<Pair<Stmt,Stmt>> |
earlyEnds |
Pair<Stmt,Stmt> |
end |
Stmt |
entermonitor |
Pair<Stmt,Stmt> |
exceptionalEnd |
Stmt |
last |
Stmt |
prepStmt |
Constructor and Description |
---|
SynchronizedRegion() |
SynchronizedRegion(SynchronizedRegion sr) |