soot.jimple.toolkits.thread.mhp
Class PegToDotFile

java.lang.Object
  extended by soot.jimple.toolkits.thread.mhp.PegToDotFile

public class PegToDotFile
extends Object


Field Summary
static int ARRAYBLOCK
           
static int BLOCKGRAPH
           
static int graphtype
           
static boolean isBrief
           
static boolean onepage
           
static int UNITGRAPH
           
 
Constructor Summary
PegToDotFile(PegGraph graph, boolean onepage, String name)
           
 
Method Summary
static void toDotFile(String methodname, PegGraph graph, 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

isBrief

public static boolean isBrief

onepage

public static boolean onepage
Constructor Detail

PegToDotFile

public PegToDotFile(PegGraph graph,
                    boolean onepage,
                    String name)
Method Detail

toDotFile

public static void toDotFile(String methodname,
                             PegGraph graph,
                             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