soot.tools
Class CFGViewer

java.lang.Object
  extended bysoot.tools.CFGViewer

public class CFGViewer
extends java.lang.Object

A utility class for generating dot graph file for a control flow graph

Author:
Feng Qian

Field Summary
static int ARRAYBLOCK
           
static int BLOCKGRAPH
           
 java.lang.String clsname
           
static boolean complete
           
 int graphtype
           
 boolean isBrief
           
 java.lang.String methname
           
 boolean onepage
           
static boolean shimple
           
static int UNITGRAPH
           
static boolean viaShimple
           
 
Constructor Summary
CFGViewer()
           
 
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
 

Field Detail

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 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
Constructor Detail

CFGViewer

public CFGViewer()
Method Detail

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