soot.jimple.toolkits.thread.mhp

Class PegCallGraphToDot

java.lang.Object

soot.jimple.toolkits.thread.mhp.PegCallGraphToDot

public class PegCallGraphToDot
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	isBrief
static boolean	onepage

Constructor Summary

Constructors

Constructor and Description
PegCallGraphToDot(DirectedGraph graph, boolean onepage, String name)

Method Summary

Modifier and Type	Method and Description
static void	toDotFile(String methodname, DirectedGraph 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

isBrief

public static boolean isBrief

onepage

public static boolean onepage

Constructor Detail

PegCallGraphToDot

public PegCallGraphToDot(DirectedGraph graph,
                         boolean onepage,
                         String name)

Method Detail

toDotFile

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