| Package | Description |
|---|---|
| soot.jimple.toolkits.thread.mhp |
| Modifier and Type | Method and Description |
|---|---|
boolean |
PegGraph.addPeg(PegGraph pg,
Chain chain) |
boolean |
PegGraph.addPeg(PegGraph pg,
Chain chain) |
protected void |
PegGraph.buildMaps(PegGraph pg) |
protected void |
PegGraph.buildMaps(PegGraph pg) |
protected void |
PegGraph.buildSuccsForInlining(JPegStmt stmt,
Chain chain,
PegGraph inlinee) |
protected void |
PegGraph.buildSuccsForInlining(JPegStmt stmt,
Chain chain,
PegGraph inlinee) |
static void |
PegToDotFile.toDotFile(java.lang.String methodname,
PegGraph graph,
java.lang.String graphname)
Generates a dot format file for a DirectedGraph
|
static void |
PegToDotFile.toDotFile(java.lang.String methodname,
PegGraph graph,
java.lang.String graphname)
Generates a dot format file for a DirectedGraph
|
| Constructor and Description |
|---|
CompactSequentNodes(PegGraph pg) |
CompactSequentNodes(PegGraph pg) |
CompactStronglyConnectedComponents(PegGraph pg) |
CompactStronglyConnectedComponents(PegGraph pg) |
MonitorAnalysis(PegGraph g) |
MonitorAnalysis(PegGraph g) |
PegToDotFile(PegGraph graph,
boolean onepage,
java.lang.String name) |
PegToDotFile(PegGraph graph,
boolean onepage,
java.lang.String name) |
TopologicalSorter(Chain chain,
PegGraph pg) |
TopologicalSorter(Chain chain,
PegGraph pg) |