soot.jimple.toolkits.thread.mhp
Class PegToDotFile
java.lang.Object
soot.jimple.toolkits.thread.mhp.PegToDotFile
public class PegToDotFile
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UNITGRAPH
public static final int UNITGRAPH
- See Also:
- Constant Field Values
BLOCKGRAPH
public static final int BLOCKGRAPH
- See Also:
- Constant Field Values
ARRAYBLOCK
public static final int ARRAYBLOCK
- See Also:
- Constant Field Values
graphtype
public static int graphtype
isBrief
public static boolean isBrief
onepage
public static boolean onepage
PegToDotFile
public PegToDotFile(PegGraph graph,
boolean onepage,
String name)
toDotFile
public static void toDotFile(String methodname,
PegGraph graph,
String graphname)
- Generates a dot format file for a DirectedGraph
- Parameters:
methodname,
- the name of generated dot filegraph,
- a directed control flow graph (UnitGraph, BlockGraph ...)graphname,
- the title of the graph