dk.brics.servletvalidator

Class ProductionInliner

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.ProductionInliner

All Implemented Interfaces:

GrammarEntityVisitor

public class ProductionInliner
extends AbstractGrammarEntityVisitor

Inlines all productions of a non terminal in the productions that use it. Only inlines productions if they belong to a nonterminal in the set that is given to the constructor

Field Summary

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

marked

Constructor Summary

Constructors

Constructor and Description
ProductionInliner(NonTerminal n)
ProductionInliner(NonTerminal n, Set<NonTerminal> cycleNonTerminals)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Grammar g)
void	out(Production production)

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

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

ProductionInliner

public ProductionInliner(NonTerminal n)

ProductionInliner

public ProductionInliner(NonTerminal n,
                 Set<NonTerminal> cycleNonTerminals)

Method Detail

apply

public void apply(Grammar g)

Specified by:

apply in interface GrammarEntityVisitor

Overrides:

apply in class AbstractGrammarEntityVisitor

out

public void out(Production production)

Specified by:

out in interface GrammarEntityVisitor

Overrides:

out in class AbstractGrammarEntityVisitor