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
clsname
public static String clsname
methname
public static String methname
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