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


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

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

CFGViewer

public CFGViewer()
Method Detail

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