soot.util
Class CFGViewer
java.lang.Object
|
+--soot.util.CFGViewer
- public class CFGViewer
- extends java.lang.Object
A utility class for generating dot graph file for a control flow graph
Method Summary |
static void |
main(java.lang.String[] args)
|
protected static void |
print_cfg(Body body)
|
static void |
toDotFile(java.lang.String methodname,
DirectedGraph graph,
java.lang.String graphname)
Generates a dot format file for a DirectedGraph |
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 java.lang.String clsname
methname
public static java.lang.String methname
isBrief
public static boolean isBrief
onepage
public static boolean onepage
CFGViewer
public CFGViewer()
main
public static void main(java.lang.String[] args)
print_cfg
protected static void print_cfg(Body body)
toDotFile
public static void toDotFile(java.lang.String methodname,
DirectedGraph graph,
java.lang.String graphname)
- Generates a dot format file for a DirectedGraph