Package dk.brics.servletvalidator.balancing

This package contains the transformations and visitors needed to obtain a balanced grammar from a general context free grammar that has a balanced language.

See: Description

Interface Summary

Interface	Description
ParenthesisModel	A parenthesis model decides given a terminal if the terminal is an end parenthesis or a start parenthesis
Transformation1Visitor.TransformationObserver
ValueCarrier	An object that can give c and d values for terminals and non terminals

Class Summary

Class	Description
AbstractBalancingVisitor	Super class for the classes that assign c and d values to grammar entities.
AbstractSplitVisitor	Common superclass for the classes that split and inline nodes to find parentheses
BalanceChecker	The visitor checks that the language is balanced and assigns a value for the function c and d for each NonTerminal in the Grammar.
DecoratingBalancingVisitor
FullyQualifiedGrammarVisitor	Obtains a fully qualified grammar from a language that is balanced
GrammarBalancer	Balanced a Grammar by removing sink nodes from a grammar with cycles in its DGraph as described in [Knuth] section 4.
ParenthesisSplitIndicesFinder	Finds the nonterminal corresponding to the free parenthesis in each production if such a free parenthesis exists.
ParenthesisVisitor	Converts terminals "<""/" into a single terminal "</".
SamplingVisitor
StartEndParenthesisModel	A parenthesismodel where < is the start parenthesis and /> and </ are end parentheses
Transformation1Visitor	Responsible for performing transformation 1 as described in [Knuth]

Package dk.brics.servletvalidator.balancing Description

This package contains the transformations and visitors needed to obtain a balanced grammar from a general context free grammar that has a balanced language.