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

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.



Copyright © 2008 Mathias Schwarz.