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

A

AbstractAnalysisFactory - Class in dk.brics.servletvalidator
 
AbstractAnalysisFactory() - Constructor for class dk.brics.servletvalidator.AbstractAnalysisFactory
 
AbstractAnnotationVisitor - Class in dk.brics.servletvalidator.tagform
 
AbstractAnnotationVisitor(boolean) - Constructor for class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor
 
AbstractBackEndAnalysis - Class in dk.brics.servletvalidator
 
AbstractBackEndAnalysis() - Constructor for class dk.brics.servletvalidator.AbstractBackEndAnalysis
 
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.ControlNode
 
accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
accept(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.IncludeNode
 
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(NodeVisitor) - Method in class dk.brics.servletvalidator.flowgraph.ReturnNode
 
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
Adds all objects in the given collection to this set
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
 
addCallSite(TargetingNode) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
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.GrammarAnnotator
 
addContext(NonTerminal, Context) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotator
 
addDependency(Dependency) - Method in class dk.brics.servletvalidator.balancing.inequality.Node
 
addExisting(ParenthesisImage) - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisImage
 
addIncludedServlet(Class<? extends HttpServlet>) - Method in class dk.brics.servletvalidator.flowgraph.IncludeNode
 
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
 
addPredecessor(Node) - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode
 
addPredecessor(Node) - Method in interface dk.brics.servletvalidator.flowgraph.Node
 
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
Sets up the constraint that the given set is a subset of this set
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.TargetingNode
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(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException
 
AnalysisException(String, Throwable, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.AnalysisException
 
AnalysisFactory - Interface in dk.brics.servletvalidator
 
AnalysisSettings - Class in dk.brics.servletvalidator
 
AnalysisSettings() - Constructor for class dk.brics.servletvalidator.AnalysisSettings
 
AnalysisSettings.AnalysisType - Enum in dk.brics.servletvalidator
 
analyze() - Method in interface dk.brics.servletvalidator.Analysis
 
analyze() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
analyze(FrontEndAnalysis) - Method in class dk.brics.servletvalidator.BalancedGrammarAnalysis
 
analyze(FrontEndAnalysis, AnalysisSettings) - Method in class dk.brics.servletvalidator.BalancedGrammarAnalysis
Do the actual analysis of the class.
analyze() - Method in class dk.brics.servletvalidator.FrontEndAnalysis
 
analyze() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
analyze(FrontEndAnalysis, AnalysisSettings) - Method in class dk.brics.servletvalidator.NoBackEndAnalysis
 
analyze() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
analyze() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
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
 
AnyTerminal - Class in dk.brics.servletvalidator.grammar
 
AnyTerminal() - Constructor for class dk.brics.servletvalidator.grammar.AnyTerminal
 
AppendELValueNode - Class in dk.brics.servletvalidator.flowgraph
 
AppendELValueNode() - Constructor for class dk.brics.servletvalidator.flowgraph.AppendELValueNode
 
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 class dk.brics.servletvalidator.grammar.Grammar2StringGrammar
 
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.GrammarAnnotator
 
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.WhiteSpaceRemover
 
apply(Grammar) - Method in class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph
 
assemble(Grammar) - Method in class dk.brics.servletvalidator.AbstractBackEndAnalysis
Put all parenthesis symbol that spans more than 1 character into 1 terminal
assign(Node, LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
assign(Node, LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
assign(Node, LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 
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
 
attributeValDoubleStart - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
The constant character =" (which is a character in the Σ alphabet
attributeValSingleStart - 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

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
 
BalancedGrammarAnalysis - Class in dk.brics.servletvalidator
 
BalancedGrammarAnalysis() - Constructor for class dk.brics.servletvalidator.BalancedGrammarAnalysis
 
bindOut(EntryNode, Map<String, Set<String>>) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
bindOut(EntryNode, Map<S, A>) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
bindOut(EntryNode, Map<String, Automaton>) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 

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
 
CanGenerateEmptyException - Exception in dk.brics.servletvalidator.exceptions
Thrown if the EpsilonRemovalVisitor detects that the language contains the string ε which is not a valid XML document
CanGenerateEmptyException() - Constructor for exception dk.brics.servletvalidator.exceptions.CanGenerateEmptyException
 
caseNewInst(NewInst) - Method in class dk.brics.servletvalidator.flowgraph.ServletValidatorThrowAnalysis.LessPedanticUnitSwitch
 
CharRangeSplitter - Class in dk.brics.servletvalidator
Splits char ranges so an interesting char has its own terminal
CharRangeSplitter(char...) - Constructor for class dk.brics.servletvalidator.CharRangeSplitter
 
ChooseSharpener - Class in dk.brics.servletvalidator.flowgraph
 
ChooseSharpener() - Constructor for class dk.brics.servletvalidator.flowgraph.ChooseSharpener
 
clear() - Method in class dk.brics.servletvalidator.util.LinkedSet
Removes all objects from this set.
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
 
comment - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
 
ConstructionException - Exception in dk.brics.servletvalidator.exceptions
Thrown if the grammar cannot be constructed from the servlet.
ConstructionException(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.ConstructionException
 
contains(Object) - Method in class dk.brics.servletvalidator.util.LinkedSet
Returns true iff the element is contained in this set or any contained subset
containsAll(Collection<?>) - Method in class dk.brics.servletvalidator.util.LinkedSet
Returns true iff all elements in the collection are contained in this set or contained sets
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
ControlNode - Class in dk.brics.servletvalidator.flowgraph
A special node that can be extended by analysis extensions
ControlNode() - Constructor for class dk.brics.servletvalidator.flowgraph.ControlNode
 
copyEasyNames(AbstractPrettyPrinter<T>) - Method in class dk.brics.servletvalidator.AbstractPrettyPrinter
 
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
 
debugMode - Static variable in class dk.brics.servletvalidator.FrontEndAnalysis
 
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, List<? extends AlphabetSymbol>, LinkedList<NonTerminal>) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotator
 
delta(Context, List<? extends AlphabetSymbol>, int, LinkedList<NonTerminal>) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotator
 
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
 
deserialize(XML) - Static method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
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.Terminal
 
equals(Object) - Method in class dk.brics.servletvalidator.WebXMLFile.Mapping
 
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
 
ExternalEntryNode - Class in dk.brics.servletvalidator.flowgraph
 
ExternalEntryNode() - Constructor for class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
extract() - Method in class dk.brics.servletvalidator.grammar.NonTerminal2Automaton
 

F

failOnMissing - Static variable in class dk.brics.servletvalidator.FrontEndAnalysis
 
FlowGraph - Class in dk.brics.servletvalidator.flowgraph
A reprensentation of a flow graph as defined in [KiM�] section 2.
FlowGraph(AnalysisFactory) - Constructor for class dk.brics.servletvalidator.flowgraph.FlowGraph
 
FlowGraph2Grammar - Class in dk.brics.servletvalidator.grammar
 
FlowGraph2Grammar(FlowGraph, String, boolean) - Constructor for class dk.brics.servletvalidator.grammar.FlowGraph2Grammar
 
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
 
FlowGraphPrettyPrinter(FlowGraph, Map<Node, ?>) - 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.
FrontEndProcess - Class in dk.brics.servletvalidator
Because of the poor coding of Soot we need to run it in a separate process if we want to analyze more than 1 program at a time
FrontEndProcess() - Constructor for class dk.brics.servletvalidator.FrontEndProcess
 
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

getActionClass() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
getActionMethod() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
getActionName() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
getActionPath() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
getActions() - Method in class dk.brics.servletvalidator.StrutsXMLFile
 
getActualFile() - Method in class dk.brics.servletvalidator.StrutsXMLFile
 
getActualFile() - Method in class dk.brics.servletvalidator.WebXMLFile
 
getAdditionalclasses() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getAdditionalclasses() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getAnalysisType() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
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 describing a conservative approximation of the string that can be written at this point
getAutomaton() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
getAutomaton() - Method in class dk.brics.servletvalidator.WebXMLFile.Mapping
 
getBackArcs() - Method in class dk.brics.servletvalidator.graph.AbstractInliningVertex
 
getBackArcs() - Method in interface dk.brics.servletvalidator.graph.InliningVertex
 
getBackEndAnalysis() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getBaseDir() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
getC() - Method in class dk.brics.servletvalidator.balancing.inequality.Dependency
 
getCallSites() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
getClassesToAddInvokesFor() - Method in class dk.brics.servletvalidator.flowgraph.ChooseSharpener
 
getClassesToAddInvokesFor() - Method in interface dk.brics.servletvalidator.flowgraph.Sharpener
 
getClassesToAddInvokesFor() - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener
 
getClassName() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
getClassName() - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
getClassToAnalyse() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getClassToAnalyse() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getCodas(String) - Method in class dk.brics.servletvalidator.WebXMLFile
 
getCodeLocation() - Method in exception dk.brics.servletvalidator.exceptions.AnalysisException
 
getCodeLocation() - Method in class dk.brics.servletvalidator.grammar.Terminal
 
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.GrammarAnnotator
 
getContext(Production) - Method in class dk.brics.servletvalidator.tagform.GrammarAnnotator
 
getCycles() - Method in class dk.brics.servletvalidator.graph.InliningGraphCycleFinder
 
getData() - Method in class dk.brics.servletvalidator.grammar.Terminal
 
getDataFile() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
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
 
getEntry() - Method in class dk.brics.servletvalidator.flowgraph.ReturnNode
 
getEpsilon() - Method in class dk.brics.servletvalidator.grammar.Grammar
Gets the set Ε of all terminals from the grammar.
getError(CodeLocation) - Method in class dk.brics.servletvalidator.tagform.AbstractAnnotationVisitor
 
getExcludedPackages() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
getExpresssion() - Method in class dk.brics.servletvalidator.flowgraph.AppendELValueNode
 
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
 
getFlowGraph() - Method in class dk.brics.servletvalidator.StaticFileFrontEndAnalysis
 
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
 
getGraph() - Method in class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph
 
getHotSpots() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getHotSpots() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getIncludedServlets() - Method in class dk.brics.servletvalidator.flowgraph.IncludeNode
 
getInterestingNames() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getInterestingNames() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getInterestingNames() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getInterestingTypes() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getInterestingTypes() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getInterestingTypes() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
getInterestingTypes() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
getJavaClass(SootMethodRef) - Method in class dk.brics.servletvalidator.ServletParameterSource
 
getJspFileName() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getLine() - Method in class dk.brics.servletvalidator.CodeLocation
 
getLocation(Automaton) - Method in class dk.brics.servletvalidator.flowgraph.FlowGraph
 
getLocation(Production) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
 
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(String) - Static method in exception dk.brics.servletvalidator.exceptions.LanguageNotBalancedException
 
getMethodName() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
getMethodName() - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
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.FlowGraph2Grammar
 
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.
getPageName() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getPageName() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getPageName() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
getPageName() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
getParameterName(SootMethod, InvokeExpr) - Method in interface dk.brics.servletvalidator.ParameterSource
 
getParameterName(SootMethod, InvokeExpr) - Method in class dk.brics.servletvalidator.ServletParameterSource
 
getPath() - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
 
getPredecessors() - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode
 
getPredecessors() - Method in interface dk.brics.servletvalidator.flowgraph.Node
 
getPrefixes() - Method in class dk.brics.servletvalidator.balancing.SamplingVisitor
 
getPreludes(String) - Method in class dk.brics.servletvalidator.WebXMLFile
 
getPrettyPrinter(DGraph) - Method in class dk.brics.servletvalidator.balancing.pimages.DGraphFactory
 
getPrettyPrinter(E) - Method in interface dk.brics.servletvalidator.graph.GraphFactory
 
getPrintName() - Method in class dk.brics.servletvalidator.flowgraph.ControlNode
 
getProductions() - Method in class dk.brics.servletvalidator.grammar.NonTerminal
Returns a list of all productions from this nonterminal.
getResolvers() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
getResult(Class<? extends ExtraAnalysis<E>>) - Method in class dk.brics.servletvalidator.flowgraph.FlowGraph
 
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
 
getServlet(String) - Method in class dk.brics.servletvalidator.WebXMLFile
 
getServlets() - Method in class dk.brics.servletvalidator.WebXMLFile
 
getSettings() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getSettings() - Method in class dk.brics.servletvalidator.AbstractBackEndAnalysis
 
getSettings() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getSettings() - Method in class dk.brics.servletvalidator.BalancedGrammarAnalysis
 
getSettings() - Method in class dk.brics.servletvalidator.NoBackEndAnalysis
 
getSignatures() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getSignatures() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getSignatures() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
getSignatures() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
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
 
getSootMethod() - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
getSplitindices() - Method in class dk.brics.servletvalidator.balancing.ParenthesisSplitIndicesFinder
 
getSplitindices() - Method in interface dk.brics.servletvalidator.graph.SplitIndicesFinder
 
getStart() - Method in class dk.brics.servletvalidator.grammar.Grammar2StringGrammar
 
getStartMethodName() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getStartMethodName() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getStartMethodName() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
getStringGrammar() - Method in class dk.brics.servletvalidator.grammar.Grammar2StringGrammar
 
getStrutsXMLFile() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
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
 
getTagClass() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
getTaintMethods() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
getTaintMethods() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getTargets() - Method in class dk.brics.servletvalidator.flowgraph.TargetingNode
Returns the list of possible target of the method invocation
getTerminalName(Terminal) - Method in class dk.brics.servletvalidator.grammar.GrammarPrettyPrinter
 
getTerminalName(Terminal) - Method in class dk.brics.servletvalidator.tagform.AnnotatedPrettyPrinter
 
getTimeOfFile() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getTimeOfFile() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getTimeOfFile() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
getTimeOfFile() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
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.
getUnitGraph(SootMethod, ThrowAnalysis) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
getUnitGraph(SootMethod, ThrowAnalysis) - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
getUnitGraph(SootMethod, ThrowAnalysis) - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
getUnitGraph(SootMethod, ThrowAnalysis) - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
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
 
getValueBox() - Method in class dk.brics.servletvalidator.flowgraph.AppendNode
 
getValues(Value) - Method in class dk.brics.servletvalidator.flowgraph.MappingState
 
getValuesForNode(Map<N, Map<S, A>>, LinkedList<N>, N) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
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
 
getWebXML() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
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 - Variable in class dk.brics.servletvalidator.SetCalculatorVisitor
 
Grammar2StringGrammar - Class in dk.brics.servletvalidator.grammar
Converts a grammar from the servletanalysis representation to the string grammar representation.
Grammar2StringGrammar() - Constructor for class dk.brics.servletvalidator.grammar.Grammar2StringGrammar
 
Grammar2XMLGraph - Class in dk.brics.servletvalidator.xmlgraph
 
Grammar2XMLGraph(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph
 
GrammarAnnotator - Class in dk.brics.servletvalidator.tagform
Annotates each grammar symbol with one of Context
GrammarAnnotator(AnalysisSettings) - Constructor for class dk.brics.servletvalidator.tagform.GrammarAnnotator
 
GrammarAnnotator.FailedToAnnotateException - Exception in dk.brics.servletvalidator.tagform
 
GrammarAnnotator.FailedToAnnotateException(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.tagform.GrammarAnnotator.FailedToAnnotateException
 
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(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.GrammarNotWellformedException
 
GrammarNotWellformedException(String, Throwable, CodeLocation) - 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

handleInvoke(SootMethod, InvokeExpr, UnitGraph) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
handleInvoke(SootMethod, InvokeExpr, UnitGraph) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
handleInvoke(SootMethod, InvokeExpr, UnitGraph) - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
handleSignature(String, SootMethod, InvokeExpr, Stmt) - Method in class dk.brics.servletvalidator.flowgraph.ChooseSharpener
 
handleSignature(String, SootMethod, InvokeExpr, Stmt) - Method in interface dk.brics.servletvalidator.flowgraph.Sharpener
 
handleSignature(String, SootMethod, InvokeExpr, Stmt) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener
 
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.Terminal
 
hashCode() - Method in class dk.brics.servletvalidator.WebXMLFile.Mapping
 

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
 
IncludeNode - Class in dk.brics.servletvalidator.flowgraph
 
IncludeNode() - Constructor for class dk.brics.servletvalidator.flowgraph.IncludeNode
 
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
Returns true iff the set is empty and does not contain a nonempty subset
isEndParenthesis(Terminal) - Method in interface dk.brics.servletvalidator.balancing.ParenthesisModel
Returns true if the terminal is an end parenthesis
isEndParenthesis(Terminal) - Method in class dk.brics.servletvalidator.balancing.StartEndParenthesisModel
Returns whether this terminal is an end parenthesis as defined in the article [KiMoe] section 3.1, however also considers "/>" an end parenthesis to support short tag form.
isEndParenthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.AttributeParenthesisModel
 
isEndParenthesis(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()
isExcluded(String) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isHtml() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isIgnoreEmpty() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isImproveChoose() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isLenient() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isMarked(AlphabetSymbol) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
 
isParameterSource(InvokeExpr) - Method in interface dk.brics.servletvalidator.ParameterSource
 
isParameterSource(InvokeExpr) - Method in class dk.brics.servletvalidator.ServletParameterSource
 
isRange() - Method in class dk.brics.servletvalidator.grammar.Terminal
Returns whether this terminal represents a range
isShortTag() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isSpecial(Terminal) - Method in class dk.brics.servletvalidator.XMLTerminalReducer
 
isStartParenthesis(Terminal) - Method in interface dk.brics.servletvalidator.balancing.ParenthesisModel
Returns true if the terminal is a start parenthesis
isStartParenthesis(Terminal) - Method in class dk.brics.servletvalidator.balancing.StartEndParenthesisModel
Returns whether this terminal is a start parenthesis as defined in [KiMoe] section 3.1.
isStartParenthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.AttributeParenthesisModel
 
isStartParenthesis(Terminal) - Method in class dk.brics.servletvalidator.tagform.TagParenthesisModel
 
isStaticFile() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
isStaticFile() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
isStaticFile() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
isStaticFile() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
isStrict() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
isStruts() - Method in class dk.brics.servletvalidator.AnalysisSettings
 
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
 
isWhiteSpace() - Method in interface dk.brics.servletvalidator.grammar.GrammarEntity
Return true if this grammar entity contains only whitespace
isWhiteSpace() - Method in class dk.brics.servletvalidator.grammar.NonTerminal
 
isWhiteSpace() - Method in class dk.brics.servletvalidator.grammar.Production
 
isWhiteSpace() - Method in class dk.brics.servletvalidator.grammar.Terminal
 
iterator() - Method in class dk.brics.servletvalidator.util.LinkedSet
Returns an interator that iterates through all elements in this set including elements in contained subsets

J

JspAnalysisFactory - Class in dk.brics.servletvalidator
 
JspAnalysisFactory(String) - Constructor for class dk.brics.servletvalidator.JspAnalysisFactory
 
JspAnalysisFactory(File) - Constructor for class dk.brics.servletvalidator.JspAnalysisFactory
 

L

LanguageNotBalancedException - Exception in dk.brics.servletvalidator.exceptions
Thrown if the analysis detects that the grammar is not balanced
LanguageNotBalancedException(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.LanguageNotBalancedException
 
LinkedSet<T> - Class in dk.brics.servletvalidator.util
A linkedSet is a collection that can contain any other set as a subset.
LinkedSet() - Constructor for class dk.brics.servletvalidator.util.LinkedSet
 
loadClasses(AnalysisFactory) - Method in class dk.brics.servletvalidator.FrontEndProcess
 
loadExtraClasses() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
loadExtraClasses() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
loadExtraClasses() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
loadExtraClasses() - Method in class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
loadJSPClass() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
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
 
main(String[]) - Static method in class dk.brics.servletvalidator.FrontEndProcess
 
MappingState - Class in dk.brics.servletvalidator.flowgraph
 
MappingState() - Constructor for class dk.brics.servletvalidator.flowgraph.MappingState
 
mark(AlphabetSymbol) - Method in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
 
marked - Variable in class dk.brics.servletvalidator.grammar.AbstractGrammarEntityVisitor
 
match(String) - Method in class dk.brics.servletvalidator.StrutsXMLFile
 
match(String) - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
If this action matches the form action string, return the name of the method that will respond to the request otherwise returns null
matches(String) - Method in class dk.brics.servletvalidator.WebXMLFile.Mapping
 
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
 
mayExecute(SootMethod) - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
MultiTest - Class in dk.brics.servletvalidator
 
MultiTest() - Constructor for class dk.brics.servletvalidator.MultiTest
 

N

newLine - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
 
NoBackEndAnalysis - Class in dk.brics.servletvalidator
 
NoBackEndAnalysis() - Constructor for class dk.brics.servletvalidator.NoBackEndAnalysis
 
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
 
NonTerminal2Automaton - Class in dk.brics.servletvalidator.grammar
 
NonTerminal2Automaton(Production) - Constructor for class dk.brics.servletvalidator.grammar.NonTerminal2Automaton
 
NonTerminal2Automaton(NonTerminal) - Constructor for class dk.brics.servletvalidator.grammar.NonTerminal2Automaton
 
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
 
num - Static variable in class dk.brics.servletvalidator.grammar.AnyTerminal
 

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(Production) - Method in class dk.brics.servletvalidator.SimpleEpsilonRemovalVisitor
 
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
 
out(Production) - Method in class dk.brics.servletvalidator.WhiteSpaceRemover
 
out(Production) - Method in class dk.brics.servletvalidator.xmlgraph.Grammar2XMLGraph
 
out(Production) - Method in class dk.brics.servletvalidator.XMLTerminalReducer
 

P

ParameterSource - Interface in dk.brics.servletvalidator
 
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 [KiMoe] 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
 
populate(XML) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
populate(XML) - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
populate(XML) - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
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
 
producesValue(Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
producesValue(Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
producesValue(Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 
produceValue(LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
produceValue(LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
produceValue(LinkedList<Node>, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 
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
 
propagate(LinkedList<Node>, Node, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
propagate(LinkedList<Node>, Node, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
propagate(LinkedList<Node>, Node, Node) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 
propagateAssign(Map<N, Map<S, A>>, Map<S, A>, LinkedList<N>, N) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
push(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node
 

Q

quot - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
The constant character "

R

read(XML) - Method in class dk.brics.servletvalidator.grammar.XMLReader
 
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
Removes the objects of this set that are contained in collection.
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
 
removePredecessor(Node) - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode
 
removePredecessor(Node) - Method in interface dk.brics.servletvalidator.flowgraph.Node
 
removeProduction(Production) - Method in class dk.brics.servletvalidator.grammar.NonTerminal
Removes a production from the set of productions
removeSuccessor(Node) - Method in class dk.brics.servletvalidator.flowgraph.AbstractNode
 
removeSuccessor(Node) - Method in interface dk.brics.servletvalidator.flowgraph.Node
 
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.
resolveMethod(SootMethod) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
resolveMethod(SootMethod) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
resolveMethod(SootMethod) - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
retainAll(Collection<?>) - Method in class dk.brics.servletvalidator.util.LinkedSet
Preserves only the objects of this set that are contained in collection.
ReturnNode - Class in dk.brics.servletvalidator.flowgraph
 
ReturnNode() - Constructor for class dk.brics.servletvalidator.flowgraph.ReturnNode
 
runExtraAnalyses(SootMethod) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
runExtraAnalyses(SootMethod) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 

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
 
ServletAnalysisFactory - Class in dk.brics.servletvalidator
 
ServletAnalysisFactory(Class<?>, Class<?>...) - Constructor for class dk.brics.servletvalidator.ServletAnalysisFactory
 
ServletParameterSource - Class in dk.brics.servletvalidator
 
ServletParameterSource() - Constructor for class dk.brics.servletvalidator.ServletParameterSource
 
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.AbstractAnalysisFactory
 
setAdditionalclasses(Class<?>[]) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
setAnalysisFactory(AnalysisFactory) - Method in class dk.brics.servletvalidator.flowgraph.FlowGraph
 
setAnalysisType(AnalysisSettings.AnalysisType) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setAutomaton(Automaton) - Method in exception dk.brics.servletvalidator.exceptions.ConstructionException
 
setAutomaton(Automaton) - Method in class dk.brics.servletvalidator.flowgraph.AppendNode
Sets the approximative automaton
setBaseDir(File) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
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
 
setClassName(String) - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
setClassToAnalyse(Class<?>) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
setClassToAnalyse(Class<?>) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
setCodeLocation(CodeLocation) - Method in exception dk.brics.servletvalidator.exceptions.AnalysisException
 
setCodeLocation(CodeLocation) - Method in class dk.brics.servletvalidator.grammar.Terminal
 
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
 
setEntry(EntryNode) - Method in class dk.brics.servletvalidator.flowgraph.ReturnNode
 
setExcludedPackages(Set<String>) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setExpresssion(String) - Method in class dk.brics.servletvalidator.flowgraph.AppendELValueNode
 
setFile(String) - Method in class dk.brics.servletvalidator.CodeLocation
 
setHtml(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setIgnoreEmpty(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setImproveChoose(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setLenient(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setLine(int) - Method in class dk.brics.servletvalidator.CodeLocation
 
setMax(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node
 
setMethodName(String) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
setMethodName(String) - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
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
setResolvers(Set<Resolver>) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setSettings(AnalysisSettings) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
setSettings(AnalysisSettings) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
setShortTag(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setSootMethod(SootMethod) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
setSootMethod(SootMethod) - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
setStartMethodName(String) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
setStartMethodName(String) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
setStrict(boolean) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setStrutsXMLFile(StrutsXMLFile) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setTagClass(SootClass) - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
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.AbstractAnalysisFactory
 
setTaintMethods(List<String>) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
setTargets(Set<EntryNode>) - Method in class dk.brics.servletvalidator.flowgraph.TargetingNode
 
setValue(int) - Method in class dk.brics.servletvalidator.balancing.inequality.Node
 
setValueBox(ValueBox) - Method in class dk.brics.servletvalidator.flowgraph.AppendNode
 
setWebXML(String) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
setWebXMLFile(WebXMLFile) - Method in class dk.brics.servletvalidator.AnalysisSettings
 
sharpen(FlowGraph) - Method in class dk.brics.servletvalidator.flowgraph.ChooseSharpener
 
sharpen(FlowGraph) - Method in interface dk.brics.servletvalidator.flowgraph.Sharpener
 
sharpen(FlowGraph) - Method in class dk.brics.servletvalidator.flowgraph.URLTagSharpener
 
Sharpener - Interface in dk.brics.servletvalidator.flowgraph
 
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
 
shouldSharpen() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
shouldSharpen() - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
shouldSharpen() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
SimpleEpsilonRemovalVisitor - Class in dk.brics.servletvalidator
Removes epsilon terminals in productions where there are also other symbols
SimpleEpsilonRemovalVisitor() - Constructor for class dk.brics.servletvalidator.SimpleEpsilonRemovalVisitor
 
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
simplifyFlowGraph(FlowGraph) - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
simplifyFlowGraph(FlowGraph) - Method in interface dk.brics.servletvalidator.AnalysisFactory
 
simplifyFlowGraph(FlowGraph) - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
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
 
singleQuot - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
The constant character '
size() - Method in class dk.brics.servletvalidator.util.LinkedSet
Returns the number of elements in the set including elements in contained subsets
slash - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
The constant charater /
space - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
The Space character
special - Static variable in interface dk.brics.servletvalidator.XMLSyntaxConstants
 
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
 
StartEndParenthesisModel(AnalysisSettings) - Constructor for class dk.brics.servletvalidator.balancing.StartEndParenthesisModel
 
startsWithNonTerminal(List<AlphabetSymbol>) - Method in class dk.brics.servletvalidator.balancing.AbstractSplitVisitor
 
StaticFileAnalysisFactory - Class in dk.brics.servletvalidator
 
StaticFileAnalysisFactory(File, AnalysisSettings) - Constructor for class dk.brics.servletvalidator.StaticFileAnalysisFactory
 
StaticFileFrontEndAnalysis - Class in dk.brics.servletvalidator
 
StaticFileFrontEndAnalysis(AnalysisFactory, File) - Constructor for class dk.brics.servletvalidator.StaticFileFrontEndAnalysis
 
StrutsXMLFile - Class in dk.brics.servletvalidator
 
StrutsXMLFile(File) - Constructor for class dk.brics.servletvalidator.StrutsXMLFile
 
StrutsXMLFile.StrutsAction - Class in dk.brics.servletvalidator
 
StrutsXMLFile.StrutsAction() - Constructor for class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 

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(AnalysisSettings) - 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
 
TargetingNode - Class in dk.brics.servletvalidator.flowgraph
 
TargetingNode() - Constructor for class dk.brics.servletvalidator.flowgraph.TargetingNode
 
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
Returns all elements in the set including contained subsets as an array
toArray(S[]) - Method in class dk.brics.servletvalidator.util.LinkedSet
Returns all elements in the set including contained subsets as an array of the specified size
toString() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
toString() - Method in class dk.brics.servletvalidator.balancing.pimages.ParenthesisRefVertex
 
toString() - Method in class dk.brics.servletvalidator.CodeLocation
 
toString() - Method in class dk.brics.servletvalidator.flowgraph.AppendNode
 
toString() - Method in class dk.brics.servletvalidator.flowgraph.EntryNode
 
toString() - Method in class dk.brics.servletvalidator.flowgraph.ExternalEntryNode
 
toString() - Method in class dk.brics.servletvalidator.flowgraph.InvokeNode
 
toString() - Method in class dk.brics.servletvalidator.flowgraph.ReturnNode
 
toString() - Method in class dk.brics.servletvalidator.grammar.Production
 
toString() - Method in class dk.brics.servletvalidator.grammar.Terminal
Returns the same as Terminal.getSymbol()
toString() - Method in class dk.brics.servletvalidator.StrutsXMLFile.StrutsAction
 
toString() - Method in class dk.brics.servletvalidator.WebXMLFile.Mapping
 
toXML() - Method in class dk.brics.servletvalidator.AbstractAnalysisFactory
 
toXML() - Method in class dk.brics.servletvalidator.JspAnalysisFactory
 
toXML() - Method in class dk.brics.servletvalidator.ServletAnalysisFactory
 
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
Responsible for performing transformation 1 as described in [Knuth]
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 an(bn).
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
 
URLTagSharpener - Class in dk.brics.servletvalidator.flowgraph
Improves precision of URL tags in JSTL by hard-coding knowledge about its behavior
URLTagSharpener() - Constructor for class dk.brics.servletvalidator.flowgraph.URLTagSharpener
 
URLTagSharpener.ParameterState - Class in dk.brics.servletvalidator.flowgraph
 
URLTagSharpener.ParameterState(Map<Node, Map<String, Set<String>>>) - Constructor for class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState
 
URLTagSharpener.State<N,S,A> - Class in dk.brics.servletvalidator.flowgraph
 
URLTagSharpener.State() - Constructor for class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State
 
URLTagSharpener.ValueState - Class in dk.brics.servletvalidator.flowgraph
 
URLTagSharpener.ValueState(Map<Node, Map<String, Automaton>>) - Constructor for class dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState
 
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.AnalysisSettings.AnalysisType
Returns the enum constant of this type with the specified name.
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.AnalysisSettings.AnalysisType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.servletvalidator.Analyzer.ConsoleState
Returns an array containing the constants of this enum type, in the order they are 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 are 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 are 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
 
visit(ControlNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor
 
visit(ReturnNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor
 
visit(IncludeNode) - Method in interface dk.brics.servletvalidator.flowgraph.NodeVisitor
 

W

walk(LinkedSet.SetWalker<T>, LinkedSet.Operation) - Method in class dk.brics.servletvalidator.util.LinkedSet
 
WebXMLFile - Class in dk.brics.servletvalidator
 
WebXMLFile(File) - Constructor for class dk.brics.servletvalidator.WebXMLFile
 
WebXMLFile.Mapping - Class in dk.brics.servletvalidator
 
WebXMLFile.Mapping(String) - Constructor for class dk.brics.servletvalidator.WebXMLFile.Mapping
 
WellFormednessChecker - Class in dk.brics.servletvalidator.wellformedness
 
WellFormednessChecker(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.wellformedness.WellFormednessChecker
 
WhiteSpaceRemover - Class in dk.brics.servletvalidator
Removes leading and trailing whitespace.
WhiteSpaceRemover(AbstractAnnotationVisitor) - Constructor for class dk.brics.servletvalidator.WhiteSpaceRemover
 

X

XMLNotWellFormedException - Exception in dk.brics.servletvalidator.exceptions
 
XMLNotWellFormedException(String, CodeLocation) - Constructor for exception dk.brics.servletvalidator.exceptions.XMLNotWellFormedException
 
XMLNotWellFormedException(String, Throwable, CodeLocation) - 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
 
XMLReader - Class in dk.brics.servletvalidator.grammar
 
XMLReader() - Constructor for class dk.brics.servletvalidator.grammar.XMLReader
 
XMLSyntaxConstants - Interface in dk.brics.servletvalidator
Defines all syntax constants used in XML as terminals.
XMLTerminalReducer - Class in dk.brics.servletvalidator
 
XMLTerminalReducer(AnalysisSettings) - Constructor for class dk.brics.servletvalidator.XMLTerminalReducer
 
A B C D E F G H I J L M N O P Q R S T U V W X 

Copyright © 2008-2013 Mathias Schwarz.