Package | Description |
---|---|
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.stmt |
Modifier and Type | Field and Description |
---|---|
protected Map<JPegStmt,Chain> |
PegGraph.joinStmtToThread |
protected Map<JPegStmt,Chain> |
PegGraph.joinStmtToThread |
HashMap<JPegStmt,List> |
PegGraph.startToThread |
HashMap<JPegStmt,List> |
PegGraph.startToThread |
Modifier and Type | Method and Description |
---|---|
protected Map<JPegStmt,Chain> |
PegGraph.getJoinStmtToThread() |
protected Map<JPegStmt,Chain> |
PegGraph.getJoinStmtToThread() |
Map<String,Set<JPegStmt>> |
PegGraph.getNotifyAll() |
Map<String,Set<JPegStmt>> |
PegGraph.getNotifyAll() |
protected Set<JPegStmt> |
PegGraph.getSpecialJoin() |
protected Set<JPegStmt> |
PegGraph.getSpecialJoin() |
Map<JPegStmt,List> |
PegGraph.getStartToThread() |
Map<JPegStmt,List> |
PegGraph.getStartToThread() |
Modifier and Type | Method and Description |
---|---|
protected void |
PegGraph.buildSuccsForInlining(JPegStmt stmt,
Chain chain,
PegGraph inlinee) |
protected void |
PegGraph.buildSuccsForInlining(JPegStmt stmt,
Chain chain,
PegGraph inlinee) |
Modifier and Type | Class and Description |
---|---|
class |
BeginStmt |
class |
JoinStmt |
class |
MonitorEntryStmt |
class |
MonitorExitStmt |
class |
NotifiedEntryStmt |
class |
NotifyAllStmt |
class |
NotifyStmt |
class |
OtherStmt |
class |
StartStmt |
class |
WaitingStmt |
class |
WaitStmt |