Package dk.brics.servletvalidator

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

See:
Description

Interface Summary

Analysis
ParenthesisTypeInfo	Implementors of this interface are able to return their type in terms of a ParenthesisType.
PrettyPrinter	General interface for anything that can print a graph to a string
XMLSyntaxConstants	Defines all syntax constants used in XML as terminals.

Class Summary

AbstractPrettyPrinter<T>	Implements reusable stuff for Pretty printers, E.g giving unique names that can be used
AnalysisFactory
Analyzer	This class handles command line options an prints a helpful string if wrong command line options are given or if something i missing.
BackendAnalysis
CharRangeSplitter	Splits char ranges so an interresting char has its own terminsl
CodeLocation	A code location is a location in the code.
EpsilonRemovalVisitor	Removes all ε productions in a Grammar using the algorithm described in [Martin]
FrontEndAnalysis	The main class of the framework.
NonTerminalReducingVisitor	Reduces the number of non terminals by finding nonterminal that are completely identical where all productions are equal and replace them by 1 non terminal.
ProductionInliner	Inlines all productions of a non terminal in the productions that use it.
SetCalculatorVisitor	Calculates the first and the follow set of all alphabet symbols in the grammar.
SingleProductionNonTerminalRemovalVisitor	Removes all non terminals that have only 1 production that is only used in 1 place by inlining its production everywhere where it is used.
UniqueProductionVisitor	Remove duplicate productions that may have come due to tampering with productions attached to non terminals
UnitProductionRemovalVisitor	Removes all unit productions n1 the Grammar.
UselessProductionRemovalVisitor	Removes useless productions from a Grammar using the algorithm described in [JüDode]
UsesVisitor

Enum Summary

Analyzer.ConsoleState

An enum representing the valid argument switched

Package dk.brics.servletvalidator Description

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