WARlord Analysis API Specification

This system is an implementation of an analysis that given a Java Servlet can decide if this servlet will always output a string that is valid XML.

See: Description

Packages 
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 well-formedness 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 © 2008-2013 Mathias Schwarz.