dk.brics.servletvalidator.balancing.inequality

Class ThetaVarConstructor

java.lang.Object

dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

dk.brics.servletvalidator.balancing.inequality.ThetaVarConstructor

All Implemented Interfaces:

GrammarEntityVisitor

public class ThetaVarConstructor
extends AbstractGrammarEntityVisitor

Constructs the inequalities needed to find the method d as described in [Knuth] Theorem 1 and [Joda] section 9

Field Summary

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

marked

Constructor Summary

Constructors

Constructor and Description
ThetaVarConstructor(BalanceChecker balanceChecker)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Grammar g)
Map<NonTerminal,Node>	getNodes()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ThetaVarConstructor

public ThetaVarConstructor(BalanceChecker balanceChecker)

Method Detail

apply

public void apply(Grammar g)

Specified by:

apply in interface GrammarEntityVisitor

Overrides:

apply in class AbstractGrammarEntityVisitor

getNodes

public Map<NonTerminal,Node> getNodes()