SynchronizedRegion (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.toolkits.thread.synchronization.SynchronizedRegion

public class SynchronizedRegion
extends Object

Field Summary

Fields
Modifier and Type	Field	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 Summary

Constructors
Constructor Description

SynchronizedRegion()

SynchronizedRegion(SynchronizedRegion sr)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

protected Object clone()
- Methods inherited from class java.lang.Object
  equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

prepStmt
```
public Stmt prepStmt
```

entermonitor
```
public Stmt entermonitor
```

beginning
```
public Stmt beginning
```

earlyEnds

public List<Pair<Stmt,Stmt>> earlyEnds

exceptionalEnd

public Pair<Stmt,Stmt> exceptionalEnd

end
```
public Pair<Stmt,Stmt> end
```

last
```
public Stmt last
```

after
```
public Stmt after
```

Constructor Detail

SynchronizedRegion
```
public SynchronizedRegion()
```

SynchronizedRegion

public SynchronizedRegion(SynchronizedRegion sr)

Method Detail
- clone
```
protected Object clone()
```
  Overrides:
  
  clone in class Object