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

FlowGraphPrettyPrinter(FlowGraph flow)

Method Summary

String

print()

Methods inherited from class dk.brics.servletvalidator.AbstractPrettyPrinter

escapeSymbol, getEasyName, getNextName

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

apply, apply, apply, apply, 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)

Method Detail

print

public String print()