soot.jimple.toolkits.thread.mhp

Class PegToDotFile

java.lang.Object

soot.jimple.toolkits.thread.mhp.PegToDotFile

public class PegToDotFile
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ARRAYBLOCK
static int	BLOCKGRAPH
static int	graphtype
static boolean	isBrief
static boolean	onepage
static int	UNITGRAPH

Constructor Summary

Constructors

Constructor and Description
PegToDotFile(PegGraph graph, boolean onepage, String name)

Method Summary

Modifier and Type	Method and Description
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