dk.brics.servletvalidator.grammar

Class FreshTerminalVisitor

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.grammar.FreshTerminalVisitor

All Implemented Interfaces:

GrammarEntityVisitor

public class FreshTerminalVisitor
extends AbstractGrammarEntityVisitor

Replaces all non terminals by a fresh copy, meaning that any non terminal used somewhere in a production is never used anywhere else.

Author:

schwarz

Field Summary

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

marked

Constructor Summary

Constructors

Constructor and Description
FreshTerminalVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	out(Production production)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FreshTerminalVisitor

public FreshTerminalVisitor()

Method Detail

out

public void out(Production production)

Specified by:

out in interface GrammarEntityVisitor

Overrides:

out in class AbstractGrammarEntityVisitor