dk.brics.xact.analysis.transformations
Class FlowGraph2Dot

java.lang.Object
  dk.brics.xact.analysis.transformations.FlowGraph2Dot

public class FlowGraph2Dot
extends Object

Graphviz dot printer for flow graphs.

Constructor Summary

FlowGraph2Dot(PrintStream p)
Constructs a new converter.

Method Summary

void	print(FlowGraph g) Prints the given flow graph in Graphviz dot format.
void	print(FlowGraph g, boolean ignoreExits)
void	print(List<FlowGraph> graphs, boolean ignoreExits)
void	printBody(FlowGraph g, boolean ignoreExits, String namesuffix)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FlowGraph2Dot

public FlowGraph2Dot(PrintStream p)

Constructs a new converter.

Method Detail

print

public void print(FlowGraph g)

Prints the given flow graph in Graphviz dot format.

print

public void print(FlowGraph g,
                  boolean ignoreExits)

print

public void print(List<FlowGraph> graphs,
                  boolean ignoreExits)

printBody

public void printBody(FlowGraph g,
                      boolean ignoreExits,
                      String namesuffix)