dk.brics.servletvalidator.tagform
Class AnnotatedPrettyPrinter

java.lang.Object
  dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
      dk.brics.servletvalidator.AbstractPrettyPrinter<NonTerminal>
          dk.brics.servletvalidator.grammar.GrammarPrettyPrinter
              dk.brics.servletvalidator.tagform.AnnotatedPrettyPrinter

All Implemented Interfaces:

GrammarEntityVisitor, PrettyPrinter

public class AnnotatedPrettyPrinter
extends GrammarPrettyPrinter

Pretty prints the nonterminal names with the annotated context

Author:

schwarz

Field Summary

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

marked

Constructor Summary

AnnotatedPrettyPrinter(AbstractAnnotationVisitor grammarAnnotater, Grammar g)

Method Summary

protected String	getEasyName(NonTerminal nonTerminal)
protected String	productionHook(Production p)

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

getName, getTerminalName, print

Methods inherited from class dk.brics.servletvalidator.AbstractPrettyPrinter

escapeSymbol, 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

AnnotatedPrettyPrinter

public AnnotatedPrettyPrinter(AbstractAnnotationVisitor grammarAnnotater,
                              Grammar g)

Method Detail

getEasyName

protected String getEasyName(NonTerminal nonTerminal)

Overrides:

getEasyName in class GrammarPrettyPrinter

productionHook

protected String productionHook(Production p)

Overrides:

productionHook in class GrammarPrettyPrinter