dk.brics.servletvalidator.flowgraph

Class FlowGraphPrettyPrinter

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.AbstractPrettyPrinter<Node>

dk.brics.servletvalidator.flowgraph.FlowGraphPrettyPrinter

All Implemented Interfaces:

GrammarEntityVisitor, PrettyPrinter

public class FlowGraphPrettyPrinter
extends AbstractPrettyPrinter<Node>

Pretty prints the flow graph to graphviz dot format

Author:

schwarz

Field Summary

Fields inherited from class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

marked

Constructor Summary

Constructors

Constructor and Description
FlowGraphPrettyPrinter(FlowGraph flow)
FlowGraphPrettyPrinter(FlowGraph flow, Map<Node,?> extra)

Method Summary

Methods

Modifier and Type	Method and Description
String	print()

Methods inherited from class dk.brics.servletvalidator.AbstractPrettyPrinter

copyEasyNames, escapeSymbol, getEasyName, getNextName

Methods inherited from class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply, apply, apply, apply, getLocation, getPath, in, in, in, isMarked, mark, out, out, out, print, shouldPrettyPrint

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraphPrettyPrinter

public FlowGraphPrettyPrinter(FlowGraph flow)

FlowGraphPrettyPrinter

public FlowGraphPrettyPrinter(FlowGraph flow,
                      Map<Node,?> extra)

Method Detail

print

public String print()