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

FreshTerminalVisitor()

Method Summary

void	out(Production production)

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

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