public class AnnotatedPrettyPrinter extends GrammarPrettyPrinter
marked
Constructor and Description |
---|
AnnotatedPrettyPrinter(AbstractAnnotationVisitor grammarAnnotater,
Grammar g) |
Modifier and Type | Method and Description |
---|---|
protected String |
getEasyName(NonTerminal nonTerminal) |
String |
getTerminalName(Terminal t) |
protected String |
productionHook(Production p) |
getName, print
copyEasyNames, escapeSymbol, getNextName
public AnnotatedPrettyPrinter(AbstractAnnotationVisitor grammarAnnotater, Grammar g)
protected String getEasyName(NonTerminal nonTerminal)
getEasyName
in class GrammarPrettyPrinter
public String getTerminalName(Terminal t)
getTerminalName
in class GrammarPrettyPrinter
protected String productionHook(Production p)
productionHook
in class GrammarPrettyPrinter
Copyright © 2008-2013 Mathias Schwarz.