A B C D E F G H I L M N O P Q R S T U V W X

A

AbstractAnnotationVisitor - Class in dk.brics.servletvalidator.tagform

AbstractAnnotationVisitor(boolean) - Constructor for class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

AbstractBalancingVisitor - Class in dk.brics.servletvalidator.balancing

Super class for the classes that assign c and d values to grammar entities.

AbstractBalancingVisitor(ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

AbstractGrammarEntityVisitor - Class in dk.brics.servletvalidator.grammar

This GrammarEntityVisitor will traverse the grammar graph but only traverse each production of a nonterminal exactly once.

AbstractGrammarEntityVisitor() - Constructor for class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

AbstractGrammarEntityVisitor(boolean) - Constructor for class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

AbstractInliningArc<E extends InliningVertex> - Class in dk.brics.servletvalidator.graph

AbstractInliningArc(E) - Constructor for class dk.brics.servletvalidator.graph.AbstractInliningArc

AbstractInliningGraph<T extends InliningArc<E>,E extends InliningVertex<T>> - Class in dk.brics.servletvalidator.graph

AbstractInliningGraph() - Constructor for class dk.brics.servletvalidator.graph.AbstractInliningGraph

AbstractInliningVertex<E extends InliningArc> - Class in dk.brics.servletvalidator.graph

AbstractInliningVertex(NonTerminal) - Constructor for class dk.brics.servletvalidator.graph.AbstractInliningVertex

AbstractNode - Class in dk.brics.servletvalidator.flowgraph

The abstract node class is a super class of the different nodes in the flowgraph that contains the methods to keep track of sucessors of a node.

AbstractNode() - Constructor for class dk.brics.servletvalidator.flowgraph.AbstractNode

AbstractPrettyPrinter<T> - Class in dk.brics.servletvalidator

Implements reusable stuff for Pretty printers, E.g giving unique names that can be used

AbstractPrettyPrinter() - Constructor for class dk.brics.servletvalidator.AbstractPrettyPrinter

AbstractSplitVisitor - Class in dk.brics.servletvalidator.balancing

Common superclass for the classes that split and inline nodes to find parentheses

AbstractSplitVisitor() - Constructor for class dk.brics.servletvalidator.balancing.AbstractSplitVisitor

AbstractTagformVisitor - Class in dk.brics.servletvalidator.tagform

AbstractTagformVisitor() - Constructor for class dk.brics.servletvalidator.tagform.AbstractTagformVisitor

AbstractTagformVisitor(boolean) - Constructor for class dk.brics.servletvalidator.tagform.AbstractTagformVisitor

accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.AppendNode

accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.InvokeNode

accept(NodeVisitor) - Method in interface dk.brics.servletvalidator.flowgraph.Node

Accepts the given visitor

accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.NopNode

accept(GrammarEntityVisitor) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntity

Accepts the given grammar entity visitor in a visitor pattern

accept(GrammarEntityVisitor) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

accept(GrammarEntityVisitor) - Method in class dk.brics.servletvalidator.grammar.Production

accept(GrammarEntityVisitor) - Method in class dk.brics.servletvalidator.grammar.Terminal

add(T) - Method in class dk.brics.servletvalidator.util.LinkedSet

addAll(Collection<Production>) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Adds all productions in the list to the set of productions in

addAll(Collection<? extends T>) - Method in class dk.brics.servletvalidator.util.LinkedSet

addArch(E) - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

addArch(E) - Method in interface dk.brics.servletvalidator.graph.InliningVertex

addBackArc(E) - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

addBackArc(E) - Method in interface dk.brics.servletvalidator.graph.InliningVertex

addContext(Production, Context) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

addContext(NonTerminal, Context) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

addContext(Production, Context) - Method in class dk.brics.servletvalidator.tagform.DecoratingAnnotationVisitor

addContext(NonTerminal, Context) - Method in class dk.brics.servletvalidator.tagform.DecoratingAnnotationVisitor

addContext(Production, Context) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

addContext(NonTerminal, Context) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

addDependency(Dependency) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

addExisting(ParenthesisImage) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

addMax(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

addMin(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

Sests min as the new minimum if it is larger than the previous set min

addNonTerminal(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraph

addNonTerminal(NonTerminal, AbstractBalancingVisitor) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

addProduction(Production) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraph

addProduction(Production) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Adds a production to the set of productions.

addSet(LinkedSet<T>) - Method in class dk.brics.servletvalidator.util.LinkedSet

addSucessor(Node) - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode

addSucessor(Node) - Method in interface dk.brics.servletvalidator.flowgraph.Node

Adds a sucessor node to this node

addTarget(EntryNode) - Method in class dk.brics.servletvalidator.flowgraph.InvokeNode

Adds a possible target for the method invocation.

addTerminal(Terminal) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

AlphabetSymbol - Interface in dk.brics.servletvalidator.grammar

An alphabet symbol can be a Terminal or a NonTerminal.

Analysis - Interface in dk.brics.servletvalidator

AnalysisException - Exception in dk.brics.servletvalidator.exceptions

This exception or a subclass of it is thrown when the analysis detects an error in the program.

AnalysisException() - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException

AnalysisException(String) - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException

AnalysisException(String, Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException

AnalysisException(Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException

AnalysisFactory - Class in dk.brics.servletvalidator

AnalysisFactory(Class<?>, Class<?>...) - Constructor for class dk.brics.servletvalidator.AnalysisFactory

analyze() - Method in interface dk.brics.servletvalidator.Analysis

analyze() - Method in class dk.brics.servletvalidator.BackendAnalysis

Do the actual analysis of the class.

analyze() - Method in class dk.brics.servletvalidator.FrontEndAnalysis

Analyzer - Class in dk.brics.servletvalidator

This class handles command line options an prints a helpful string if wrong command line options are given or if something i missing.

Analyzer() - Constructor for class dk.brics.servletvalidator.Analyzer

Analyzer.ConsoleState - Enum in dk.brics.servletvalidator

An enum representing the valid argument switched

AnnotatedPrettyPrinter - Class in dk.brics.servletvalidator.tagform

Pretty prints the nonterminal names with the annotated context

AnnotatedPrettyPrinter(AbstractAnnotationVisitor, Grammar) - Constructor for class dk.brics.servletvalidator.tagform.AnnotatedPrettyPrinter

AppendNode - Class in dk.brics.servletvalidator.flowgraph

Append nodes represent a point the program where something is written to the servlet output stream.

AppendNode() - Constructor for class dk.brics.servletvalidator.flowgraph.AppendNode

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.FullyQualifiedGrammarVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.GrammarBalancer

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.inequality.ThetaVarConstructor

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.ParenthesisVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphConstructor

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.SamplingVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.balancing.Transformation1Visitor

apply(Grammar) - Method in class dk.brics.servletvalidator.CharRangeSplitter

apply(Grammar) - Method in class dk.brics.servletvalidator.EpsilonRemovalVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply(NonTerminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply(Terminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply(Production) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

apply(GrammarEntityVisitor) - Method in class dk.brics.servletvalidator.grammar.Grammar

Applies the visitor to the grammar.

apply(Grammar) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

apply(NonTerminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

apply(Terminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

apply(Production) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

apply(Grammar) - Method in class dk.brics.servletvalidator.graph.CycleReducer

apply(Grammar) - Method in class dk.brics.servletvalidator.graph.UnboundedAssociateRemover

apply(Grammar) - Method in class dk.brics.servletvalidator.NonTerminalReducingVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.ProductionInliner

apply(Grammar) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.SingleProductionNonTerminalRemovalVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.ContentCutVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.SequencialContentVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.TagInlineVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.TagVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.tagform.TrailingLeadingContentVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.UniqueProductionVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.UnitProductionRemovalVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.UselessProductionRemovalVisitor

apply(Grammar) - Method in class dk.brics.servletvalidator.wellformedness.WellFormednessChecker

apply(Grammar) - Method in class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph

AttributeParenthesisModel - Class in dk.brics.servletvalidator.tagform

A parenthesismodel where =" is the start parenthesis and " is the end parenthesis

AttributeParenthesisModel() - Constructor for class dk.brics.servletvalidator.tagform.AttributeParenthesisModel

attributeValStart - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant character =" (which is a character in the Σ alphabet

AttributeVisitor - Class in dk.brics.servletvalidator.tagform

Takes the contents of a tag after the name, splits it by space, and puts these lists of contents in their own non nonterminal effectively meaning that attributes are put in their own non termianl

AttributeVisitor(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.tagform.AttributeVisitor

B

BackendAnalysis - Class in dk.brics.servletvalidator

BackendAnalysis(FrontEndAnalysis) - Constructor for class dk.brics.servletvalidator.BackendAnalysis

BalanceChecker - Class in dk.brics.servletvalidator.balancing

The visitor checks that the language is balanced and assigns a value for the function c and d for each NonTerminal in the Grammar.

BalanceChecker(ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.BalanceChecker

balanceChecker - Variable in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

C

c(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

Returns the value of the c function for the nonterminal n.

c(List<? extends AlphabetSymbol>) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

Returns the value of the c function for the string represented as parametger s.

c(Terminal) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

c(AlphabetSymbol) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

c(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

c(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

CanGenerateEmpytException - Exception in dk.brics.servletvalidator.exceptions

Thrown if the EpsilonRemovalVisitor detects that the language contains the string ε which is not a valid XML document

CanGenerateEmpytException() - Constructor for exception dk.brics.servletvalidator.exceptions.CanGenerateEmpytException

caseNewInst(NewInst) - Method in class dk.brics.servletvalidator.flowgraph.ServletValidatorThrowAnalysis.LessPedanticUnitSwitch

CharRangeSplitter - Class in dk.brics.servletvalidator

Splits char ranges so an interresting char has its own terminsl

CharRangeSplitter(char...) - Constructor for class dk.brics.servletvalidator.CharRangeSplitter

clear() - Method in class dk.brics.servletvalidator.util.LinkedSet

CodeLocation - Class in dk.brics.servletvalidator

A code location is a location in the code.

CodeLocation(int, String) - Constructor for class dk.brics.servletvalidator.CodeLocation

ConstructionException - Exception in dk.brics.servletvalidator.exceptions

Thrown if the grammar cannot be constructed from the servlet.

ConstructionException() - Constructor for exception dk.brics.servletvalidator.exceptions.ConstructionException

ConstructionException(String) - Constructor for exception dk.brics.servletvalidator.exceptions.ConstructionException

ConstructionException(String, Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.ConstructionException

ConstructionException(Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.ConstructionException

contains(Object) - Method in class dk.brics.servletvalidator.util.LinkedSet

containsAll(Collection<?>) - Method in class dk.brics.servletvalidator.util.LinkedSet

ContentCutVisitor - Class in dk.brics.servletvalidator.tagform

Cuts a production into pieces whenever the tags balance, so that the last closing tag of a production always matches the first open tag

ContentCutVisitor(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.tagform.ContentCutVisitor

Context - Enum in dk.brics.servletvalidator.tagform

contextChanged(Context, NonTerminal) - Method in interface dk.brics.servletvalidator.tagform.ContextListener

contextChanged(Context, Terminal) - Method in interface dk.brics.servletvalidator.tagform.ContextListener

ContextListener - Interface in dk.brics.servletvalidator.tagform

Observer for context changes

cValues - Variable in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

CycleReducer<E extends InliningGraph<?,?>> - Class in dk.brics.servletvalidator.graph

Reduces cycles in the DGraph for a grammar until it only contains cycles to the nodes themselves

CycleReducer(GraphFactory<E>) - Constructor for class dk.brics.servletvalidator.graph.CycleReducer

D

d(List<Terminal>) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

d(Terminal) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

d(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

d(List<AlphabetSymbol>) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

Calculates d for at string assuming that d is well defined and fixed for all non terminals in the string

d(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

d(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

d0(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

DecoratingAnnotationVisitor - Class in dk.brics.servletvalidator.tagform

An AbstractAnnotationVisitor that adds content types for more non terminals and assigns their content types manually

DecoratingAnnotationVisitor(AbstractAnnotationVisitor, boolean) - Constructor for class dk.brics.servletvalidator.tagform.DecoratingAnnotationVisitor

DecoratingBalancingVisitor - Class in dk.brics.servletvalidator.balancing

DecoratingBalancingVisitor(ParenthesisModel, AbstractBalancingVisitor) - Constructor for class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

delta(Context, LinkedList<? extends AlphabetSymbol>) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

Dependency - Class in dk.brics.servletvalidator.balancing.inequality

A dependency is a a reference to a non terminal that another non terminal depends on along with a constant

Dependency() - Constructor for class dk.brics.servletvalidator.balancing.inequality.Dependency

destination - Variable in class dk.brics.servletvalidator.graph.AbstractInliningArc

DGraph - Class in dk.brics.servletvalidator.balancing.pimages

A directed graph of parenthesis as described in [Knuth].

DGraph(AbstractBalancingVisitor, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.DGraph

DGraphConstructor - Class in dk.brics.servletvalidator.balancing.pimages

Constructs a parenthesis image from a fully qualified grammar

DGraphConstructor(AbstractBalancingVisitor, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.DGraphConstructor

DGraphFactory - Class in dk.brics.servletvalidator.balancing.pimages

DGraphFactory(AbstractBalancingVisitor, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.DGraphFactory

DGraphPrettyPrinter - Class in dk.brics.servletvalidator.balancing.pimages

Pretty prints the D graph

DGraphPrettyPrinter(DGraph) - Constructor for class dk.brics.servletvalidator.balancing.pimages.DGraphPrettyPrinter

dk.brics.servletvalidator - package dk.brics.servletvalidator

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

dk.brics.servletvalidator.balancing - 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.

dk.brics.servletvalidator.balancing.inequality - package 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 - package 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 - package dk.brics.servletvalidator.exceptions

Contains all exceptions that can be thrown during analysis.

dk.brics.servletvalidator.flowgraph - package dk.brics.servletvalidator.flowgraph

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

dk.brics.servletvalidator.grammar - package 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 - package 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 - package 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 - package dk.brics.servletvalidator.util

This package contains utility classes that belong nowhere else

dk.brics.servletvalidator.wellformedness - package 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 - package dk.brics.servletvalidator.xmlgraph

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

dSample(NonTerminal) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

dValues - Variable in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

E

EmptyLanguageException - Exception in dk.brics.servletvalidator.exceptions

Thrown if the language generatesd is the empty language

EmptyLanguageException() - Constructor for exception dk.brics.servletvalidator.exceptions.EmptyLanguageException

endStart - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant charater </ (which is a character in the Σ alphabet of the Grammar)

ensureSet() - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Ensure that there are no duplicate productions in the set of productions.

EntryNode - Class in dk.brics.servletvalidator.flowgraph

An entry node marks the beginning of a method.

EntryNode() - Constructor for class dk.brics.servletvalidator.flowgraph.EntryNode

EpsilonRemovalVisitor - Class in dk.brics.servletvalidator

Removes all ε productions in a Grammar using the algorithm described in [Martin]

EpsilonRemovalVisitor() - Constructor for class dk.brics.servletvalidator.EpsilonRemovalVisitor

equals(Object) - Method in class dk.brics.servletvalidator.balancing.pimages.Parenthesis

equals(Object) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisArc

equals(Object) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

equals(Object) - Method in class dk.brics.servletvalidator.grammar.Production

equals(Object) - Method in class dk.brics.servletvalidator.grammar.Terminal

equals - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant character =

escapeSymbol(String) - Method in class dk.brics.servletvalidator.AbstractPrettyPrinter

Escapes special symbols

escapeSymbol(String) - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

F

FlowGraph - Class in dk.brics.servletvalidator.flowgraph

A reprensentation of a flow graph as defined in [KiMø] section 2.

FlowGraph(List<ValueBox>, StringAnalysis) - Constructor for class dk.brics.servletvalidator.flowgraph.FlowGraph

FlowGraphPrettyPrinter - Class in dk.brics.servletvalidator.flowgraph

Pretty prints the flow graph to graphviz dot format

FlowGraphPrettyPrinter(FlowGraph) - Constructor for class dk.brics.servletvalidator.flowgraph.FlowGraphPrettyPrinter

FreshTerminalVisitor - Class in dk.brics.servletvalidator.grammar

Replaces all non terminals by a fresh copy, meaning that any non terminal used somewhere in a production is never used anywhere else.

FreshTerminalVisitor() - Constructor for class dk.brics.servletvalidator.grammar.FreshTerminalVisitor

FrontEndAnalysis - Class in dk.brics.servletvalidator

The main class of the framework.

FrontEndAnalysis(AnalysisFactory) - Constructor for class dk.brics.servletvalidator.FrontEndAnalysis

Constructs an analysis from a main class and a number of classes that should be considered helper classes.

FullyQualifiedGrammarVisitor - Class in dk.brics.servletvalidator.balancing

Obtains a fully qualified grammar from a language that is balanced

FullyQualifiedGrammarVisitor(BalanceChecker, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.FullyQualifiedGrammarVisitor

G

getAdditionalclasses() - Method in class dk.brics.servletvalidator.AnalysisFactory

getArcs() - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

getArcs() - Method in interface dk.brics.servletvalidator.graph.InliningVertex

getAutomaton() - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException

getAutomaton() - Method in class dk.brics.servletvalidator.flowgraph.AppendNode

Returns the automaton descriping a conservative approximation of the string that can be written at this point

getBackArcs() - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

getBackArcs() - Method in interface dk.brics.servletvalidator.graph.InliningVertex

getC() - Method in class dk.brics.servletvalidator.balancing.inequality.Dependency

getClassName() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

getClassToAnalyse() - Method in class dk.brics.servletvalidator.AnalysisFactory

getCodeLocation() - Method in exception dk.brics.servletvalidator.exceptions.AnalysisException

getContext(NonTerminal) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

getContext(Production) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

getContext(Terminal) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

getContext(AlphabetSymbol) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

getContext(NonTerminal) - Method in class dk.brics.servletvalidator.tagform.DecoratingAnnotationVisitor

getContext(Production) - Method in class dk.brics.servletvalidator.tagform.DecoratingAnnotationVisitor

getContext(NonTerminal) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

getContext(Production) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotater

getCycles() - Method in class dk.brics.servletvalidator.graph.InliningGraphCycleFinder

getData() - Method in class dk.brics.servletvalidator.grammar.Terminal

getDependencies() - Method in class dk.brics.servletvalidator.balancing.inequality.Node

getDestination() - Method in class dk.brics.servletvalidator.graph.AbstractInliningArc

getDestination() - Method in interface dk.brics.servletvalidator.graph.InliningArc

getEasyName(T) - Method in class dk.brics.servletvalidator.AbstractPrettyPrinter

getEasyName(NonTerminal) - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

getEasyName(NonTerminal) - Method in class dk.brics.servletvalidator.tagform.AnnotatedPrettyPrinter

getEntries() - Method in class dk.brics.servletvalidator.flowgraph.FlowGraph

getEpsilon() - Method in class dk.brics.servletvalidator.grammar.Grammar

Gets the set Ε of all terminals from the grammar.

getFile() - Method in class dk.brics.servletvalidator.CodeLocation

getFirstSet(AlphabetSymbol) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getFirstSets() - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getFlowGraph() - Method in class dk.brics.servletvalidator.FrontEndAnalysis

getFollowSet(AlphabetSymbol) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getFollowSets() - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getGrammar() - Method in class dk.brics.servletvalidator.FrontEndAnalysis

getGraph() - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphConstructor

getGraph(Grammar) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphFactory

getGraph(Grammar) - Method in interface dk.brics.servletvalidator.graph.GraphFactory

getLine() - Method in class dk.brics.servletvalidator.CodeLocation

getLocation(Automaton) - Method in class dk.brics.servletvalidator.flowgraph.FlowGraph

getLocation() - Method in class dk.brics.servletvalidator.grammar.NonTerminal

getMax() - Method in class dk.brics.servletvalidator.balancing.inequality.Node

getMax() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns the maximum character of the terminal range

getMessage() - Method in exception dk.brics.servletvalidator.exceptions.CanGenerateEmpytException

getMessage() - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException

getMessage() - Method in exception dk.brics.servletvalidator.exceptions.EmptyLanguageException

getMessage() - Method in exception dk.brics.servletvalidator.exceptions.LanguageNotBalancedException

getMethodName() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

getMin() - Method in class dk.brics.servletvalidator.balancing.inequality.Node

getMin() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns the minimum character of the terminal range

getName(AlphabetSymbol) - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

getName(Production) - Method in class dk.brics.servletvalidator.wellformedness.WellFormednessChecker

getNextName() - Method in class dk.brics.servletvalidator.AbstractPrettyPrinter

getNodes() - Method in class dk.brics.servletvalidator.balancing.inequality.ThetaVarConstructor

getNonTerminal() - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException

getNonTerminal() - Method in class dk.brics.servletvalidator.grammar.Production

Gets the non terminal that this production belongs to

getNonTerminal() - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

getNonTerminal() - Method in interface dk.brics.servletvalidator.graph.InliningVertex

getNt() - Method in class dk.brics.servletvalidator.balancing.inequality.Dependency

getP() - Method in class dk.brics.servletvalidator.grammar.Grammar

The map from all nonterminals to their productions P.

getPath() - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

getPrefixes() - Method in class dk.brics.servletvalidator.balancing.SamplingVisitor

getPrettyPrinter(DGraph) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphFactory

getPrettyPrinter(E) - Method in interface dk.brics.servletvalidator.graph.GraphFactory

getProductions() - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Returns a list of all productions from this nonterminal.

getS() - Method in class dk.brics.servletvalidator.grammar.Grammar

Returns the set of start non terminals S

getSample(NonTerminal) - Method in interface dk.brics.servletvalidator.tagform.ContextListener

getSamples() - Method in class dk.brics.servletvalidator.balancing.SamplingVisitor

getSingleProduction() - Method in class dk.brics.servletvalidator.grammar.Production

Returns A if this productions is of the type -> A, else returns null

getSinkNodes() - Method in class dk.brics.servletvalidator.graph.AbstractInliningGraph

getSinkNodes() - Method in interface dk.brics.servletvalidator.graph.InliningGraph

getSootMethod() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

getSplitindices() - Method in class dk.brics.servletvalidator.balancing.ParenthesisSplitIndicesFinder

getSplitindices() - Method in interface dk.brics.servletvalidator.graph.SplitIndicesFinder

getStartMethodName() - Method in class dk.brics.servletvalidator.AnalysisFactory

getSuccessors() - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode

getSuccessors() - Method in interface dk.brics.servletvalidator.flowgraph.Node

returns the collection of successors of this node

getSymbol() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns the symbol if the terminal only has 1 symbol, else return a textual representation of the range.

getT() - Method in class dk.brics.servletvalidator.balancing.pimages.Parenthesis

getTaintMethods() - Method in class dk.brics.servletvalidator.AnalysisFactory

getTargets() - Method in class dk.brics.servletvalidator.flowgraph.InvokeNode

Returns the list of possible target of the method invocation

getTerminalName(Terminal) - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

getType() - Method in class dk.brics.servletvalidator.balancing.pimages.Parenthesis

getType() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

getType() - Method in interface dk.brics.servletvalidator.ParenthesisTypeInfo

getU() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

getU() - Method in class dk.brics.servletvalidator.grammar.Grammar

Gets the set of all terminals and non terminal.

getUs() - Method in class dk.brics.servletvalidator.grammar.Production

Gets the list of AlphabetSymbol in this production of type U* in the Grammar

getUses(NonTerminal) - Method in class dk.brics.servletvalidator.UsesVisitor

getUsesMap() - Method in class dk.brics.servletvalidator.UsesVisitor

getUsesSet(NonTerminal) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getUsesSets() - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

getUTF16() - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

getUTF8() - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

getV() - Method in class dk.brics.servletvalidator.grammar.Grammar

Gets the set of all nonterminals.

getValue() - Method in class dk.brics.servletvalidator.balancing.inequality.Node

getVertices() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

getVertices() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisLeftImage

getVertices() - Method in class dk.brics.servletvalidator.graph.AbstractInliningGraph

getVertices() - Method in interface dk.brics.servletvalidator.graph.InliningGraph

getXML() - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

Returns an XML representation of the grammar

Grammar - Class in dk.brics.servletvalidator.grammar

A context free grammar is a quadtuple (V, Σ, S, P), where V is the non terminal alphabet Σ is the terminal alphabet (in this version Σ is the full Unicode alphabet V ∩ Ε = Ø S ⊆ V is the set of all start nonterminals U is the combined alphabet V ∪ Ε P is a finite set of productions on the form A → θ, where A ∈ V and θ ∈ U* We write αAω ⇒ αθω when A → θ ∈ P and α,ω ∈ U*.

Grammar(Automaton, boolean) - Constructor for class dk.brics.servletvalidator.grammar.Grammar

Grammar(Automaton) - Constructor for class dk.brics.servletvalidator.grammar.Grammar

Grammar(NonTerminal) - Constructor for class dk.brics.servletvalidator.grammar.Grammar

Grammar(FlowGraph, String, boolean) - Constructor for class dk.brics.servletvalidator.grammar.Grammar

grammar - Variable in class dk.brics.servletvalidator.SetCalculatorVisitor

Grammar2StringGrammar - Class in dk.brics.servletvalidator.grammar

Converts a grammar to a grammar from the JSA project

Grammar2StringGrammar(Grammar) - Constructor for class dk.brics.servletvalidator.grammar.Grammar2StringGrammar

Grammar2XMLGraph - Class in dk.brics.servletvalidator.xmlgraph

Grammar2XMLGraph(AbstractAnnotationVisitor, WellFormednessChecker) - Constructor for class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph

GrammarAnnotater - Class in dk.brics.servletvalidator.tagform

Annotates each grammar symbol with one of Context

GrammarAnnotater() - Constructor for class dk.brics.servletvalidator.tagform.GrammarAnnotater

GrammarBalancer - Class in dk.brics.servletvalidator.balancing

Balanced a Grammar by removing sink nodes from a grammar with cycles in its DGraph as described in [Knuth] section 4.

GrammarBalancer(AbstractBalancingVisitor, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.GrammarBalancer

GrammarEntity - Interface in dk.brics.servletvalidator.grammar

A grammar entity is the super type of symbols and productions in a Grammar.

GrammarEntityVisitor - Interface in dk.brics.servletvalidator.grammar

The alphabet symbol visitor contains three methods for each kind of GrammarEntity class.

GrammarNotWellformedException - Exception in dk.brics.servletvalidator.exceptions

Thrown if the grammar is not well-formed

GrammarNotWellformedException() - Constructor for exception dk.brics.servletvalidator.exceptions.GrammarNotWellformedException

GrammarNotWellformedException(String) - Constructor for exception dk.brics.servletvalidator.exceptions.GrammarNotWellformedException

GrammarNotWellformedException(String, Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.GrammarNotWellformedException

GrammarNotWellformedException(Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.GrammarNotWellformedException

GrammarPrettyPrinter - Class in dk.brics.servletvalidator.grammar

A pretty printer will print a Grammar in a readable way (similar to how grammars are normally written in CS articles).

GrammarPrettyPrinter(Grammar) - Constructor for class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

GraphFactory<E extends InliningGraph> - Interface in dk.brics.servletvalidator.graph

gt - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant character >

H

h - Static variable in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

hashCode() - Method in class dk.brics.servletvalidator.balancing.pimages.Parenthesis

hashCode() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisArc

hashCode() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

hashCode() - Method in class dk.brics.servletvalidator.grammar.Production

hashCode() - Method in class dk.brics.servletvalidator.grammar.Terminal

I

in(NonTerminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

in(Terminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

in(Production) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

in(NonTerminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

in(Terminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

in(Production) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

InliningArc<E extends InliningVertex> - Interface in dk.brics.servletvalidator.graph

An arc in an inlining graph

InliningGraph<T extends InliningArc<E>,E extends InliningVertex<T>> - Interface in dk.brics.servletvalidator.graph

An inlining graph is a graph that directs inlining of nonterminals in productions.

InliningGraphCycleFinder - Class in dk.brics.servletvalidator.graph

Finds in a DGraph all cycles in the graph provided that these cycles are disjoint.

InliningGraphCycleFinder(InliningGraph<?, ?>) - Constructor for class dk.brics.servletvalidator.graph.InliningGraphCycleFinder

InliningVertex<E extends InliningArc> - Interface in dk.brics.servletvalidator.graph

A vertex in an inlining graph

InvokeNode - Class in dk.brics.servletvalidator.flowgraph

An invoke node represents a point in the program where a method is invoked.

InvokeNode() - Constructor for class dk.brics.servletvalidator.flowgraph.InvokeNode

isActualParanthesis() - Method in class dk.brics.servletvalidator.balancing.pimages.Parenthesis

isActualParanthesis() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

isActualParanthesis() - Method in interface dk.brics.servletvalidator.balancing.pimages.ParenthesisVertex

isChanced() - Method in class dk.brics.servletvalidator.tagform.TagInlineVisitor

isChanged() - Method in class dk.brics.servletvalidator.NonTerminalReducingVisitor

isChanged() - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

isDone() - Method in class dk.brics.servletvalidator.graph.CycleReducer

isEmpty() - Method in class dk.brics.servletvalidator.util.LinkedSet

isEndParanthesis(Terminal) - Method in interface dk.brics.servletvalidator.balancing.ParenthesisModel

Returns true if the terminal is an end parenthesis

isEndParanthesis(Terminal) - Method in class dk.brics.servletvalidator.balancing.StartEndParenthesisModel

Returns whether this terminal is an end parantethis as defined in the article [KiMø] section 3.1, however also considers "/>" an end parenthesis to support short tag form.

isEndParanthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.AttributeParenthesisModel

isEndParanthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.TagParenthesisModel

isEpsilon() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns whether this terminal has the language ε.

isEpsilonProduction() - Method in class dk.brics.servletvalidator.grammar.Production

Returns true iff the production only contains a single node that is an ε terminal, See Terminal.isEpsilon()

isLenient() - Method in class dk.brics.servletvalidator.AnalysisFactory

isMarked(AlphabetSymbol) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

isRange() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns whether this terminal represents a range

isStartParanthesis(Terminal) - Method in interface dk.brics.servletvalidator.balancing.ParenthesisModel

Returns true if the terminal is a start parenthesis

isStartParanthesis(Terminal) - Method in class dk.brics.servletvalidator.balancing.StartEndParenthesisModel

Returns whether this terminal is a start parantethis as defined in [KiMø] section 3.1.

isStartParanthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.AttributeParenthesisModel

isStartParanthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.TagParenthesisModel

isTagEnd(Terminal) - Method in class dk.brics.servletvalidator.tagform.AbstractTagformVisitor

isTaint() - Method in class dk.brics.servletvalidator.flowgraph.AppendNode

isTaint() - Method in class dk.brics.servletvalidator.grammar.NonTerminal

iterator() - Method in class dk.brics.servletvalidator.util.LinkedSet

L

LanguageNotBalancedException - Exception in dk.brics.servletvalidator.exceptions

Thrown if the analysis detects that the grammar is not balanced

LanguageNotBalancedException(String) - Constructor for exception dk.brics.servletvalidator.exceptions.LanguageNotBalancedException

LinkedSet<T> - Class in dk.brics.servletvalidator.util

A linkedSet is a set that can contain any other set as a subset.

LinkedSet() - Constructor for class dk.brics.servletvalidator.util.LinkedSet

lt - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant character <

lub(Context) - Method in enum dk.brics.servletvalidator.tagform.Context

Gives the least upper bound of this Context and the given context

M

main(String[]) - Static method in class dk.brics.servletvalidator.Analyzer

mark(AlphabetSymbol) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

marked - Variable in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

MatchingParenthesisRemover - Class in dk.brics.servletvalidator.balancing.pimages

Removes matching parenthesis in a list of classes that declare their parenthesis type

MatchingParenthesisRemover() - Constructor for class dk.brics.servletvalidator.balancing.pimages.MatchingParenthesisRemover

N

Node - Class in dk.brics.servletvalidator.balancing.inequality

A node holds a non terminal and a number of dependencies

Node() - Constructor for class dk.brics.servletvalidator.balancing.inequality.Node

Node - Interface in dk.brics.servletvalidator.flowgraph

A node is a node in a FlowGraph.

NodeVisitor - Interface in dk.brics.servletvalidator.flowgraph

A node visitor can visit nodes in a visitor pattern allowing easy traversal of the graph

NonTerminal - Class in dk.brics.servletvalidator.grammar

A Nonterminal in the grammar.

NonTerminal(NonTerminal) - Constructor for class dk.brics.servletvalidator.grammar.NonTerminal

Constructs a new nonterminal that will play the same role as n in the grammar, thus inheriting code locations and other meta information

NonTerminal() - Constructor for class dk.brics.servletvalidator.grammar.NonTerminal

Constructs a fresh non terminal

nonTerminal - Variable in class dk.brics.servletvalidator.graph.AbstractInliningVertex

NonTerminalReducingVisitor - Class in dk.brics.servletvalidator

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.

NonTerminalReducingVisitor() - Constructor for class dk.brics.servletvalidator.NonTerminalReducingVisitor

NopNode - Class in dk.brics.servletvalidator.flowgraph

A nop node represents a join point in the program, meaning the target of a goto or a place where the program branches or returns from a method invocation.

NopNode() - Constructor for class dk.brics.servletvalidator.flowgraph.NopNode

O

out(Production) - Method in class dk.brics.servletvalidator.balancing.FullyQualifiedGrammarVisitor

out(Production) - Method in class dk.brics.servletvalidator.balancing.ParenthesisSplitIndicesFinder

out(Production) - Method in class dk.brics.servletvalidator.balancing.ParenthesisVisitor

out(Production) - Method in class dk.brics.servletvalidator.CharRangeSplitter

out(Production) - Method in class dk.brics.servletvalidator.EpsilonRemovalVisitor

out(NonTerminal) - Method in class dk.brics.servletvalidator.EpsilonRemovalVisitor

out(NonTerminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

out(Terminal) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

out(Production) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

out(Production) - Method in class dk.brics.servletvalidator.grammar.FreshTerminalVisitor

out(NonTerminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

out(Terminal) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

out(Production) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

out(NonTerminal) - Method in class dk.brics.servletvalidator.graph.UnboundedAssociateRemover

out(NonTerminal) - Method in class dk.brics.servletvalidator.NonTerminalReducingVisitor

out(Production) - Method in class dk.brics.servletvalidator.ProductionInliner

out(Production) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

out(Terminal) - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

out(NonTerminal) - Method in class dk.brics.servletvalidator.SingleProductionNonTerminalRemovalVisitor

out(Production) - Method in class dk.brics.servletvalidator.tagform.AttributeVisitor

out(Production) - Method in class dk.brics.servletvalidator.tagform.ContentCutVisitor

out(Production) - Method in class dk.brics.servletvalidator.tagform.SequencialContentVisitor

out(NonTerminal) - Method in class dk.brics.servletvalidator.UniqueProductionVisitor

out(Production) - Method in class dk.brics.servletvalidator.UnitProductionRemovalVisitor

out(Production) - Method in class dk.brics.servletvalidator.UsesVisitor

out(Production) - Method in class dk.brics.servletvalidator.wellformedness.WellFormednessChecker

P

Parenthesis - Class in dk.brics.servletvalidator.balancing.pimages

An actual parenthesis

Parenthesis(ParenthesisType, Terminal) - Constructor for class dk.brics.servletvalidator.balancing.pimages.Parenthesis

ParenthesisArc - Class in dk.brics.servletvalidator.balancing.pimages

An arc from on parenthesisvertex to another.

ParenthesisArc(ParenthesisRefVertex) - Constructor for class dk.brics.servletvalidator.balancing.pimages.ParenthesisArc

ParenthesisImage - Class in dk.brics.servletvalidator.balancing.pimages

A parenthesis image as introduced by [Knuth] page 276 and [KiMø] appendix B.

ParenthesisImage(ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

ParenthesisLeftImage - Class in dk.brics.servletvalidator.balancing.pimages

A parenthesis image for a non terminal

ParenthesisLeftImage(NonTerminal, AbstractBalancingVisitor, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.ParenthesisLeftImage

ParenthesisModel - Interface in dk.brics.servletvalidator.balancing

A parenthesis model decides given a terminal if the terminal is an end parenthesis or a start parenthesis

ParenthesisRefVertex - Class in dk.brics.servletvalidator.balancing.pimages

A vertex in the DGraph, that is a parenthesis that is not matched by anything in its own production.

ParenthesisRefVertex(NonTerminal, int, ParenthesisType) - Constructor for class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

ParenthesisRightImage - Class in dk.brics.servletvalidator.balancing.pimages

A parenthesis image for a string of alphabet symbol corrensponding to the right side in a production.

ParenthesisRightImage(LinkedList<AlphabetSymbol>, Map<NonTerminal, ParenthesisLeftImage>, ParenthesisModel) - Constructor for class dk.brics.servletvalidator.balancing.pimages.ParenthesisRightImage

ParenthesisSplitIndicesFinder - Class in dk.brics.servletvalidator.balancing

Finds the nonterminal corresponding to the free parenthesis in each production if such a free parenthesis exists.

ParenthesisSplitIndicesFinder(AbstractBalancingVisitor) - Constructor for class dk.brics.servletvalidator.balancing.ParenthesisSplitIndicesFinder

ParenthesisType - Enum in dk.brics.servletvalidator.balancing.pimages

The two types of parenthesis in the system, namely left and right parenthesis are enumerated by this enum.

ParenthesisTypeInfo - Interface in dk.brics.servletvalidator

Implementors of this interface are able to return their type in terms of a ParenthesisType.

ParenthesisVertex - Interface in dk.brics.servletvalidator.balancing.pimages

A parenthesis vertex can eigther be a free parenthesis in another production or an actual parenthesis

ParenthesisVisitor - Class in dk.brics.servletvalidator.balancing

Converts terminals "<""/" into a single terminal "</".

ParenthesisVisitor() - Constructor for class dk.brics.servletvalidator.balancing.ParenthesisVisitor

PrettyPrinter - Interface in dk.brics.servletvalidator

General interface for anything that can print a graph to a string

print() - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphPrettyPrinter

print() - Method in class dk.brics.servletvalidator.flowgraph.FlowGraphPrettyPrinter

print(Grammar) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

print(Grammar) - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

print() - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

Prints the grammar to a string.

print() - Method in class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

print() - Method in interface dk.brics.servletvalidator.PrettyPrinter

print(Grammar) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

Production - Class in dk.brics.servletvalidator.grammar

A single production is a list of AlphabetSymbols that a NonTerminal can derive.

Production(LinkedList<AlphabetSymbol>) - Constructor for class dk.brics.servletvalidator.grammar.Production

Production(List<AlphabetSymbol>) - Constructor for class dk.brics.servletvalidator.grammar.Production

Production(AlphabetSymbol...) - Constructor for class dk.brics.servletvalidator.grammar.Production

Production(Production) - Constructor for class dk.brics.servletvalidator.grammar.Production

Clones the production p to the constructed object

productionAdded(Production, NonTerminal) - Method in interface dk.brics.servletvalidator.balancing.Transformation1Visitor.TransformationObserver

productionHook(Production) - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter

productionHook(Production) - Method in class dk.brics.servletvalidator.tagform.AnnotatedPrettyPrinter

ProductionInliner - Class in dk.brics.servletvalidator

Inlines all productions of a non terminal in the productions that use it.

ProductionInliner(NonTerminal, Set<NonTerminal>) - Constructor for class dk.brics.servletvalidator.ProductionInliner

ProductionInliner(NonTerminal) - Constructor for class dk.brics.servletvalidator.ProductionInliner

push(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

Q

quot - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant charater "

R

reApply() - Method in class dk.brics.servletvalidator.SetCalculatorVisitor

reduce() - Method in class dk.brics.servletvalidator.grammar.Grammar

Removes nodes in the graph by removing all nonterminals with only one production using.

remove() - Method in class dk.brics.servletvalidator.grammar.Production

Removes this production from the NonTerminal that it belongs to.

remove(Object) - Method in class dk.brics.servletvalidator.util.LinkedSet

Removed an element from the set.

removeAll(Collection<?>) - Method in class dk.brics.servletvalidator.util.LinkedSet

removeArcTo(T) - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex

removeArcTo(T) - Method in interface dk.brics.servletvalidator.graph.InliningVertex

removeMatching(ArrayList<? extends ParenthesisTypeInfo>) - Method in class dk.brics.servletvalidator.balancing.pimages.MatchingParenthesisRemover

removeMatching() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage

removeNode(E) - Method in class dk.brics.servletvalidator.graph.AbstractInliningGraph

removeNode(E) - Method in interface dk.brics.servletvalidator.graph.InliningGraph

removeProduction(Production) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Removes a production from the set of productions

replace(NonTerminal, Production) - Method in class dk.brics.servletvalidator.grammar.Production

Replaces the given nonTerminal by the list of AlphabetSymbol that the given production produces.

retainAll(Collection<?>) - Method in class dk.brics.servletvalidator.util.LinkedSet

S

SamplingVisitor - Class in dk.brics.servletvalidator.balancing

SamplingVisitor() - Constructor for class dk.brics.servletvalidator.balancing.SamplingVisitor

satisfied() - Method in class dk.brics.servletvalidator.balancing.inequality.Node

SequencialContentVisitor - Class in dk.brics.servletvalidator.tagform

Brings sequencial content, that is content followed by a non terminal on a form where the content is in its own non terminal

SequencialContentVisitor(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.tagform.SequencialContentVisitor

ServletValidatorThrowAnalysis - Class in dk.brics.servletvalidator.flowgraph

A throw Analysis that is a little less pedantic than the default one

ServletValidatorThrowAnalysis() - Constructor for class dk.brics.servletvalidator.flowgraph.ServletValidatorThrowAnalysis

ServletValidatorThrowAnalysis.LessPedanticUnitSwitch - Class in dk.brics.servletvalidator.flowgraph

ServletValidatorThrowAnalysis.LessPedanticUnitSwitch() - Constructor for class dk.brics.servletvalidator.flowgraph.ServletValidatorThrowAnalysis.LessPedanticUnitSwitch

setAdditionalclasses(Class<?>[]) - Method in class dk.brics.servletvalidator.AnalysisFactory

setAutomaton(Automaton) - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException

setAutomaton(Automaton) - Method in class dk.brics.servletvalidator.flowgraph.AppendNode

Sets the approximative automaton

setC(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

setC(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

setC(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

setC(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Dependency

SetCalculatorVisitor - Class in dk.brics.servletvalidator

Calculates the first and the follow set of all alphabet symbols in the grammar.

SetCalculatorVisitor() - Constructor for class dk.brics.servletvalidator.SetCalculatorVisitor

setChanged() - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor

setClassName(String) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

setClassToAnalyse(Class<?>) - Method in class dk.brics.servletvalidator.AnalysisFactory

setCodeLocation(CodeLocation) - Method in exception dk.brics.servletvalidator.exceptions.AnalysisException

setD(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.AbstractBalancingVisitor

Sets the d value for the non terminal n to d

setD(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.BalanceChecker

setD(NonTerminal, Integer) - Method in class dk.brics.servletvalidator.balancing.DecoratingBalancingVisitor

setData(T) - Method in class dk.brics.servletvalidator.grammar.Terminal

setFile(String) - Method in class dk.brics.servletvalidator.CodeLocation

setLenient(boolean) - Method in class dk.brics.servletvalidator.AnalysisFactory

setLine(int) - Method in class dk.brics.servletvalidator.CodeLocation

setLocation(CodeLocation) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

setMax(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

setMethodName(String) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

setMin(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

setNonTerminal(NonTerminal) - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException

setNt(Node) - Method in class dk.brics.servletvalidator.balancing.inequality.Dependency

setProductions(Collection<Production>) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

Sets the set of productions the the contents of the given collection

setSootMethod(SootMethod) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

setStartMethodName(String) - Method in class dk.brics.servletvalidator.AnalysisFactory

setTaint(boolean) - Method in class dk.brics.servletvalidator.flowgraph.AppendNode

setTaint(boolean) - Method in class dk.brics.servletvalidator.grammar.NonTerminal

setTaintMethods(List<String>) - Method in class dk.brics.servletvalidator.AnalysisFactory

setValue(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node

shortEnd - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant charater /> (which is a character in the Σ alphabet of the Grammar)

shouldPrettyPrint() - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor

If this method returns true the grammar will be printed to debug after the visitor has run

shouldPrettyPrint() - Method in interface dk.brics.servletvalidator.grammar.GrammarEntityVisitor

shouldPrettyPrint() - Method in class dk.brics.servletvalidator.SingleProductionNonTerminalRemovalVisitor

shouldPrettyPrint() - Method in class dk.brics.servletvalidator.UniqueProductionVisitor

shouldPrettyPrint() - Method in class dk.brics.servletvalidator.UnitProductionRemovalVisitor

shouldPrettyPrint() - Method in class dk.brics.servletvalidator.UselessProductionRemovalVisitor

simplify() - Method in class dk.brics.servletvalidator.grammar.Grammar

Removes epsilon productions from the language using EpsilonRemovalVisitor, then removes unit productions using UnitProductionRemovalVisitor, finally removes useless productions using UselessProductionRemovalVisitor

SingleProductionNonTerminalRemovalVisitor - Class in dk.brics.servletvalidator

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.

SingleProductionNonTerminalRemovalVisitor() - Constructor for class dk.brics.servletvalidator.SingleProductionNonTerminalRemovalVisitor

size() - Method in class dk.brics.servletvalidator.util.LinkedSet

slash - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The constant charater /

space - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants

The Space character

SplitIndicesFinder - Interface in dk.brics.servletvalidator.graph

StartEndParenthesisModel - Class in dk.brics.servletvalidator.balancing

A parenthesismodel where < is the start parenthesis and /> and </ are end parentheses

StartEndParenthesisModel() - Constructor for class dk.brics.servletvalidator.balancing.StartEndParenthesisModel

startsWithNonTerminal(List<AlphabetSymbol>) - Method in class dk.brics.servletvalidator.balancing.AbstractSplitVisitor

T

TagInlineVisitor - Class in dk.brics.servletvalidator.tagform

Brings the balanced and annotated grammar to tag form

TagInlineVisitor(ParenthesisModel, AbstractBalancingVisitor) - Constructor for class dk.brics.servletvalidator.tagform.TagInlineVisitor

TagParenthesisModel - Class in dk.brics.servletvalidator.tagform

A parenthesisModel where < and </ are the start parentheses and > and /> are end parentheses

TagParenthesisModel() - Constructor for class dk.brics.servletvalidator.tagform.TagParenthesisModel

TagVisitor - Class in dk.brics.servletvalidator.tagform

TagVisitor(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.tagform.TagVisitor

Terminal - Class in dk.brics.servletvalidator.grammar

A terminal symbol.

Terminal(Terminal) - Constructor for class dk.brics.servletvalidator.grammar.Terminal

Clones the terminal t

Terminal(char, char, boolean) - Constructor for class dk.brics.servletvalidator.grammar.Terminal

Constructs a new Terminal.

Terminal(char, char) - Constructor for class dk.brics.servletvalidator.grammar.Terminal

Constructs a new Terminal by invoking Terminal.Terminal(char, char, boolean) with (min, max, false)

Terminal(String) - Constructor for class dk.brics.servletvalidator.grammar.Terminal

Constructs a new Terminal with only 1 symbol, namely that given

ThetaVarConstructor - Class in dk.brics.servletvalidator.balancing.inequality

Constructs the inequalities needed to find the method d as described in [Knuth] Theorem 1 and [Joda] section 9

ThetaVarConstructor(BalanceChecker) - Constructor for class dk.brics.servletvalidator.balancing.inequality.ThetaVarConstructor

toArray() - Method in class dk.brics.servletvalidator.util.LinkedSet

toArray(S[]) - Method in class dk.brics.servletvalidator.util.LinkedSet

toString() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex

toString() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode

toString() - Method in class dk.brics.servletvalidator.grammar.Production

toString() - Method in class dk.brics.servletvalidator.grammar.Terminal

Returns the same as Terminal.getSymbol()

TrailingLeadingContentVisitor - Class in dk.brics.servletvalidator.tagform

Moves trailing and leading content to its own non terminal

TrailingLeadingContentVisitor(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.tagform.TrailingLeadingContentVisitor

transform() - Method in class dk.brics.servletvalidator.FrontEndAnalysis

Transformation1Visitor - Class in dk.brics.servletvalidator.balancing

Transformation1Visitor(Production, int, int, Transformation1Visitor.TransformationObserver) - Constructor for class dk.brics.servletvalidator.balancing.Transformation1Visitor

Transformation1Visitor.TransformationObserver - Interface in dk.brics.servletvalidator.balancing

U

UnboundedAssociateRemover - Class in dk.brics.servletvalidator.graph

This visitor ensures that all associates are bounded for the particular grammar, that is there are no productions of the for aⁿ(bⁿ).

UnboundedAssociateRemover(SplitIndicesFinder) - Constructor for class dk.brics.servletvalidator.graph.UnboundedAssociateRemover

UniqueProductionVisitor - Class in dk.brics.servletvalidator

Remove duplicate productions that may have come due to tampering with productions attached to non terminals

UniqueProductionVisitor() - Constructor for class dk.brics.servletvalidator.UniqueProductionVisitor

UnitProductionRemovalVisitor - Class in dk.brics.servletvalidator

Removes all unit productions n1 the Grammar.

UnitProductionRemovalVisitor() - Constructor for class dk.brics.servletvalidator.UnitProductionRemovalVisitor

UselessProductionRemovalVisitor - Class in dk.brics.servletvalidator

Removes useless productions from a Grammar using the algorithm described in [JüDode]

UselessProductionRemovalVisitor() - Constructor for class dk.brics.servletvalidator.UselessProductionRemovalVisitor

UsesVisitor - Class in dk.brics.servletvalidator

UsesVisitor() - Constructor for class dk.brics.servletvalidator.UsesVisitor

V

ValueCarrier - Interface in dk.brics.servletvalidator.balancing

An object that can give c and d values for terminals and non terminals

valueOf(String) - Static method in enum dk.brics.servletvalidator.Analyzer.ConsoleState

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.servletvalidator.balancing.pimages.ParenthesisType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum dk.brics.servletvalidator.tagform.Context

Returns the enum constant of this type with the specified name.

values() - Static method in enum dk.brics.servletvalidator.Analyzer.ConsoleState

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum dk.brics.servletvalidator.balancing.pimages.ParenthesisType

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum dk.brics.servletvalidator.tagform.Context

Returns an array containing the constants of this enum type, in the order they're declared.

vertices - Variable in class dk.brics.servletvalidator.graph.AbstractInliningGraph

visit(AppendNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor

visit(InvokeNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor

visit(EntryNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor

visit(NopNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor

W

walk(LinkedSet.SetWalker<T>, LinkedSet.Operation) - Method in class dk.brics.servletvalidator.util.LinkedSet

WellFormednessChecker - Class in dk.brics.servletvalidator.wellformedness

WellFormednessChecker(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.wellformedness.WellFormednessChecker

X

XMLNotWellFormedException - Exception in dk.brics.servletvalidator.exceptions

XMLNotWellFormedException() - Constructor for exception dk.brics.servletvalidator.exceptions.XMLNotWellFormedException

XMLNotWellFormedException(String) - Constructor for exception dk.brics.servletvalidator.exceptions.XMLNotWellFormedException

XMLNotWellFormedException(String, Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.XMLNotWellFormedException

XMLNotWellFormedException(Throwable) - Constructor for exception dk.brics.servletvalidator.exceptions.XMLNotWellFormedException

XMLPrettyPrinter - Class in dk.brics.servletvalidator.grammar

Pretty prints the grammar to an XML file so that parsing is not ambigious.

XMLPrettyPrinter(Grammar) - Constructor for class dk.brics.servletvalidator.grammar.XMLPrettyPrinter

XMLSyntaxConstants - Interface in dk.brics.servletvalidator

Defines all syntax constants used in XML as terminals.

A B C D E F G H I L M N O P Q R S T U V W X