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(String methodname,
PegGraph graph,
String graphname)
Generates a dot format file for a DirectedGraph
|
static void |
PegToDotFile.toDotFile(String methodname,
PegGraph graph,
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,
String name) |
PegToDotFile(PegGraph graph,
boolean onepage,
String name) |
TopologicalSorter(Chain chain,
PegGraph pg) |
TopologicalSorter(Chain chain,
PegGraph pg) |