| Package | Description |
|---|---|
| soot.jimple.toolkits.thread.mhp | |
| soot.jimple.toolkits.thread.mhp.stmt |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<JPegStmt,Chain> |
PegGraph.joinStmtToThread |
protected java.util.Map<JPegStmt,Chain> |
PegGraph.joinStmtToThread |
java.util.HashMap<JPegStmt,java.util.List> |
PegGraph.startToThread |
java.util.HashMap<JPegStmt,java.util.List> |
PegGraph.startToThread |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Map<JPegStmt,Chain> |
PegGraph.getJoinStmtToThread() |
protected java.util.Map<JPegStmt,Chain> |
PegGraph.getJoinStmtToThread() |
java.util.Map<java.lang.String,java.util.Set<JPegStmt>> |
PegGraph.getNotifyAll() |
java.util.Map<java.lang.String,java.util.Set<JPegStmt>> |
PegGraph.getNotifyAll() |
protected java.util.Set<JPegStmt> |
PegGraph.getSpecialJoin() |
protected java.util.Set<JPegStmt> |
PegGraph.getSpecialJoin() |
java.util.Map<JPegStmt,java.util.List> |
PegGraph.getStartToThread() |
java.util.Map<JPegStmt,java.util.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 |