- 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
-
- 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
-
- 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
-
- 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
-
- 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 >