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


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

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
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
Parameters:
methodname, - the name of generated dot file
graph, - a directed control flow graph (UnitGraph, BlockGraph ...)
graphname, - the title of the graph