dk.brics.servletvalidator.balancing.pimages
Class DGraphPrettyPrinter

java.lang.Object
  dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
      dk.brics.servletvalidator.AbstractPrettyPrinter<NonTerminal>
          dk.brics.servletvalidator.balancing.pimages.DGraphPrettyPrinter

All Implemented Interfaces:

GrammarEntityVisitor, PrettyPrinter

public class DGraphPrettyPrinter
extends AbstractPrettyPrinter<NonTerminal>

Pretty prints the D graph

Field Summary

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

marked

Constructor Summary

DGraphPrettyPrinter(DGraph d)

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

DGraphPrettyPrinter

public DGraphPrettyPrinter(DGraph d)

Method Detail

print

public String print()