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
BLOCKGRAPH
public static final int BLOCKGRAPH
ARRAYBLOCK
public static final int ARRAYBLOCK
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
- Parameters:
methodname,
- the name of generated dot filegraph,
- a directed control flow graph (UnitGraph, BlockGraph ...)graphname,
- the title of the graph