dk.brics.string.flow.operations
Class FlowGraph2Dot

java.lang.Object
  dk.brics.string.flow.operations.FlowGraph2Dot

public class FlowGraph2Dot
extends Object

Converter from flow graphs to Graphviz Dot representation.

Method Summary

static String	toDot(FlowGraph g) Returns Graphviz Dot representation of the given graph.
static String	toDot(FlowGraph g, Collection<Node> hotspots) Returns Graphviz Dot representation of the given graph.

Methods inherited from class java.lang.Object

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

Method Detail

toDot

public static String toDot(FlowGraph g)

Returns Graphviz Dot representation of the given graph. All nodes are shown as hotspots.

toDot

public static String toDot(FlowGraph g,
                           Collection<Node> hotspots)

Returns Graphviz Dot representation of the given graph.