soot.tools
Class CFGViewer
java.lang.Object
|
+--soot.tools.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 void |
print_cfg(Body body)
|
void |
run(java.lang.String[] args)
|
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 int graphtype
clsname
public java.lang.String clsname
methname
public java.lang.String methname
isBrief
public boolean isBrief
onepage
public boolean onepage
shimple
public static boolean shimple
viaShimple
public static boolean viaShimple
complete
public static boolean complete
CFGViewer
public CFGViewer()
main
public static void main(java.lang.String[] args)
run
public void run(java.lang.String[] args)
print_cfg
protected void print_cfg(Body body)
toDotFile
public 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