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) |
Copyright © 2020 Soot OSS. All rights reserved.