dk.brics.servletvalidator

Class UniqueProductionVisitor

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.UniqueProductionVisitor

All Implemented Interfaces:

GrammarEntityVisitor

public class UniqueProductionVisitor
extends AbstractGrammarEntityVisitor

Remove duplicate productions that may have come due to tampering with productions attached to non terminals

Field Summary

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

marked

Constructor Summary

Constructors

Constructor and Description
UniqueProductionVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Grammar g)
void	out(NonTerminal nonTerminal)
boolean	shouldPrettyPrint() If this method returns true the grammar will be printed to debug after the visitor has run

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

apply, apply, apply, getLocation, getPath, in, in, in, isMarked, mark, out, out, print

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UniqueProductionVisitor

public UniqueProductionVisitor()

Method Detail

apply

public void apply(Grammar g)

Specified by:

apply in interface GrammarEntityVisitor

Overrides:

apply in class AbstractGrammarEntityVisitor

out

public void out(NonTerminal nonTerminal)

Specified by:

out in interface GrammarEntityVisitor

Overrides:

out in class AbstractGrammarEntityVisitor

shouldPrettyPrint

public boolean shouldPrettyPrint()

Description copied from class: AbstractGrammarEntityVisitor

If this method returns true the grammar will be printed to debug after the visitor has run

Specified by:

shouldPrettyPrint in interface GrammarEntityVisitor

Overrides:

shouldPrettyPrint in class AbstractGrammarEntityVisitor