See: Description
Package  Description 

dk.brics.servletvalidator 
The main package for Servlet Validator which contains the generalt puporse transformation and analysis classes.

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.

dk.brics.servletvalidator.balancing.inequality 
Representations of constraints that need to be solved to find a function d as in Theorem 1, p 273 [Knuth]

dk.brics.servletvalidator.balancing.pimages 
This package contains the classes needed to construct parenthesis images and the DGraph presented in the article [Knuth]
and the extensions from [KiMø]

dk.brics.servletvalidator.exceptions 
Contains all exceptions that can be thrown during analysis.

dk.brics.servletvalidator.flowgraph 
Contains the classes needed to represent the flow graph as descriped in [KiMø] section 2.

dk.brics.servletvalidator.grammar 
This package contains the classes needed to represent a context free grammar (CFG)
See
Grammar for details on how they are defined 
dk.brics.servletvalidator.graph 
This package contains the classes needed to create a directed graph of nonterminals that directs
inlining and cycle breaking of an inlining process.

dk.brics.servletvalidator.tagform 
This package contains the classes needed to annotate non terminals and
bring the grammar to intermediate tagform as descibed in [KiMø] step 2.

dk.brics.servletvalidator.util 
This package contains utility classes that belong nowhere else

dk.brics.servletvalidator.wellformedness 
Contains classes that check the wellformedness of the productions according to the
rules specified in [KiMø] section 3.3

dk.brics.servletvalidator.xmlgraph 
Contains the classes needed to convert context free grammars into XML graphs as defined in [KiMø] section 4

Copyright © 20082013 Mathias Schwarz.