soot.jimple.toolkits.thread.synchronization
Class SynchronizedRegion

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

public class SynchronizedRegion
extends Object

Field Summary

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

SynchronizedRegion()

SynchronizedRegion(SynchronizedRegion sr)

Method Summary

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