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

Constructors

Constructor and Description
DGraphPrettyPrinter(DGraph d)

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

DGraphPrettyPrinter

public DGraphPrettyPrinter(DGraph d)

Method Detail

print

public String print()