soot.jimple.toolkits.thread.synchronization

Class SynchronizedRegion

java.lang.Object

soot.jimple.toolkits.thread.synchronization.SynchronizedRegion

public class SynchronizedRegion
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Stmt	after
Stmt	beginning
java.util.List<Pair<Stmt,Stmt>>	earlyEnds
Pair<Stmt,Stmt>	end
Stmt	entermonitor
Pair<Stmt,Stmt>	exceptionalEnd
Stmt	last
Stmt	prepStmt

Constructor Summary

Constructors

Constructor and Description
SynchronizedRegion()
SynchronizedRegion(SynchronizedRegion sr)

Method Summary

Modifier and Type	Method and Description
protected java.lang.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 java.util.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 java.lang.Object clone()

Overrides:

clone in class java.lang.Object