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

A

add(K, V) - Method in class dk.brics.xact.analysis.util.MultiMap
Adds a key-value pair to the multimap.
addAll(Graph<Nodetype, Edgetype>) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Adds all nodes and edges from another graph to this one.
addAll(K, Collection<? extends V>) - Method in class dk.brics.xact.analysis.util.MultiMap
Adds a key-value pair for each value in the specified set.
addClassFilesFromFolder(File, String, List<String>) - Static method in class dk.brics.xact.analysis.Main
 
addDecl(String, String) - Method in class dk.brics.xact.operations.NamespacePrefixTracker
Adds a namespace declaration.
addEdge(Nodetype, Nodetype, Edgetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Adds an edge between two nodes in the graph.
addEdgeFrom(Statement, VariableFilter) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
 
addEdgeTo(Statement, VariableFilter) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
 
addEntry(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Marks an existing node as an entry node of the graph.
addFilter(VariableFilter) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
 
addNode(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Adds the given node to the graph.
addStatement(Statement) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Adds a statement at the current position in the control flow graph being built.
addStatement(Statement, VariableFilter) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Adds a statement at the current position in the control flow graph being built.
addTask(Runnable) - Method in class dk.brics.xact.analysis.concurrent.ExecutorTaskRunner
 
addTask(Runnable) - Method in class dk.brics.xact.analysis.concurrent.SingleThreadedTaskRunner
 
addTask(Runnable) - Method in interface dk.brics.xact.analysis.concurrent.XactTaskRunner
Adds a tasks to the task scheduler.
addVariable(Variable) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Adds a variable to the label set.
afterArrays(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after the ArrayTransformer completes
afterCalls(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after call statements have been removed and replaced by interprocedural edges
afterControlFlow(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after the control-flow graph has been built and no transformer has run yet
afterDefUse(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after the DefUseTransformer completes
afterSchemaTypeLinking(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called after XML Schemas have been loaded and linked
afterSootLoaded() - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after the Soot classes have been loaded
afterSplit(FlowGraph, List<FlowGraph>) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after the flow graph has been split
afterUnreachable(FlowGraph) - Method in interface dk.brics.xact.analysis.Diagnostics
Called just after unreachable nodes have been removed
ALWAYS - Static variable in interface dk.brics.xact.operations.XMLIndentation
Implementation that indents all elements using four whitespaces per level and uses the system property line.separator as line separator.
AnalysisInterface<ElementType> - Interface in dk.brics.xact.analysis.dataflow
Lattice and transfer functions for a dataflow analysis.
analyze() - Method in class dk.brics.xact.analysis.XMLAnalysis
Runs the analysis.
analyze(String) - Method in class dk.brics.xact.XML
Instruction for the program analyzer; no operation at runtime.
AnalyzeStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.analyze(String) or assignment to a type-annotated variable, parameter or return value.
AnalyzeStm(AnalyzeStm.Kind, Variable, Variable, SchemaType, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
Constructs a new AnalyzeStm object.
AnalyzeStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
 
analyzeStrings() - Method in class dk.brics.xact.analysis.soot.PutStringSources
Runs string analysis with hotspots that are relevant for XACT operations.
analyzeXMLGraphs(FlowGraph, XMLGraphBuilder) - Method in class dk.brics.xact.analysis.XMLAnalysis
Analyzes the XML graphs.
and(EBooleanLattice) - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns the possible results of a logical AND between two booleans.
AnyNodeVisitor - Class in dk.brics.xact
Visitor for nodes, including operation nodes.
AnyNodeVisitor() - Constructor for class dk.brics.xact.AnyNodeVisitor
Constructs a new visitor.
append(Object) - Method in class dk.brics.xact.XML
Inserts the given value after this template.
appendContent(String, Object) - Method in class dk.brics.xact.XML
Inserts the given value after the content of each selected element node.
appendContent(Object) - Method in class dk.brics.xact.XML
Inserts the given value after the content of this element.
apply(XMLGraph, Node) - Method in class dk.brics.xact.analysis.xmlgraph.TextProcessor
 
apply(XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.TextProcessor
 
applyTo(Switchable, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
Applies the visitor to the specified Jimple object.
ArrayConstantAnalysis - Class in dk.brics.xact.analysis.soot
Determines for each program point the arrays whose exact contents are known in terms of other local variables.
ArrayConstantAnalysis(DirectedGraph<Unit>) - Constructor for class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
ArrayConstantInfo - Class in dk.brics.xact.analysis.soot
 
ArrayConstantInfo(ValueBox[]) - Constructor for class dk.brics.xact.analysis.soot.ArrayConstantInfo
 
ArrayReadStm - Class in dk.brics.xact.analysis.flowgraph.statements
 
ArrayReadStm(Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
ArrayTransformer - Class in dk.brics.xact.analysis.transformations
Flow graph transformation for linking array variables using weak updating.
ArrayTransformer() - Constructor for class dk.brics.xact.analysis.transformations.ArrayTransformer
Constructs a new ArrayTransformer.
ArrayWriteStm - Class in dk.brics.xact.analysis.flowgraph.statements
 
ArrayWriteStm(Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
ArrayWriteStringStm - Class in dk.brics.xact.analysis.flowgraph.statements
 
ArrayWriteStringStm(Variable, Automaton, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
asAttribute() - Method in class dk.brics.xact.Node
Returns this node as an attribute node.
asComment() - Method in class dk.brics.xact.Node
Returns this node as a comment node.
asComment() - Method in class dk.brics.xact.OperationNode
 
asElement() - Method in class dk.brics.xact.Node
Returns this node as an element node.
asElement() - Method in class dk.brics.xact.OperationNode
 
asNamespaceDecl() - Method in class dk.brics.xact.Node
Returns this node as a namespace declaration node.
asProcessingInstruction() - Method in class dk.brics.xact.Node
Returns this node as a processing instruction node.
asProcessingInstruction() - Method in class dk.brics.xact.OperationNode
 
assign(VariableElementType, Statement) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Invoked after each assignment transfer function on the resulting value.
assign(XMLGraph, Statement) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
Assignment - Class in dk.brics.xact.analysis.flowgraph.statements
Superclass of abstract statements that are assignments.
Assignment(Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.Assignment
Constructs a new assignment statement.
asTemplate() - Method in class dk.brics.xact.Node
Returns this node as an XML template content node.
asTemplate() - Method in class dk.brics.xact.OperationNode
 
asText() - Method in class dk.brics.xact.Node
Returns this node as a text node.
asText() - Method in class dk.brics.xact.OperationNode
 
Attribute - Class in dk.brics.xact
Attribute node.
Attribute(String, String, String, AttrNode, Origin) - Constructor for class dk.brics.xact.Attribute
Constructs a new attribute node.
Attribute(String, String, String) - Constructor for class dk.brics.xact.Attribute
Constructs a new attribute node.
Attribute(String, String) - Constructor for class dk.brics.xact.Attribute
Constructs a new attribute node with no namespace.
Attribute(String, String, String, Origin) - Constructor for class dk.brics.xact.Attribute
Constructs a new attribute node.
Attribute(String, String, Origin) - Constructor for class dk.brics.xact.Attribute
Constructs a new attribute node with no namespace.
AttributeGap - Class in dk.brics.xact
Attribute gap node.
AttributeGap(String, String, String, String, AttrNode, Origin) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node.
AttributeGap(String, String, String, String) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node.
AttributeGap(String, String, String) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node with no namespace.
AttributeGap(String, String) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node with no namespace and no type.
AttributeGap(String, String, String, String, Origin) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node.
AttributeGap(String, String, String, Origin) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node with no namespace.
AttributeGap(String, String, Origin) - Constructor for class dk.brics.xact.AttributeGap
Constructs a new attribute gap node with no namespace and no type.
AttributeGapWrapper - Class in dk.brics.xact.wrappers
Wrapper for AttributeGap.
AttributeGapWrapper(AttributeGap, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.AttributeGapWrapper
Constructs a new wrapper.
AttributeWrapper - Class in dk.brics.xact.wrappers
Wrapper for Attribute.
AttributeWrapper(Attribute, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.AttributeWrapper
Constructs a new wrapper.
AttrNode - Class in dk.brics.xact
Base class for attribute-like nodes.
AttrNode(String, String, AttrNode, Origin) - Constructor for class dk.brics.xact.AttrNode
Constructs a new attribute-like node.
AttrNodeWrapper<T extends AttrNode> - Class in dk.brics.xact.wrappers
Wrapper for AttrNode.
AttrNodeWrapper(T, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.AttrNodeWrapper
Constructs a new wrapper.

B

BackwardsXGAnalyzer<T> - Class in dk.brics.xact.analysis.xmlgraph
Base class for performing backwards dataflow analysis on XML graphs.
BackwardsXGAnalyzer(XMLGraph) - Constructor for class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
 
BasicStatementVisitor - Class in dk.brics.xact.analysis.flowgraph.statements
Statement visitor where all visit methods are empty by default.
BasicStatementVisitor() - Constructor for class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
booleanValueOf(XML, String) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the boolean value of the first selected node.
bottom() - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
Returns BOTTOM element.
bottom() - Method in class dk.brics.xact.analysis.xmlgraph.Emptiness
 
bottom() - Method in class dk.brics.xact.analysis.xmlgraph.FirstRootAnalysis
 
bottom() - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Returns BOTTOM element.
bottom() - Method in class dk.brics.xact.analysis.xmlgraph.RootAnalysis
 
buildFlowGraph() - Method in class dk.brics.xact.analysis.XMLAnalysis
Builds the flow graph and finds schema URLs.
buildXMLGraphs(FlowGraph) - Method in class dk.brics.xact.analysis.XMLAnalysis
Builds the XML graphs.
byteLength(String) - Method in class dk.brics.xact.XML
Computes the number of bytes written if invoking XML.toDocument(OutputStream, String).

C

CachedNodeProcessor<T> - Class in dk.brics.xact.analysis.xmlgraph
 
CachedNodeProcessor() - Constructor for class dk.brics.xact.analysis.xmlgraph.CachedNodeProcessor
 
CallStm - Class in dk.brics.xact.analysis.flowgraph.statements
A call to an application method.
CallStm(Variable, Method, Variable[], Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.CallStm
Creates a call statement.
CallTransformer - Class in dk.brics.xact.analysis.transformations
Removes all call statements and inserts assignments and interprocedural edges instead.
CallTransformer() - Constructor for class dk.brics.xact.analysis.transformations.CallTransformer
 
canCallExtern(InvokeExpr) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns true if the specified invocation may lead to a non-application class
canCallExtern(InvokeExpr) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
caseAddExpr(AddExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseAndExpr(AndExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseArrayRef(ArrayRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseArrayRef(ArrayRef, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseAssignStmt(AssignStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseBreakpointStmt(BreakpointStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseCastExpr(CastExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseCastExpr(CastExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseCaughtExceptionRef(CaughtExceptionRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseClassConstant(ClassConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseCmpExpr(CmpExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseCmpgExpr(CmpgExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseCmplExpr(CmplExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseDivExpr(DivExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseDoubleConstant(DoubleConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseEnterMonitorStmt(EnterMonitorStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseEqExpr(EqExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseExitMonitorStmt(ExitMonitorStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseFloatConstant(FloatConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseGeExpr(GeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseGotoStmt(GotoStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseGtExpr(GtExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseIdentityStmt(IdentityStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseIfStmt(IfStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseInstanceFieldRef(InstanceFieldRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseInstanceFieldRef(InstanceFieldRef, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseInstanceOfExpr(InstanceOfExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseIntConstant(IntConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseInterfaceInvokeExpr(InterfaceInvokeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseInterfaceInvokeExpr(InterfaceInvokeExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseInvokeStmt(InvokeStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseLeExpr(LeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseLengthExpr(LengthExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseLocal(Local, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseLocal(Local, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseLongConstant(LongConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseLookupSwitchStmt(LookupSwitchStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseLtExpr(LtExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseMulExpr(MulExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNeExpr(NeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNegExpr(NegExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNewArrayExpr(NewArrayExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNewArrayExpr(NewArrayExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseNewExpr(NewExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNewExpr(NewExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseNewMultiArrayExpr(NewMultiArrayExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNewMultiArrayExpr(NewMultiArrayExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseNopStmt(NopStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseNullConstant(NullConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseNullConstant(NullConstant, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseOrExpr(OrExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseParameterRef(ParameterRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseParameterRef(ParameterRef, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseRemExpr(RemExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseRetStmt(RetStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseReturnStmt(ReturnStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseReturnVoidStmt(ReturnVoidStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseShlExpr(ShlExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseShrExpr(ShrExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseSpecialInvokeExpr(SpecialInvokeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseSpecialInvokeExpr(SpecialInvokeExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseStaticFieldRef(StaticFieldRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseStaticFieldRef(StaticFieldRef, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseStaticInvokeExpr(StaticInvokeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseStaticInvokeExpr(StaticInvokeExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseStringConstant(StringConstant, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseSubExpr(SubExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseTableSwitchStmt(TableSwitchStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseThisRef(ThisRef, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseThisRef(ThisRef, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseThrowStmt(ThrowStmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseUshrExpr(UshrExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseVirtualInvokeExpr(VirtualInvokeExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
caseVirtualInvokeExpr(VirtualInvokeExpr, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
caseXorExpr(XorExpr, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
CastStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of Node.asElement() and variants.
CastStm(CastStm.Kind, Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.CastStm
Constructs a new CastStm object.
CastStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
characters(char[], int, int) - Method in class dk.brics.xact.operations.ParseHandler
 
CheckStm - Class in dk.brics.xact.analysis.flowgraph.statements
Check operation for XML.getNumber(String), XML.getString(String), XML.has(String), XML.toDocument(), Node.isElement(), and variants.
CheckStm(CheckStm.Kind, Variable, String, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.CheckStm
Constructs a new CheckStm object.
CheckStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
clear() - Method in class dk.brics.xact.analysis.util.MultiMap
Removes all key-value pairs.
clear() - Static method in class dk.brics.xact.operations.TemplateCache
Clears the cache.
clearEdges() - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes all edges.
clone() - Method in class dk.brics.xact.analysis.soot.ArrayConstantInfo
 
close() - Method in class dk.brics.xact.XML
Removes all gaps in this template.
CloseNode - Class in dk.brics.xact
Close operation node.
CloseNode(XML, Origin) - Constructor for class dk.brics.xact.CloseNode
Constructs a new close operation node.
CloseNode(XML) - Constructor for class dk.brics.xact.CloseNode
Constructs a new close operation node.
Comment - Class in dk.brics.xact
Comment node.
Comment(String, XML, Origin) - Constructor for class dk.brics.xact.Comment
Constructs a new comment node.
Comment(String) - Constructor for class dk.brics.xact.Comment
Constructs a new comment node.
Comment(String, Origin) - Constructor for class dk.brics.xact.Comment
Constructs a new comment node.
comment(char[], int, int) - Method in class dk.brics.xact.operations.ParseHandler
 
CommentWrapper - Class in dk.brics.xact.wrappers
Wrapper for Comment.
CommentWrapper(Comment, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.CommentWrapper
Constructs a new wrapper.
compare(ErrorReport, ErrorReport) - Method in class dk.brics.xact.analysis.ErrorReport.OriginComparator
 
concat(EPresence) - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
Returns whether the result is empty when concatenating the two elements.
concat() - Method in class dk.brics.xact.NodeList
Concatenates the list of nodes into an XML template.
concat(Iterable<?>) - Static method in class dk.brics.xact.XML
Concatenates the given list of XML templates or strings into one template.
concat(Object...) - Static method in class dk.brics.xact.XML
Concatenates the given list of XML templates or strings.
ConcatNode - Class in dk.brics.xact
Concatenation operation node.
ConcatNode(XML, XML, Origin) - Constructor for class dk.brics.xact.ConcatNode
Constructs a new concatenation operation node.
ConcatStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.concat(Object...) and variants.
ConcatStm(Variable, Automaton, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
Constructs a new ConcatStm object.
concatXML(XML, XML) - Static method in class dk.brics.xact.XML
Concatenates the given XML templates.
ConcreteTempNodeWrapper<T extends TempNode> - Class in dk.brics.xact.wrappers
Base class for concrete TempNode wrappers.
ConcreteTempNodeWrapper(T, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.ConcreteTempNodeWrapper
Constructs a new wrapper.
Configuration - Interface in dk.brics.xact.analysis.config
The customizable settings of the analysis.
ConstStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.parseTemplate(String) and variants.
ConstStm(Variable, TemplateConstant, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ConstStm
Constructs a new ConstStm object.
contains(K, V) - Method in class dk.brics.xact.analysis.util.MultiMap
Determines if the multimap contains the specified key-value pair.
containsAll() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Returns true if this definitely contains all variables.
containsKey(Key) - Method in class dk.brics.xact.analysis.util.UnionFindForest
 
containsNode(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Checks whether the graph contains the given node.
containsVariable(Variable) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Checks whether the given variable is contained in the label set.
contents - Variable in class dk.brics.xact.analysis.soot.ArrayConstantInfo
If null, nothing is known about the array (including its length).
ControlFlowBuilder - Class in dk.brics.xact.analysis.soot
Utility class assisting in the construction of method bodies.
ControlFlowBuilder(FlowGraph, Origin) - Constructor for class dk.brics.xact.analysis.soot.ControlFlowBuilder
Creates a builder for inserting statements in the specified method's body.
convert(XML, XMLGraphConverter.GapConversion, boolean) - Static method in class dk.brics.xact.operations.XMLGraphConverter
Converts the given XML template into a new XML graph.
copy(Map<Local, ArrayConstantInfo>, Map<Local, ArrayConstantInfo>) - Method in class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
copy(Map<Local, StringConstant>, Map<Local, StringConstant>) - Method in class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
copy(AttrNode) - Method in class dk.brics.xact.Attribute
 
copy(AttrNode) - Method in class dk.brics.xact.AttributeGap
 
copy(AttrNode) - Method in class dk.brics.xact.AttrNode
Returns a copy of this attribute with the given successor.
copy(XML) - Method in class dk.brics.xact.Comment
 
copy(XML, XML) - Method in class dk.brics.xact.ConcatNode
Returns a copy of this node with the given left and right contents.
copy() - Method in class dk.brics.xact.Element
Returns a copy of this node.
copy(XML) - Method in class dk.brics.xact.Element
Returns a copy of this node with the given next sibling.
copy(AttrNode, XML, XML) - Method in class dk.brics.xact.Element
Returns a copy of this node with the given attributes, children, and next sibling.
copy(XML, XML) - Method in class dk.brics.xact.Element
Returns a copy of this node with the given first child and next sibling.
copy(AttrNode) - Method in class dk.brics.xact.Element
Returns a copy of this node with the given first attribute.
copy(NamespaceDecl) - Method in class dk.brics.xact.Element
Returns a copy of this node with the given first namespace declarations.
copy(NamespaceDecl) - Method in class dk.brics.xact.NamespaceDecl
Returns a copy of this node with the given successor.
copy(XML) - Method in class dk.brics.xact.ProcessingInstruction
 
copy(XML) - Method in class dk.brics.xact.TemplateGap
 
copy(XML) - Method in class dk.brics.xact.TempNode
Returns a copy of this node with the given next sibling.
copy(XML) - Method in class dk.brics.xact.Text
 
copyFrom(VariableAnalysisElement<VariableElementType>) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Copies everything from the given lattice point.
CopyStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of Element.copy(AttrNode, XML, XML) and variants.
CopyStm(CopyStm.Kind, Variable, Variable, Variable, Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Constructs a new CopyStm object.
CopyStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
 
count(K) - Method in class dk.brics.xact.analysis.util.MultiMap
 
currentStatement() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
 
cycle() - Method in class dk.brics.xact.analysis.xmlgraph.CachedNodeProcessor
 
CycleUnwinder - Class in dk.brics.xact.analysis.xmlgraph
Detects and eliminates some cycles in an XML graph while maintaining the same XML language.
CycleUnwinder(int) - Constructor for class dk.brics.xact.analysis.xmlgraph.CycleUnwinder
Creates an unwinder for an XML graph with the specified number of nodes.

D

DataflowAnalyzer<ElementType> - Class in dk.brics.xact.analysis.dataflow
Performs a dataflow analysis on a flow graph, given an AnalysisInterface instance.
DataflowAnalyzer(FlowGraph, AnalysisInterface<ElementType>) - Constructor for class dk.brics.xact.analysis.dataflow.DataflowAnalyzer
Constructs a DataflowAnalyzer for analyzing the given flow graph.
Debug - Class in dk.brics.xact.analysis
Debug mode settings.
dec() - Static method in class dk.brics.xact.analysis.Debug
Decrement indentation level.
defaultCase(Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
defaultExpr(Object, Q) - Method in class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
defaultExpr(Object, Object) - Method in class dk.brics.xact.analysis.soot.Translator
 
defaultNodeData() - Method in class dk.brics.xact.analysis.util.UnionFindForest
 
definitely() - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns true if this is YES or BOTTOM
definitelyEmpty() - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
 
definitelyNonEmpty() - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
 
definitelyNonNull(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
definitelyNot() - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns true if this is NO or BOTTOM
definitelyNull(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
DefUseTransformer - Class in dk.brics.xact.analysis.transformations
Reaching definitions analysis and copy propagation.
DefUseTransformer() - Constructor for class dk.brics.xact.analysis.transformations.DefUseTransformer
Constructs a new DefUseTransformer.
Diagnostics - Interface in dk.brics.xact.analysis
Object that gets notified of certain events in the XML analysis, mostly for the purpose of debugging and benchmarking the analysis.
dk.brics.xact - package dk.brics.xact
The main interface to the XACT runtime system.
dk.brics.xact.analysis - package dk.brics.xact.analysis
Program analysis for XACT.
dk.brics.xact.analysis.concurrent - package dk.brics.xact.analysis.concurrent
Support for concurrent analysis.
dk.brics.xact.analysis.config - package dk.brics.xact.analysis.config
Analysis configuration.
dk.brics.xact.analysis.dataflow - package dk.brics.xact.analysis.dataflow
Dataflow analysis framework for flow graphs.
dk.brics.xact.analysis.flowgraph - package dk.brics.xact.analysis.flowgraph
Representation of flow graphs.
dk.brics.xact.analysis.flowgraph.statements - package dk.brics.xact.analysis.flowgraph.statements
Representation of flow graph statements.
dk.brics.xact.analysis.soot - package dk.brics.xact.analysis.soot
Construction of flow graphs via Soot.
dk.brics.xact.analysis.transformations - package dk.brics.xact.analysis.transformations
Various flow graph transformations.
dk.brics.xact.analysis.util - package dk.brics.xact.analysis.util
Miscellaneous utilities.
dk.brics.xact.analysis.xmlgraph - package dk.brics.xact.analysis.xmlgraph
XML graph dataflow analysis on flow graphs and XML graph validation.
dk.brics.xact.compiler - package dk.brics.xact.compiler
Compiler from XACT (.xact) to Java (.java).
dk.brics.xact.operations - package dk.brics.xact.operations
Basic operations on XML templates.
dk.brics.xact.wrappers - package dk.brics.xact.wrappers
Wrapper classes for nodes.
doAnalysis() - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
 
doAnalysis() - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
 
dumpXMLGraph(XMLGraph, String) - Static method in class dk.brics.xact.analysis.util.Util
Prints the specified XML graph to a file as a graphviz dot graph.
dumpXMLGraph(XMLGraph, Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
Dumps the XML graph to a file.
dumpXMLGraphAlways(XMLGraph, Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
dumpXMLGraphAlways(XMLGraph, Statement, int) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
dumpXMLGraphObject(XMLGraph, Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
dumpXMLGraphObjects(XMLGraphPair, Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 

E

EBooleanLattice - Enum in dk.brics.xact.analysis.xmlgraph
Represents the lattice: MAYBE / \ YES NO \ / BOTTOM The meaning of "yes" and "no" is not specified here – it depends on the context of its use.
Edge<Nodetype,Edgetype> - Class in dk.brics.xact.analysis.flowgraph
Flow graph edge.
Edge(Nodetype, Nodetype, Edgetype) - Constructor for class dk.brics.xact.analysis.flowgraph.Edge
Constructs an edge.
Element - Class in dk.brics.xact
Element node.
Element(String, String, AttrNode, XML, NamespaceDecl, XML, Origin) - Constructor for class dk.brics.xact.Element
Constructs a new element node.
Element(String, String) - Constructor for class dk.brics.xact.Element
Constructs a new empty element node.
Element(String, String, Origin) - Constructor for class dk.brics.xact.Element
Constructs a new empty element node.
Element(String) - Constructor for class dk.brics.xact.Element
Constructs a new empty element node.
Element(String, Origin) - Constructor for class dk.brics.xact.Element
Constructs a new empty element node.
ElementWrapper - Class in dk.brics.xact.wrappers
Wrapper for Element.
ElementWrapper(Element, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.ElementWrapper
Constructs a new wrapper.
Emptiness - Class in dk.brics.xact.analysis.xmlgraph
May/must backwards analysis that determines which nodes in an XML graph have empty sequence unfoldings.
Emptiness(XMLGraph, EPresence, EPresence, EPresence, EPresence) - Constructor for class dk.brics.xact.analysis.xmlgraph.Emptiness
Performs emptiness analysis on the specified XML graph.
EMPTY - Static variable in class dk.brics.xact.Text
Empty text node.
EmptyStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of empty value, such as null or an empty array.
EmptyStm(Variable, boolean, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.EmptyStm
Constructs a new EmptyStm object.
endBranch() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Ends the current branching.
endDocument() - Method in class dk.brics.xact.operations.ParseHandler
 
endElement(String, String, String) - Method in class dk.brics.xact.operations.ParseHandler
 
endPhase() - Static method in class dk.brics.xact.analysis.XMLAnalysis
Marks the end of a phase.
ensureDeclared(String, Map<String, String>) - Method in class dk.brics.xact.operations.NamespacePrefixTracker
Ensures that the given namespace is declared.
Entity - Class in dk.brics.xact.analysis.flowgraph
Superclass of all program entities.
Entity(Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.Entity
Constructs a new node.
entryInitialFlow() - Method in class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
entryInitialFlow() - Method in class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
EPresence - Enum in dk.brics.xact.analysis.xmlgraph
A generic lattice denoting whether something is empty or non-empty.
equals(Object) - Method in class dk.brics.xact.analysis.flowgraph.Edge
Checks whether the given edge is equal to this edge.
equals(Object) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Checks whether the given variable filter is equal to this variable filter.
error(Origin, ErrorType, String, Object...) - Method in class dk.brics.xact.analysis.ErrorHandler
 
error(Throwable) - Method in class dk.brics.xact.analysis.ErrorHandler
 
ErrorHandler - Class in dk.brics.xact.analysis
Accepts error reports from the analysis.
ErrorHandler() - Constructor for class dk.brics.xact.analysis.ErrorHandler
 
ErrorReport - Class in dk.brics.xact.analysis
Describes an error reported by the XML analysis.
ErrorReport(Origin, ErrorType, String) - Constructor for class dk.brics.xact.analysis.ErrorReport
 
ErrorReport(Throwable) - Constructor for class dk.brics.xact.analysis.ErrorReport
 
ErrorReport.OriginComparator - Class in dk.brics.xact.analysis
Compares error reports by their origin alone.
ErrorReport.OriginComparator() - Constructor for class dk.brics.xact.analysis.ErrorReport.OriginComparator
 
ErrorType - Enum in dk.brics.xact.analysis
 
EscapeStm - Class in dk.brics.xact.analysis.flowgraph.statements
 
EscapeStm(Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
ExecutorTaskRunner - Class in dk.brics.xact.analysis.concurrent
Adapter for ExecutorService to XactTaskRunner.
ExecutorTaskRunner(ExecutorService) - Constructor for class dk.brics.xact.analysis.concurrent.ExecutorTaskRunner
 
expanded(String, String) - Static method in class dk.brics.xact.Node
Builds an expanded name from an optional namespace URI and a local name.
expandQName(String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Expands a QName according to the current namespace declarations.
expandQName(String, Map<String, String>, Map<String, String>, Origin) - Static method in class dk.brics.xact.operations.XMLValidator
Converts a QName into an expanded name using the given namespace maps.
expandQNames(Map<String, String>) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Expands a QName map according to the current namespace declarations.
ExprAnswerVisitor<Q,A> - Class in dk.brics.xact.analysis.soot
Jimple visitor pattern that takes an auxillary parameter and has a return value.
ExprAnswerVisitor() - Constructor for class dk.brics.xact.analysis.soot.ExprAnswerVisitor
 
extend(XMLGraph, XML, XMLGraphConverter.GapConversion, boolean) - Static method in class dk.brics.xact.operations.XMLGraphConverter
Converts the given XML template by extending an existing XML graph.

F

FieldTransformer - Class in dk.brics.xact.analysis.transformations
Flow graph transformation for globally linking field variables.
FieldTransformer() - Constructor for class dk.brics.xact.analysis.transformations.FieldTransformer
Constructs a new FieldTransformer.
FileUtil - Class in dk.brics.xact.compiler
File utilitity methods.
FileUtil() - Constructor for class dk.brics.xact.compiler.FileUtil
 
findAllFilesWithExtensions(File, boolean, String) - Static method in class dk.brics.xact.compiler.FileUtil
Finds all files with the given extension.
findSchemas() - Method in class dk.brics.xact.analysis.soot.Jimple2FlowGraph
Locates schemas in application classes.
finish() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Finishes the subgraph created by the builder, and returns the first and last statement in the subgraph.
first - Variable in class dk.brics.xact.analysis.soot.StatementPair
 
FirstRootAnalysis - Class in dk.brics.xact.analysis.xmlgraph
Determines which elements may occur as first root in some unfolding of an XML graph.
FirstRootAnalysis(XMLGraph, Emptiness, boolean) - Constructor for class dk.brics.xact.analysis.xmlgraph.FirstRootAnalysis
 
FlowGraph - Class in dk.brics.xact.analysis.flowgraph
Flow graph.
FlowGraph(Map<String, Origin>, Map<String, String>) - Constructor for class dk.brics.xact.analysis.flowgraph.FlowGraph
Constructs an empty graph.
FlowGraph2Dot - Class in dk.brics.xact.analysis.transformations
Graphviz dot printer for flow graphs.
FlowGraph2Dot(PrintStream) - Constructor for class dk.brics.xact.analysis.transformations.FlowGraph2Dot
Constructs a new converter.
flowThrough(Map<Local, ArrayConstantInfo>, Unit, Map<Local, ArrayConstantInfo>) - Method in class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
flowThrough(Map<Local, StringConstant>, Unit, Map<Local, StringConstant>) - Method in class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
follow(Node) - Static method in class dk.brics.xact.Node
Returns the replacement node if forwarded, otherwise returns the node itself.
follow(XML) - Static method in class dk.brics.xact.Node
Returns the replacement node if forwarded, otherwise returns the node itself.
follow(AttrNode) - Static method in class dk.brics.xact.Node
Returns the replacement node if forwarded, otherwise returns the node itself.
follow(NamespaceDecl) - Static method in class dk.brics.xact.Node
Returns the replacement node if forwarded, otherwise returns the node itself.
forward(Node) - Method in class dk.brics.xact.Node
Forwards this node.
ForwardsXGAnalyzer<T> - Class in dk.brics.xact.analysis.xmlgraph
Base class for performing forwards dataflow analysis on XML graphs.
ForwardsXGAnalyzer(XMLGraph) - Constructor for class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
 

G

gapify(String, String) - Method in class dk.brics.xact.XML
Converts all nodes selected by the given XPath expression into gaps of the given name.
gapify(String, String, String) - Method in class dk.brics.xact.XML
Converts all nodes selected by the given XPath expression into gaps of the given name and schema type.
GapifyStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.gapify(String, String) and variants.
GapifyStm(Variable, Variable, String, String, SchemaType, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
Constructs a new GapifyStm object.
get(Variable) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Gets the element associated with the given variable.
get(int) - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
Returns the lattice data associated with the given node; or null if the node is unreachable.
get(Node) - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
Returns the lattice data associated with the given node; or null if the node is unreachable.
get(int) - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Returns the lattice data associated with the given node; or null if the node is unreachable.
get(Node) - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Returns the lattice data associated with the given node; or null if the node is unreachable.
get(int) - Method in class dk.brics.xact.NodeList
Returns the node at the given index.
get(Object) - Static method in class dk.brics.xact.operations.TemplateCache
Loads a parsed template from the cache.
get(String) - Method in class dk.brics.xact.XML
Returns the nodes specified by the given XPath expression.
getAdditionalSchemas() - Method in interface dk.brics.xact.analysis.config.Configuration
Returns the locations of some additional schemas that should be accesible to the application classes.
getAdditionalSchemas() - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getAnyKey() - Method in class dk.brics.xact.analysis.util.MultiMap
Returns any of the keys in the map, that has at least one associated value.
getAnyValue(K) - Method in class dk.brics.xact.analysis.util.MultiMap
Returns any of the values associated with the specified key, or null if no values are associated with the key.
getArgument(int) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
getArguments() - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
getAttribute(String) - Method in class dk.brics.xact.Element
Returns the value of the attribute of the given name, or null if not present.
getAttribute(String, String) - Method in class dk.brics.xact.Element
Returns the value of the attribute of the given name, or null if not present.
getAttribute(String) - Method in class dk.brics.xact.XML
Returns the value of the attribute of the given name in the first element in this template, or null if not present.
getAttribute(String, String) - Method in class dk.brics.xact.XML
Returns the value of the attribute of the given name in the first element in this template, or null if not present.
getAttributeGaps() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
Returns the collection of attribute gaps,
getAutomatonDescription(Automaton) - Static method in class dk.brics.xact.analysis.util.Util
Returns a human readable description of an automaton.
getAutomatonFromObjectExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.PutStringSources
 
getAutomatonFromStringExp(ValueBox, Origin) - Method in class dk.brics.xact.analysis.soot.PutStringSources
 
getBase() - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
Returns the base variable, or null if none is available.
getBase() - Method in class dk.brics.xact.analysis.flowgraph.statements.InstanceAssignment
Returns the base variable.
getBasedir() - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getCheckFailsStatements() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Returns the set of node test statements that always fail.
getConcatChoiceNode(ConcatStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getConcatOneOrMoreNode(ConcatStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getConcatSequenceNode(ConcatStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getConcatTextNode(ConcatStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getConst() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConstStm
Returns the template template constant.
getConstantArray(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the information known about the specified array variable, if any.
getConstantOrigin(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the origin constant value for the given Soot value.
getConstantString(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the string constant value for the given Soot value or null if it is a null constant.
getCopyAttributeNode(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyElementNode(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyFirstAttribute(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyFirstChild(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyLeftChoice(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyNextNode(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyTextNode(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCopyTopNode(CopyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getCurrentClass() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the current class.
getCurrentLine() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the current line number.
getCurrentMethod() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getCurrentOrigin() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the current origin.
getCurrentSootMethod() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the current method.
getData() - Method in class dk.brics.xact.analysis.flowgraph.Edge
Returns the edge data.
getData(Key) - Method in class dk.brics.xact.analysis.util.UnionFindForest
Returns the data associated with the specified key's component.
getData() - Method in class dk.brics.xact.ProcessingInstruction
Returns the data.
getDatatype(SchemaType) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
 
getDatatype(String, Origin) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
 
getDest() - Method in class dk.brics.xact.analysis.flowgraph.statements.Assignment
Returns the destination variable.
getElement(String) - Method in class dk.brics.xact.XML
Returns the first element specified by the given XPath expression.
getElementByID(String) - Method in class dk.brics.xact.XML
Returns the element with the given ID.
getElements() - Method in class dk.brics.xact.operations.XMLNavigator.ElementListResult
Returns the selected elements.
getElements(String) - Method in class dk.brics.xact.XML
Returns the elements specified by the given XPath expression.
getElementStringValue(Element) - Static method in class dk.brics.xact.operations.XMLPrinter
Returns the string value of an element.
getEmptySequence() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
 
getEmptySequenceNode(XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getEmptyXPathStatements() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Returns the set of statements where XPath evaluation resulted in the empty node set.
getEntries() - Method in class dk.brics.xact.analysis.flowgraph.Graph
Returns the set of entry points in the graph.
getEntry() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getErrors() - Method in class dk.brics.xact.analysis.ErrorHandler
 
getErrors() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getErrors() - Method in class dk.brics.xact.analysis.XMLAnalysis
 
getErrors() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphChecker
Returns the list of errors detected.
getExecutorService() - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getExit() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getExpandedName() - Method in class dk.brics.xact.AttrNode
Returns the expanded name.
getExpandedName() - Method in class dk.brics.xact.Element
Returns the expanded name.
getField(SootField) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getFieldSchemaType(SootField) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getFieldType(SootField, String) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns the type of XML allowed in the specified field.
getFieldType(SootField, String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getFirstAttr() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Returns the first-attr variable, or null if none is available.
getFirstAttr() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the first-attr variable, or null if none is available.
getFirstAttr() - Method in class dk.brics.xact.Element
Returns the first attribute-like node.
getFirstAttribute() - Method in class dk.brics.xact.Element
Returns the first attribute node.
getFirstAttribute() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first attribute node wrapper.
getFirstAttrWrapper() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first attribute-like node wrapper.
getFirstChild() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Returns the first-child variable, or null if none is available.
getFirstChild() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the first-child variable, or null if none is available.
getFirstChild() - Method in class dk.brics.xact.Element
Returns the first child node.
getFirstChild() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first concrete child node wrapper.
getFirstChildWrapper() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first child node wrapper.
getFirstElement() - Method in class dk.brics.xact.XML
Returns the first element in this template.
getFirstNamespaceDecl() - Method in class dk.brics.xact.Element
Returns the first namespace declaration node.
getFlowGraph() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getFlowIn(Statement) - Method in class dk.brics.xact.analysis.dataflow.DataflowAnalyzer
Returns the lattice element for the flow into the given statement.
getFlowOut(Statement) - Method in class dk.brics.xact.analysis.dataflow.DataflowAnalyzer
Returns the lattice element for the flow out of the given statement.
getFragment() - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
 
getFrom() - Method in class dk.brics.xact.analysis.flowgraph.Edge
Returns the source node.
getG1() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphPair
 
getG2() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphPair
 
getGap() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the gap name, or null if none is available.
getGap() - Method in class dk.brics.xact.AttributeGap
Returns the gap name.
getGap() - Method in class dk.brics.xact.PlugNode
Returns the gap name.
getGap() - Method in class dk.brics.xact.TemplateGap
Returns the gap name.
getGapifyChoiceNode(GapifyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getGapName() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
Returns the gap name.
getGapName() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Returns the gap name.
getGapTypeNodes() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
 
getGapTypes() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
Returns the gap type map,
getGetChoiceNode(GetStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getGetEmptySequence(GetStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getGetOneOrMoreNode(GetStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getGlobalXMLGraph() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Returns the global XML graph containing fragments for schemas and constants.
getGraph() - Method in class dk.brics.xact.analysis.soot.TranslationResult
 
getHierarchy() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the class hierarchy.
getHotspotMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the map from soot expression hotspots to their corresponding statements in the flow graph.
getHotspots() - Method in interface dk.brics.xact.analysis.config.Configuration
Expressions in the analyzed program whose XML graph should be available so they can be analyzed outside the XACT analysis.
getHotspots() - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getHotspots() - Method in class dk.brics.xact.analysis.soot.TranslationResult
 
getID() - Method in class dk.brics.xact.analysis.flowgraph.Variable
Returns the variable ID number.
getIn(Statement, Variable) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Returns the XML graph for the given variable at the entry of the given statement.
getIndentation() - Method in class dk.brics.xact.operations.XHTMLIndentation
 
getIndentation() - Method in interface dk.brics.xact.operations.XMLIndentation
Returns the indentation string to prefix every line for each level of indentation.
getIndentType(Element) - Method in class dk.brics.xact.operations.XHTMLIndentation
 
getIndentType(Element) - Method in interface dk.brics.xact.operations.XMLIndentation
Decide whether indentation should be increased when printing the children of the specified element.
getInEdges(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Returns the set of ingoing edges to the specified node.
getInitial(FlowGraph) - Method in interface dk.brics.xact.analysis.dataflow.AnalysisInterface
Returns the set of statements to start the analysis at.
getInitial(FlowGraph) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysis
 
getInitial(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
 
getInitial() - Method in class dk.brics.xact.operations.XMLNavigator.Result
Returns the copy of the real initial context.
getInsertLeftSide(InsertStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getInsertRightSide(InsertStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getInsertSequenceNode(InsertStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getInsertTextNode(InsertStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getKeys() - Method in class dk.brics.xact.analysis.util.UnionFindForest
 
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
 
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.CastStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.GetStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
Returns the kind.
getKind() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Returns the edge kind.
getLeftNode() - Method in class dk.brics.xact.ConcatNode
Returns the left node.
getLength() - Method in class dk.brics.xact.operations.LengthOutputStream
Returns the number of bytes written.
getLevel() - Static method in class dk.brics.xact.analysis.Debug
Returns the debug level.
getLineBreak() - Method in class dk.brics.xact.operations.XHTMLIndentation
 
getLineBreak() - Method in interface dk.brics.xact.operations.XMLIndentation
Returns the string used to represent linebreaks.
getLineNumber(Unit) - Method in class dk.brics.xact.analysis.soot.Jimple2FlowGraph
 
getLocal(String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getLocalName() - Method in class dk.brics.xact.AttrNode
Returns the local name.
getLocalName() - Method in class dk.brics.xact.Element
Returns the local name.
getMessage() - Method in class dk.brics.xact.analysis.ErrorReport
 
getMessage() - Method in enum dk.brics.xact.analysis.ErrorType
Returns a short human-readable description of this error type.
getMethod() - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
getMethod(SootMethod) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getMethodParameterType(SootMethod, int, String) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns the type of XML required by the specified method parameter, or null if any XML may be given as parameter.
getMethodParameterType(SootMethod, int, String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getMethodReturnType(SootMethod, String) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns the type of XML returned by the specified method, or null if any XML may be returned.
getMethodReturnType(SootMethod, String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
getModifiedPackageNameFromClassConstant(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getName() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getName() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the element/attribute name, or null if none is available.
getNamespace(Statement) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getNamespace() - Method in class dk.brics.xact.AttrNode
Returns the namespace URI.
getNamespace() - Method in class dk.brics.xact.Element
Returns the namespace URI.
getNamespace() - Method in class dk.brics.xact.NamespaceDecl
Returns the namespace URI.
getNamespaceMap() - Static method in class dk.brics.xact.XML
Returns the global namespace map (from prefix to URI).
getNamespaces() - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
Returns map from namespace prefixes to namespace URIs.
getNamespaces() - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
Returns the namespace map.
getNamespaces() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the namespace declaration map (from prefix to URI).
getNext() - Method in class dk.brics.xact.NamespaceDecl
Returns the next namespace declaration.
getNext() - Method in exception dk.brics.xact.XMLValidationException
Returns the next validation error, or null if none.
getNextAttr() - Method in class dk.brics.xact.AttrNode
Returns the next attribute-like node.
getNextAttribute() - Method in class dk.brics.xact.AttrNode
Returns the next attribute node.
getNextAttribute() - Method in class dk.brics.xact.wrappers.AttrNodeWrapper
Returns the next attribute wrapper node.
getNextAttrWrapper() - Method in class dk.brics.xact.wrappers.AttrNodeWrapper
Returns the next attribute-like wrapper node.
getNextNode() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Returns the next-node variable, or null if none is available.
getNextNode() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the next-node variable, or null if none is available.
getNextSibling() - Method in class dk.brics.xact.TempNode
 
getNextSibling() - Method in class dk.brics.xact.wrappers.TempNodeWrapper
Returns the next concrete sibling node wrapper.
getNextSibling() - Method in class dk.brics.xact.XML
Returns the next sibling node, or null if none.
getNextSiblingWrapper() - Method in class dk.brics.xact.wrappers.TempNodeWrapper
Returns the next sibling node wrapper.
getNextVarID() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the next fresh variable ID.
getNode() - Method in class dk.brics.xact.operations.XMLNavigator.NodeResult
Returns the selected node.
getNodes() - Method in class dk.brics.xact.analysis.flowgraph.Graph
Returns the set of all nodes in the graph.
getNodes() - Method in class dk.brics.xact.operations.XMLNavigator.NodeListResult
Returns the selected nodes.
getNodesWithinDepth(XMLGraph, int) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
getNothing() - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getNumber(String) - Method in class dk.brics.xact.XML
Returns the number specified by the given XPath expression.
getNumber() - Method in class dk.brics.xact.XML
Returns the number value of the first element or text node in this template.
getNumberOfEdges() - Method in class dk.brics.xact.analysis.flowgraph.Graph
Returns the total number of edges.
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.Statement
Returns the name of the operation.
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.CastStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConstStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.EmptyStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.GetStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.NopStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.RemoveStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.UnknownStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.ValidateStm
 
getOpName() - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm
 
getOrigin() - Method in class dk.brics.xact.analysis.ErrorReport
 
getOrigin() - Method in class dk.brics.xact.analysis.flowgraph.Entity
Returns the origin.
getOrigin() - Method in class dk.brics.xact.Node
Returns the origin of this node, or null if absent.
getOrigin() - Method in exception dk.brics.xact.XMLException
Returns a relevant source location, or null if not available.
getOut(Statement, Variable) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Returns the XML graph for the given variable at the exit of the given statement.
getOutEdges(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Returns the set of outgoing edges from the specified node.
getParameter(int) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getParameters() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getParameterType(int) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getParameterTypes() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getParent() - Method in class dk.brics.xact.wrappers.NodeWrapper
Returns the parent, null if at the root.
getPathForStatement(Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
getPlugSequenceNode(PlugStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getPlugTextNode(PlugStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getPlugWrapContentNode(PlugStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getPlugWrapTopNode(PlugStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getPrefix() - Method in class dk.brics.xact.NamespaceDecl
Returns the prefix.
getPrefix(String) - Method in class dk.brics.xact.operations.NamespacePrefixTracker
Returns the prefix for the given namespace.
getReal() - Method in class dk.brics.xact.wrappers.NodeWrapper
Returns the node being wrapped.
getRealFirstAttr() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first attribute-like node.
getRealFirstChild() - Method in class dk.brics.xact.Element
Returns the first child node, without normalizing.
getRealFirstChild() - Method in class dk.brics.xact.wrappers.ElementWrapper
Returns the first child node.
getRealNextAttr() - Method in class dk.brics.xact.wrappers.AttrNodeWrapper
Returns the next wrapped attribute-like node.
getRealNextSibling() - Method in class dk.brics.xact.TempNode
 
getRealNextSibling() - Method in class dk.brics.xact.wrappers.TempNodeWrapper
Returns the next wrapped XML node.
getRealNextSibling() - Method in class dk.brics.xact.XML
Returns the next sibling, without normalizing.
getRemoveSequenceNode(RemoveStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getRepresentativeKey(Key) - Method in class dk.brics.xact.analysis.util.UnionFindForest
Returns the key representing the given key's component.
getResourceString(String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Retrieves a resource string using the current class loader.
getResult() - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
getResult() - Method in class dk.brics.xact.operations.XMLResult
Returns the resulting XML template.
getReturnType() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getReturnVar() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
getRightNode() - Method in class dk.brics.xact.ConcatNode
Returns the right node.
getRoot() - Method in class dk.brics.xact.operations.ParseHandler
Returns the resulting XML template.
getSchema() - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
Returns the schema.
getSchema() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
Returns the schema.
getSchema() - Method in class dk.brics.xact.analysis.flowgraph.statements.ValidateStm
Returns the schema.
getSchemas() - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
Returns map from schema URLs to origins.
getSelfNode() - Method in class dk.brics.xact.CloseNode
Returns the self node.
getSelfNode() - Method in class dk.brics.xact.PlugNode
Returns the self node.
getSetTextNode(SetStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
getSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
getSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm
Returns the source variable.
GetStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.get(String) and variants.
GetStm(GetStm.Kind, Variable, Variable, String, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.GetStm
Constructs a new GetStm object.
GetStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
getStmFirstAttribute(NodeStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getStmFirstChild(NodeStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getStmGap(NodeStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getStmNextNode(NodeStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getStmNode(NodeStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getString() - Method in class dk.brics.xact.Text
Returns the text string of this text node.
getString(String) - Method in class dk.brics.xact.XML
Returns the text specified by the given XPath expression.
getString() - Method in class dk.brics.xact.XML
Returns the string value of the first element or text node in this template.
getStringHotspot1(Statement) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getStringHotspot2(Statement) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getStrings(String) - Method in class dk.brics.xact.XML
Returns the text or attribute values specified by the given XPath expression.
getStringSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
Returns the string source automaton.
getStringSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Returns the string source automaton.
getStringSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Returns the string source automaton.
getStringSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
Returns the string source automaton.
getStringsrc() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
getSubclassesOfIncluding(RefType) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
getSubtypesOfIncluding(SootClass) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns list of all classes extending or implementing the specified class or interface.
getSubtypesOfIncluding(RefType) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns list of all classes extending or implementing the specified class or interface.
getTarget() - Method in class dk.brics.xact.ProcessingInstruction
Returns the target.
getTemplate() - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
Returns the template constant string.
getTemplateConstantXMLFragment(TemplateConstant) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getTemplateGaps() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
Returns the collection of template gaps,
getThreadNamespaceMap() - Static method in class dk.brics.xact.XML
Returns the thread local namespace map (from prefix to URI).
getThrowable() - Method in class dk.brics.xact.analysis.ErrorReport
 
getTo() - Method in class dk.brics.xact.analysis.flowgraph.Edge
Returns the target node.
getType() - Method in class dk.brics.xact.analysis.ErrorReport
 
getType() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
Returns the type string.
getType() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the gap type, or null if none is available.
getType() - Method in class dk.brics.xact.AttributeGap
Returns the gap type, or null if absent.
getType() - Method in class dk.brics.xact.TemplateGap
Returns the gap type, or null if absent.
getTypeAnnotation(SootField) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the Type annotation for a field, or null if not present.
getTypeAnnotation(SootMethod) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the Type annotation for a method return, or null if not present.
getTypeAnnotationForParameter(SootMethod, int) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns the Type annotation for a method parameter, or null if not present.
getTypemap() - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
 
getTypeNode() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
 
getValidateGap(ValidateStm, String, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
getValue() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Returns the attribute value, or null if none is available.
getValue() - Method in class dk.brics.xact.Attribute
Returns the value.
getValue() - Method in class dk.brics.xact.Comment
Returns the comment value.
getValue() - Method in class dk.brics.xact.PlugSingleNode
Returns the XML or string value to be plugged in.
getValues(K) - Method in class dk.brics.xact.analysis.util.MultiMap
Returns a copy of the set of items associated with the specified key.
getValues() - Method in class dk.brics.xact.PlugListNode
Returns the values to be plugged in.
getVar() - Method in class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
getVarFromObjectExpByType(ValueBox, Type) - Method in class dk.brics.xact.analysis.soot.Translator
 
getVariableFromArrayExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.Translator
Returns a flow graph variable representing the possible XML values of the given Soot expression.
getVariableFromIterableExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.Translator
 
getVariableFromObjectExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.Translator
 
getVariables() - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Returns the variables for which explicit mappings exist.
getVariableSet() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
For reversed filters, returns the set of variables not in the filter, and for non-reversed filters, returns the set of variables in the filter.
getView(K) - Method in class dk.brics.xact.analysis.util.MultiMap
Returns a read-only view of the items associated with the specified key.
getXML() - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
 
getXMLGraph() - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
 
getXmlGraph() - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
 
getXMLReader() - Method in class dk.brics.xact.operations.XMLSource
Returns the XMLReader to be used for the JAXP SAXSource.
getXMLSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
Returns the XML source variable.
getXMLSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Returns the XML source variable.
getXMLSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Returns the XML source variable.
getXMLSource() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
Returns the XML source variable.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
Returns the XPath expression, or null if none is available.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
Returns the XPath expression, or null if none is available.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.GetStm
Returns the XPath expression.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Returns the XPath expression.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.RemoveStm
Returns the XPath expression.
getXPath() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
Returns the XPath expression.
Graph<Nodetype,Edgetype> - Class in dk.brics.xact.analysis.flowgraph
Generic directed multigraph.
Graph() - Constructor for class dk.brics.xact.analysis.flowgraph.Graph
Constructs an empty graph.
graph - Variable in class dk.brics.xact.analysis.xmlgraph.TextProcessor
 
greatestLowerBound(EBooleanLattice) - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns the greatest lower bound of two lattice points.

H

has(String) - Method in class dk.brics.xact.XML
Returns the boolean specified by the given XPath expression.
hasConstantString(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
hasExternalSubtypes(SootClass) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns true if the specified class or interface may have implementations in non-application code.
hasExternalSubtypes(SootClass) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
hasGapAnnotations() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
Returns whether this schema type has gap annotations, equivalent to !
hashCode() - Method in class dk.brics.xact.analysis.flowgraph.Edge
Returns a hash code for this edge.
hashCode() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Returns a hash code for this variable filter.
hasOrigin() - Method in class dk.brics.xact.analysis.ErrorReport
 

I

implementsToXMLable(SootClass) - Method in class dk.brics.xact.analysis.soot.Translator
 
implementsToXMLable(SootClass) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
inc() - Static method in class dk.brics.xact.analysis.Debug
Increment indentation level.
initial(Node) - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
Returns initial value for the specified node.
initial(Node) - Method in class dk.brics.xact.analysis.xmlgraph.Emptiness
 
initial(Node) - Method in class dk.brics.xact.analysis.xmlgraph.FirstRootAnalysis
 
initial(Node) - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Returns initial value for the specified node.
initial(Node) - Method in class dk.brics.xact.analysis.xmlgraph.RootAnalysis
 
initialNodes() - Method in class dk.brics.xact.analysis.xmlgraph.FirstRootAnalysis
 
initialNodes() - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Returns the initial nodes.
initialNodes() - Method in class dk.brics.xact.analysis.xmlgraph.RootAnalysis
 
insertAfter(String, Object) - Method in class dk.brics.xact.XML
Inserts the given value after each selected content node.
insertBefore(String, Object) - Method in class dk.brics.xact.XML
Inserts the given value before each selected content node.
InsertStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.insertAfter(String, Object), XML.appendContent(String, Object), XML.prependContent(String, Object), and variants.
InsertStm(InsertStm.Kind, Variable, Variable, String, Automaton, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Constructs a new InsertStm object.
InsertStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
InstanceAssignment - Class in dk.brics.xact.analysis.flowgraph.statements
Superclass of abstract statements that are assignments involving a non-static method.
InstanceAssignment(Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.InstanceAssignment
Constructs a new InstanceAssignment object.
intersection(VariableFilter) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Creates a new variable filter accepting only variables accepted by both variable filters.
isAnnotatableType(Type) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns true if the specified type can have @Type annotations.
isArgumentMutable(int) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
isArray() - Method in class dk.brics.xact.analysis.flowgraph.statements.EmptyStm
Returns true if this is a new (empty) array being created.
isAttribute() - Method in class dk.brics.xact.Node
Checks whether this is an attribute node.
isChars(String) - Static method in class dk.brics.xact.StringTypes
Checks whether the given string matches (Char)*.
isComment() - Method in class dk.brics.xact.Node
Checks whether this is an comment node.
isComment() - Method in class dk.brics.xact.OperationNode
 
isDatatype(SchemaType) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
Returns true if the specified type has the XMLSchema-datatypes namespace prefix.
isDatatype(String) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
Returns true if the specified type has the XMLSchema-datatypes namespace prefix.
isDefinite() - Method in enum dk.brics.xact.analysis.ErrorType
Returns true if an error of this type denotes something that will definitely be the case at runtime.
isElement() - Method in class dk.brics.xact.Node
Checks whether this is an element node.
isElement() - Method in class dk.brics.xact.OperationNode
 
isEmpty() - Method in class dk.brics.xact.NodeList
Checks whether the list is empty.
isExternallyCallable(SootMethod) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns true if the specified method can be called from the VM or from a non-application class.
isExternallyCallable(SootMethod) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
isForward() - Method in interface dk.brics.xact.analysis.dataflow.AnalysisInterface
Returns true if this is a forwards analysis, and false if it is a backwards analysis.
isForward() - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysis
 
isForward() - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
 
isGlobal() - Method in class dk.brics.xact.analysis.flowgraph.Variable
Returns true if this is a field (or global dummy) variable.
isName(String) - Static method in class dk.brics.xact.StringTypes
Checks whether the given string matches Name.
isNamespaceDecl() - Method in class dk.brics.xact.Node
Checks whether this is a namespace declaration node.
isNCName(String) - Static method in class dk.brics.xact.StringTypes
Checks whether the given string matches NCName.
isNormalCollection(String) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns true if the specified non-abstract class denotes a collection that can be expected to behave as a normal collection.
isNormalCollection(String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
isProcessingInstruction() - Method in class dk.brics.xact.Node
Checks whether this is an processing instruction node.
isProcessingInstruction() - Method in class dk.brics.xact.OperationNode
 
isReversed() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
 
isStatementChecked(Statement) - Static method in class dk.brics.xact.analysis.xmlgraph.XMLGraphChecker
 
isStringType(ValueBox) - Static method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns an automaton representing the possible string values of the given Soot string expression.
isSubtypeOf(SootClass, String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns true if the first argument is a subtype of the class or interface named by the second argument.
isSubtypeOf(Type, String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns true if the first argument is a class or interface that is a subtype of the class or interface named by the second argument.
isSubtypeOf(SootClass, SootClass) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Returns true if the first argument is a subtype of the second argument.
isTemplate() - Method in class dk.brics.xact.Node
Checks whether this is an XML template content node.
isTemplate() - Method in class dk.brics.xact.OperationNode
 
isText() - Method in class dk.brics.xact.Node
Checks whether this is a text node.
isText() - Method in class dk.brics.xact.OperationNode
 
isValidXPathString(String) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns false if the given string contains a quotation mark ('single' or "double").
isWhitespace(String) - Static method in class dk.brics.xact.StringTypes
Checks whether the given string matches S.
isWhitespaceSensitive(Element) - Method in class dk.brics.xact.operations.XHTMLIndentation
 
isWhitespaceSensitive(Element) - Method in interface dk.brics.xact.operations.XMLIndentation
Returns true if the specified element is sensitive to repeated whitespace.
iterator() - Method in class dk.brics.xact.NodeList
Returns a list iterator.

J

Jimple2FlowGraph - Class in dk.brics.xact.analysis.soot
Produces flow graphs from Soot Jimple code.
Jimple2FlowGraph(Configuration, ErrorHandler) - Constructor for class dk.brics.xact.analysis.soot.Jimple2FlowGraph
Constructs a new flow graph producer.

K

keySet() - Method in class dk.brics.xact.analysis.util.MultiMap
Returns the set of keys with at least one associated value, backed by the multimap.

L

last - Variable in class dk.brics.xact.analysis.soot.StatementPair
 
leastUpperBound(ArrayConstantInfo) - Method in class dk.brics.xact.analysis.soot.ArrayConstantInfo
 
leastUpperBound(EBooleanLattice) - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns the least upper bound of two lattice points.
leastUpperBound(EPresence) - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
 
LengthOutputStream - Class in dk.brics.xact.operations
Output stream that counts the number of bytes written.
LengthOutputStream() - Constructor for class dk.brics.xact.operations.LengthOutputStream
Constructs a new length output stream.
loadClasses() - Method in class dk.brics.xact.analysis.XMLAnalysis
Loads the class files.
loadXMLSchema(URL) - Static method in class dk.brics.xact.operations.XMLValidator
Loads an XML schema.
loadXMLSchema(URL, XMLGraph) - Static method in class dk.brics.xact.operations.XMLValidator
Loads an XML schema into an existing XML graph.
loadXMLSchema(URL) - Static method in class dk.brics.xact.XML
Loads an XML schema.
loadXMLSchema(String) - Static method in class dk.brics.xact.XML
Loads an XML schema.

M

Main - Class in dk.brics.xact.analysis
Command-line interface to the program analysis for XACT.
main(String[]) - Static method in class dk.brics.xact.analysis.Main
Analyzes the given classes and reports warnings to standard output.
Main - Class in dk.brics.xact.compiler
Compiler from XACT to Java.
main(String[]) - Static method in class dk.brics.xact.compiler.Main
Compiles XACT syntax into Java.
main2(String[]) - Static method in class dk.brics.xact.compiler.Main
Compiles XACT syntax into Java.
make(AttrNode, ElementWrapper) - Static method in class dk.brics.xact.wrappers.AttrNodeWrapper
Makes a wrapper for the given attribute-like node.
make(XML, ElementWrapper) - Static method in class dk.brics.xact.wrappers.TempNodeWrapper
Makes a wrapper for the given XML node.
maybe() - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns true if this is YES or MAYBE
maybeEmpty() - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
 
maybeMultiThreaded() - Method in class dk.brics.xact.analysis.concurrent.ExecutorTaskRunner
 
maybeMultiThreaded() - Method in class dk.brics.xact.analysis.concurrent.SingleThreadedTaskRunner
 
maybeMultiThreaded() - Method in interface dk.brics.xact.analysis.concurrent.XactTaskRunner
Returns true if the scheduler might be multithreaded, or false if it is definitely not multithreaded.
maybeNonEmpty() - Method in enum dk.brics.xact.analysis.xmlgraph.EPresence
 
maybeNonNull(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
maybeNot() - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns true if this is NO or MAYBE
maybeNull(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
merge(ElementType, VariableFilter, ElementType) - Method in interface dk.brics.xact.analysis.dataflow.AnalysisInterface
Computes the least upper bound of two lattice elements.
merge(VariableAnalysisElement<VariableElementType>, VariableFilter, VariableAnalysisElement<VariableElementType>) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysis
 
merge(VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Computes the least upper bound of two value lattice elements.
merge(Map<Local, ArrayConstantInfo>, Map<Local, ArrayConstantInfo>, Map<Local, ArrayConstantInfo>) - Method in class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
merge(Map<Local, StringConstant>, Map<Local, StringConstant>, Map<Local, StringConstant>) - Method in class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
merge(Map<Variable, Set<Assignment>>, VariableFilter, Map<Variable, Set<Assignment>>) - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
 
merge(Key, Key) - Method in class dk.brics.xact.analysis.util.UnionFindForest
 
merge(XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
mergeNodeData(NodeData, NodeData) - Method in class dk.brics.xact.analysis.util.UnionFindForest
Merges the data associated with two components when they are merged into one.
Method - Class in dk.brics.xact.analysis.flowgraph
A method in an application class with its relevant variables and type annotations.
Method(String, Statement, Statement, Variable[], Variable, SchemaType, SchemaType[]) - Constructor for class dk.brics.xact.analysis.flowgraph.Method
 
modifyNamespaces(Map<String, String>) - Method in interface dk.brics.xact.analysis.config.Configuration
Lets the configuration modify the namespace prefix map.
modifyNamespaces(Map<String, String>) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
moveToIsolation() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Removes the cursor from the control-flow graph, so statements will be placed in an isolated subgraph of their own.
moveToStatement(Statement) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Moves the cursor to the specified statement, so new statements will be successors of the specified statement.
MultiMap<K,V> - Class in dk.brics.xact.analysis.util
Maps keys to sets of values.
MultiMap() - Constructor for class dk.brics.xact.analysis.util.MultiMap
 

N

NAMESPACE - Static variable in class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
 
NamespaceDecl - Class in dk.brics.xact
Namespace declaration node.
NamespaceDecl(String, String, NamespaceDecl, Origin) - Constructor for class dk.brics.xact.NamespaceDecl
Constructs a new namespace declaration node.
NamespaceDecl(String, String) - Constructor for class dk.brics.xact.NamespaceDecl
Constructs a new namespace declaration node.
NamespaceDecl(String, String, Origin) - Constructor for class dk.brics.xact.NamespaceDecl
Constructs a new namespace declaration node.
NamespacePrefixTracker - Class in dk.brics.xact.operations
Manages namespace prefixes during construction of ordinary XML output from XML templates.
NamespacePrefixTracker() - Constructor for class dk.brics.xact.operations.NamespacePrefixTracker
Constructs a new namespace prefix tracker.
NEVER - Static variable in interface dk.brics.xact.operations.XMLIndentation
Default implementation that ensures no indentation will be performed.
newBottomElement() - Method in interface dk.brics.xact.analysis.dataflow.AnalysisInterface
Constructs a new lattice bottom element.
newBottomElement() - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysis
 
newBottomElement() - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Creates a placeholder for a lattice element for a flow value, having the initial value.
newBottomElement() - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
 
newBottomElement() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
newInitialFlow() - Method in class dk.brics.xact.analysis.soot.ArrayConstantAnalysis
 
newInitialFlow() - Method in class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
Node - Class in dk.brics.xact
Base class for all nodes.
Node(Origin) - Constructor for class dk.brics.xact.Node
Constructs a new node.
NodeList<T extends Node> - Class in dk.brics.xact
List of nodes.
NodeList(Iterable<T>) - Constructor for class dk.brics.xact.NodeList
Constructs a new NodeList.
NodeStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of a new Element.Element(String, String, AttrNode, XML, NamespaceDecl, XML, Origin) and variants.
NodeStm(NodeStm.Kind, Variable, Automaton, Automaton, Variable, Variable, String, String, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Constructs a new NodeStm object.
NodeStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
NodeVisitor - Class in dk.brics.xact
Visitor for nodes.
NodeVisitor() - Constructor for class dk.brics.xact.NodeVisitor
Constructs a new visitor.
NodeVisitorParameterized<Return,Argument> - Class in dk.brics.xact
Visitor for nodes that takes an additional parameter and returns a value.
NodeVisitorParameterized() - Constructor for class dk.brics.xact.NodeVisitorParameterized
Constructs a new visitor.
NodeWrapper<T extends Node> - Class in dk.brics.xact.wrappers
Base class for Node wrappers.
NodeWrapper(T, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.NodeWrapper
Constructs a new wrapper.
NopStm - Class in dk.brics.xact.analysis.flowgraph.statements
No operation.
NopStm(Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.NopStm
Constructs a new NopStm object.
NopStm(Origin, String) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.NopStm
Constructs a new NopStm object.
normalize(XML) - Static method in class dk.brics.xact.Normalizer
 
normalize(XML) - Static method in class dk.brics.xact.XML
Normalizes the given node if it is an operation node.
Normalizer - Class in dk.brics.xact
Removes operation nodes.
NULL - Static variable in interface dk.brics.xact.analysis.Diagnostics
Implementation of this interface where every method does nothing.
numberOfKeys() - Method in class dk.brics.xact.analysis.util.MultiMap
 
numberValueOf(XML, String) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the number value of the first selected node.

O

OperationNode - Class in dk.brics.xact
Base class for operation nodes.
OperationNode(Origin) - Constructor for class dk.brics.xact.OperationNode
Constructs a new operation node.
or(EBooleanLattice) - Method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns the possible results of a logical AND between two booleans.

P

parse(InputStream, String, boolean, Map<String, String>, Origin) - Static method in class dk.brics.xact.operations.XMLParser
Parses the given XML template or document from its textual representation.
parseDocument(String) - Static method in class dk.brics.xact.XML
Constructs an XML document from its string representation.
parseDocument(URL) - Static method in class dk.brics.xact.XML
Constructs an XML document from its string representation from a URL.
parseDocument(InputStream) - Static method in class dk.brics.xact.XML
Constructs an XML document from its string representation from an input stream.
parseDocument(InputStream, String, Origin) - Static method in class dk.brics.xact.XML
Constructs an XML document from its string representation from an input stream using the given encoding.
ParseHandler - Class in dk.brics.xact.operations
A SAX parser that given a stream SAX events generates an XACT document
ParseHandler(Origin) - Constructor for class dk.brics.xact.operations.ParseHandler
Constructs a new parse handler.
parseSchemaType(String, Origin) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
parseTemplate(String) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation.
parseTemplate(String, Origin) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation.
parseTemplate(InputStream, Origin) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation from an input stream.
parseTemplate(InputStream) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation from an input stream.
parseTemplateResource(String) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation located in a resource.
parseTemplateResource(Class<?>, String) - Static method in class dk.brics.xact.XML
Constructs an XML template from its string representation located in a resource.
plug(String, Object) - Method in class dk.brics.xact.XML
Constructs a new XML template by plugging the given value into each template gap of the given name in this template.
plugList(String, Iterable<?>) - Method in class dk.brics.xact.XML
Constructs a new XML template by plugging the given list of values into the list of template gaps of the given name in this template.
PlugListNode - Class in dk.brics.xact
Plug multi-value operation node.
PlugListNode(XML, String, Iterable<?>, Origin) - Constructor for class dk.brics.xact.PlugListNode
Constructs a new plug multi-value node.
PlugListNode(XML, String, Iterable<?>) - Constructor for class dk.brics.xact.PlugListNode
Constructs a new plug multi-value node.
PlugNode - Class in dk.brics.xact
Base class for plug operation nodes.
PlugNode(XML, String, Origin) - Constructor for class dk.brics.xact.PlugNode
Constructs a new plug node.
PlugSingleNode - Class in dk.brics.xact
Plug single-value operation node.
PlugSingleNode(XML, String, Object, Origin) - Constructor for class dk.brics.xact.PlugSingleNode
Constructs a new plug single-value operation node.
PlugSingleNode(XML, String, Object) - Constructor for class dk.brics.xact.PlugSingleNode
Constructs a new plug single-value operation node.
PlugStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.plug(String, Object) and variants.
PlugStm(PlugStm.Kind, Variable, Variable, String, Automaton, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Constructs a new PlugStm object.
PlugStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
plugWrap(String, Iterable<?>) - Method in class dk.brics.xact.XML
Constructs a template by wrapping each value from the given list into the gaps of the given name in this template and concatenating the results.
popNamespaceDeclarations(Map<String, String>) - Method in class dk.brics.xact.operations.NamespacePrefixTracker
Pops the given namespace declarations.
post(Node, T) - Method in class dk.brics.xact.analysis.xmlgraph.CachedNodeProcessor
 
pre(Node) - Method in class dk.brics.xact.analysis.xmlgraph.CachedNodeProcessor
 
prepend(Object) - Method in class dk.brics.xact.XML
Inserts the given value in front of this template.
prependContent(String, Object) - Method in class dk.brics.xact.XML
Inserts the given value before the content of each selected element node.
prependContent(Object) - Method in class dk.brics.xact.XML
Inserts the given value before the content of this element.
print(int, boolean, String) - Static method in class dk.brics.xact.analysis.Debug
Prints to System.err if debug is enabled.
print(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.FlowGraph2Dot
Prints the given flow graph in Graphviz dot format.
print(FlowGraph, boolean) - Method in class dk.brics.xact.analysis.transformations.FlowGraph2Dot
 
print(List<FlowGraph>, boolean) - Method in class dk.brics.xact.analysis.transformations.FlowGraph2Dot
 
print(XML, OutputStream, String, boolean, boolean) - Static method in class dk.brics.xact.operations.XMLPrinter
Prints the given XML template.
print(XML, OutputStream, String, boolean, boolean, XMLIndentation) - Static method in class dk.brics.xact.operations.XMLPrinter
Prints the given XML template.
printBody(FlowGraph, boolean, String) - Method in class dk.brics.xact.analysis.transformations.FlowGraph2Dot
 
println(int, boolean, String) - Static method in class dk.brics.xact.analysis.Debug
Prints to System.err if debug is enabled.
printMessages(PrintStream) - Method in class dk.brics.xact.analysis.ErrorHandler
 
printMessages(PrintWriter) - Method in class dk.brics.xact.analysis.ErrorHandler
 
printMessages() - Method in class dk.brics.xact.analysis.XMLAnalysis
 
printMessages(PrintStream) - Method in class dk.brics.xact.analysis.XMLAnalysis
 
printMessages(PrintWriter) - Method in class dk.brics.xact.analysis.XMLAnalysis
 
printUsage() - Static method in class dk.brics.xact.analysis.Main
 
processingInstruction(String, String) - Method in class dk.brics.xact.operations.ParseHandler
 
ProcessingInstruction - Class in dk.brics.xact
Processing instruction node.
ProcessingInstruction(String, String, XML, Origin) - Constructor for class dk.brics.xact.ProcessingInstruction
Constructs a new processing instruction node.
ProcessingInstruction(String, String) - Constructor for class dk.brics.xact.ProcessingInstruction
Constructs a new processing instruction node.
ProcessingInstruction(String, String, Origin) - Constructor for class dk.brics.xact.ProcessingInstruction
Constructs a new processing instruction node.
ProcessingInstructionWrapper - Class in dk.brics.xact.wrappers
Wrapper for ProcessingInstruction.
ProcessingInstructionWrapper(ProcessingInstruction, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.ProcessingInstructionWrapper
Constructs a new wrapper.
processor - Variable in class dk.brics.xact.analysis.xmlgraph.Emptiness
 
pushNamespaceDeclarations(Element) - Method in class dk.brics.xact.operations.NamespacePrefixTracker
Adds the list of namespaces declared by the element to the namespace tracker.
put(Variable, VariableElementType) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Adds or updates a mapping.
put(int, T) - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Changes the lattice point for the specified node.
put(Object, XML) - Static method in class dk.brics.xact.operations.TemplateCache
Stores a parsed template in the cache.
putAll(MultiMap<K2, V2>) - Method in class dk.brics.xact.analysis.util.MultiMap
Adds all key-value pairs from the other map to this map.
putHotspot(ValueBox, AnalyzeStm) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Marks that the specified soot expression hotspot is being modelled by the specified analyze statement.
PutStringSources - Class in dk.brics.xact.analysis.soot
Runs the string analysis and replaces the string sources of certain statements.
PutStringSources(FlowGraph, TranslatorContext, Configuration) - Constructor for class dk.brics.xact.analysis.soot.PutStringSources
 
putVar(Value) - Method in class dk.brics.xact.analysis.soot.Translator
Generates a VarStm.

R

ReachingDefinitionsAnalysis - Class in dk.brics.xact.analysis.transformations
Lattice and transfer functions for reaching definitions analysis.
ReachingDefinitionsAnalysis() - Constructor for class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
Constructs a new analysis object.
releaseSoot() - Method in class dk.brics.xact.analysis.XMLAnalysis
Resets Soot.
remove(K, V) - Method in class dk.brics.xact.analysis.util.MultiMap
Removes a key-value pair from the multimap.
remove(String) - Method in class dk.brics.xact.XML
Removes the nodes selected by the given XPath expression.
removeAll(K) - Method in class dk.brics.xact.analysis.util.MultiMap
Removes all key-value pairs with the specified key.
removeEdge(Edge<Nodetype, Edgetype>) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes an existing edge between two nodes in the graph.
removeEntry(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes an entry node of the graph.
removeInEdges(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes all ingoing edges from the given node.
removeNode(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes the given node from the graph.
removeOutEdges(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph
Removes all outgoing edges from the given node.
RemoveStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.remove(String).
RemoveStm(Variable, Variable, String, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.RemoveStm
Constructs a new RemoveStm object.
removeVariable(Variable) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Removes a variable from the label set.
reset() - Method in class dk.brics.xact.operations.LengthOutputStream
Resets the byte counter.
resetIndent() - Static method in class dk.brics.xact.analysis.Debug
Resets indentation level.
resolveToString(SootClass) - Method in interface dk.brics.xact.analysis.config.Configuration
Returns the strings that may be returned by the specified type's toString method, or null if nothing special is known about the toString method.
resolveToString(SootClass) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
resolveToXML(SootMethod) - Method in interface dk.brics.xact.analysis.config.Configuration
Models the behaviour of toXML methods declared in non-application classes.
resolveToXML(SootMethod) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
RootAnalysis - Class in dk.brics.xact.analysis.xmlgraph
Determines for each reachable node whether it always occurs as root when unfolded (yes), or never occurs as root (no).
RootAnalysis(XMLGraph) - Constructor for class dk.brics.xact.analysis.xmlgraph.RootAnalysis
 
run() - Method in class dk.brics.xact.analysis.dataflow.DataflowAnalyzer
Computes the least fixed point iteratively.
run() - Method in class dk.brics.xact.analysis.soot.Jimple2FlowGraph
 
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.ArrayTransformer
Transforms the given flow graph.
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.CallTransformer
 
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.DefUseTransformer
Transforms the given flow graph.
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.FieldTransformer
Transforms the given flow graph.
run(FlowGraph, Configuration) - Method in class dk.brics.xact.analysis.transformations.SchemaTypeLinking
 
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.UnreachableTransformer
Transforms the given flow graph.
run(FlowGraph, XMLGraphBuilder) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphChecker
Runs the checker.
runTasks() - Method in class dk.brics.xact.analysis.concurrent.ExecutorTaskRunner
 
runTasks() - Method in class dk.brics.xact.analysis.concurrent.SingleThreadedTaskRunner
 
runTasks() - Method in interface dk.brics.xact.analysis.concurrent.XactTaskRunner
Runs all scheduled tasks and returns when all have completed.

S

SchemaType - Class in dk.brics.xact.analysis.flowgraph
Schema type.
SchemaType(String, Collection<String>, Collection<String>, Map<String, String>, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.SchemaType
Constructs a new schema type.
SchemaType(String, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.SchemaType
Constructs a new schema type with no gap info.
SchemaTypeLinking - Class in dk.brics.xact.analysis.transformations
Loads all XML schemas used by the program and then builds an XML graph containing: All types defined in loaded XML schemas.
SchemaTypeLinking() - Constructor for class dk.brics.xact.analysis.transformations.SchemaTypeLinking
 
SchemaTypeLinking.Quantifier - Enum in dk.brics.xact.analysis.transformations
 
selectElementByID(XML, String, boolean) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the element node by the given ID.
selectElements(XML, String, boolean) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the selected sequence of element nodes (ignoring other nodes).
selectNodes(XML, String, boolean) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the selected nodes.
selectSingleNode(XML, String, boolean) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the first selected node.
selectStrings(XML, String) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the string values of the selected nodes.
set(String, AttrNode) - Method in class dk.brics.xact.XML
Sets an attribute at each selected element node.
set(AttrNode) - Method in class dk.brics.xact.XML
Sets an attribute at this element.
set(NamespaceDecl) - Method in class dk.brics.xact.XML
Sets a namespace declaration at this element.
set(String, Object) - Method in class dk.brics.xact.XML
Replaces each selected content node by the given value.
setArgument(int, Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
setArgumentMutable(int, boolean) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
setArrayConstants(ArrayConstantAnalysis) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setBase(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
Sets the base variable.
setBase(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.InstanceAssignment
Sets the base variable.
setBasedir(String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
setConcatChoiceNode(ConcatStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setConcatOneOrMoreNode(ConcatStm, OneOrMoreNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setConcatSequenceNode(ConcatStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setConcatTextNode(ConcatStm, TextNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setConfiguration(Configuration) - Method in class dk.brics.xact.analysis.XMLAnalysis
Sets the Configuration object to be used in the analysis.
setContent(String, Object) - Method in class dk.brics.xact.XML
Sets the content of each selected element node to the given value.
setContent(Object) - Method in class dk.brics.xact.XML
Sets the content of this element to the given value.
setCopyAttributeNode(CopyStm, AttributeNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyElementNode(CopyStm, ElementNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyFirstAttribute(CopyStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyFirstChild(CopyStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyLeftChoice(CopyStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyNextNode(CopyStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyTextNode(CopyStm, TextNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCopyTopNode(CopyStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setCurrentClass(SootClass) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Sets the current class.
setCurrentLine(int) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Sets the current line number.
setCurrentSootMethod(SootMethod) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
Sets the current method.
setCurrentUnit(Unit) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setData(Key, NodeData) - Method in class dk.brics.xact.analysis.util.UnionFindForest
Sets the data associated with the specified key's component.
setDest(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.Assignment
Sets the destination variable.
setDiagnostics(Diagnostics) - Method in class dk.brics.xact.analysis.XMLAnalysis
Sets the Diagnostics object to receive event notifications.
setDocument(XML) - Method in class dk.brics.xact.operations.XMLSource
Sets the XML template.
setDocumentLocator(Locator) - Method in class dk.brics.xact.operations.ParseHandler
 
setEmptySequenceNode(SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setEntry(Statement) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setExecutorService(ExecutorService) - Method in class dk.brics.xact.analysis.XMLAnalysis
Sets an ExecutorService used to perform parallelizable tasks.
setExit(Statement) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setFieldSchemaType(SootField, SchemaType) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setFirstAttr(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Sets the first-attr variable.
setFirstAttr(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Sets the first-attr variable.
setFirstChild(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Sets the first-child variable.
setFirstChild(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Sets the first-child variable.
setFragment(XMLGraphFragment) - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
 
setG1(XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphPair
 
setG2(XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphPair
 
setGapifyChoiceNode(GapifyStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setGetChoiceNode(GetStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setGetEmptySequence(GetStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setGetOneOrMoreNode(GetStm, OneOrMoreNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setGlobal() - Method in class dk.brics.xact.analysis.flowgraph.Variable
Marks this variable as being global.
setInputSource(InputSource) - Method in class dk.brics.xact.operations.XMLSource
 
setInsertLeftSide(InsertStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setInsertRightSide(InsertStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setInsertSequenceNode(InsertStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setInsertTextNode(InsertStm, TextNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setKind(AnalyzeStm.Kind) - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
 
setLevel(int) - Static method in class dk.brics.xact.analysis.Debug
Sets the debug level.
setMessage(String) - Method in class dk.brics.xact.analysis.ErrorReport
 
setMethod(Method) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
setMethod(SootMethod, Method) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setName(String) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setName(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
 
setNext(XMLValidationException) - Method in exception dk.brics.xact.XMLValidationException
Sets the next validation error.
setNextNode(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
Sets the next-node variable.
setNextNode(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
Sets the next-node variable.
setNullness(NullnessAnalysis) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setOrigin(Origin) - Method in class dk.brics.xact.analysis.ErrorReport
 
setOrigin(Origin) - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Sets the origin assigned to nop nodes that are generated by the control-flow builder.
setParameter(int, Variable) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setParameters(Variable[]) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setParameterType(int, SchemaType) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setParameterTypes(SchemaType[]) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setPlugSequenceNode(PlugStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setPlugTextNode(PlugStm, TextNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setPlugWrapContentNode(PlugStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setPlugWrapTopNode(PlugStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setReal(T) - Method in class dk.brics.xact.wrappers.NodeWrapper
Sets the node being wrapped.
setRemoveSequenceNode(RemoveStm, SequenceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setResolver(EntityResolver) - Static method in class dk.brics.xact.operations.XMLParser
Sets the entity resolver.
setResult(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
setReturnType(SchemaType) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setReturnVar(Variable) - Method in class dk.brics.xact.analysis.flowgraph.Method
 
setSetTextNode(SetStm, TextNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
setSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
setSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm
Sets the source variable.
SetStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.set(String, Object) and variants.
SetStm(SetStm.Kind, Variable, Variable, String, Automaton, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.SetStm
Constructs a new SetStm object.
SetStm.Kind - Enum in dk.brics.xact.analysis.flowgraph.statements
Node kinds.
setStmFirstAttribute(NodeStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setStmFirstChild(NodeStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setStmGap(NodeStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setStmNextNode(NodeStm, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setStmNode(NodeStm, Node) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setStringConstants(StringConstantAnalysis) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setStringHotspot(Statement, ValueBox) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setStringHotspot(Statement, ValueBox, ValueBox) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setStringHotspot(Statement, ValueBox, ValueBox, String) - Method in class dk.brics.xact.analysis.soot.TranslatorContext
 
setStringSource(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
Changes the string source automaton.
setStringSource(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
 
setStringSource(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
 
setStringSource(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
 
setStringsrc(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
setTaskRunner(XactTaskRunner) - Method in class dk.brics.xact.analysis.XMLAnalysis
Sets the XactTaskRunner used to perform parallelizable tasks.
setTemplateConstantXMLFragment(TemplateConstant, XMLGraphFragment) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setThrowable(Throwable) - Method in class dk.brics.xact.analysis.ErrorReport
 
setType(ErrorType) - Method in class dk.brics.xact.analysis.ErrorReport
 
setTypemap(Map<String, Node>) - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
 
setTypeNode(Node) - Method in class dk.brics.xact.analysis.flowgraph.SchemaType
 
SetupException - Exception in dk.brics.xact.compiler
Exception caused by invalid parameters to the XACT compiler or analysis.
SetupException(String) - Constructor for exception dk.brics.xact.compiler.SetupException
Constructs a new SetupException.
setValidateGap(ValidateStm, String, ChoiceNode) - Method in class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
setValue(Automaton) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
 
setVar(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
setXML(XML) - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
 
setXMLGraph(XMLGraph) - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph
 
setXMLReader(XMLReader) - Method in class dk.brics.xact.operations.XMLSource
Sets the XMLReader used for the JAXP SAXSource.
setXMLSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
Sets the XML source variable.
setXMLSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
Sets the XML source variable.
setXMLSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
Sets the XML source variable.
setXMLSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
Sets the XML source variable.
SingleThreadedTaskRunner - Class in dk.brics.xact.analysis.concurrent
Runs all tasks in the calling thread.
SingleThreadedTaskRunner() - Constructor for class dk.brics.xact.analysis.concurrent.SingleThreadedTaskRunner
 
size() - Method in class dk.brics.xact.analysis.util.MultiMap
 
size() - Method in class dk.brics.xact.NodeList
Returns the size of the list.
split(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.Splitter
 
Splitter - Class in dk.brics.xact.analysis.transformations
Finds disjoint components in the flow graph and creates a new flow graph for each component.
Splitter() - Constructor for class dk.brics.xact.analysis.transformations.Splitter
 
StandardConfiguration - Class in dk.brics.xact.analysis.config
 
StandardConfiguration() - Constructor for class dk.brics.xact.analysis.config.StandardConfiguration
 
startBranch() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Starts a new branching and opens one branch in it.
startDocument() - Method in class dk.brics.xact.operations.ParseHandler
 
startElement(String, String, String, Attributes) - Method in class dk.brics.xact.operations.ParseHandler
 
startPhase(String) - Static method in class dk.brics.xact.analysis.XMLAnalysis
Marks the start of a phase.
startPrefixMapping(String, String) - Method in class dk.brics.xact.operations.ParseHandler
 
Statement - Class in dk.brics.xact.analysis.flowgraph
Superclass of abstract statements.
Statement(Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.Statement
Constructs a new Statement object.
StatementNodes - Class in dk.brics.xact.analysis.xmlgraph
Contains all the relationships between statements and their corresponding nodes in the XML graph.
StatementNodes() - Constructor for class dk.brics.xact.analysis.xmlgraph.StatementNodes
 
StatementPair - Class in dk.brics.xact.analysis.soot
 
StatementPair(Statement, Statement) - Constructor for class dk.brics.xact.analysis.soot.StatementPair
 
StatementVisitor - Interface in dk.brics.xact.analysis.flowgraph.statements
An interface for visitors of abstract statements.
StringConstantAnalysis - Class in dk.brics.xact.analysis.soot
Determines for each program point the locals with a constant string value and their corresponding string constants.
StringConstantAnalysis(DirectedGraph<Unit>) - Constructor for class dk.brics.xact.analysis.soot.StringConstantAnalysis
 
StringTypes - Class in dk.brics.xact
Patterns for various XML strings.
stringValueOf(XML, String) - Static method in class dk.brics.xact.operations.XMLNavigator
Returns the string value of the first selected node.

T

TemplateCache - Class in dk.brics.xact.operations
Cache for parsed templates.
TemplateConstant - Class in dk.brics.xact.analysis.flowgraph
XML template constant.
TemplateConstant(String, Map<String, String>, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.TemplateConstant
Constructs a new template constant.
TemplateGap - Class in dk.brics.xact
Template gap node.
TemplateGap(String, String, XML, Origin) - Constructor for class dk.brics.xact.TemplateGap
Constructs a new template gap node.
TemplateGap(String, String) - Constructor for class dk.brics.xact.TemplateGap
Constructs a new template gap node.
TemplateGap(String) - Constructor for class dk.brics.xact.TemplateGap
Constructs a new template gap node with no type.
TemplateGap(String, String, Origin) - Constructor for class dk.brics.xact.TemplateGap
Constructs a new template gap node.
TemplateGap(String, Origin) - Constructor for class dk.brics.xact.TemplateGap
Constructs a new template gap node with no type.
TemplateGapWrapper - Class in dk.brics.xact.wrappers
Wrapper for TemplateGap.
TemplateGapWrapper(TemplateGap, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.TemplateGapWrapper
Constructs a new wrapper.
TempNode - Class in dk.brics.xact
Base class for template nodes.
TempNode(XML, Origin) - Constructor for class dk.brics.xact.TempNode
 
TempNodeWrapper<T extends TempNode> - Class in dk.brics.xact.wrappers
Base class for TempNode wrappers.
TempNodeWrapper(T, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.TempNodeWrapper
Constructs a new wrapper.
Text - Class in dk.brics.xact
Text node.
Text(String, XML, Origin) - Constructor for class dk.brics.xact.Text
Constructs a new text node.
Text(String) - Constructor for class dk.brics.xact.Text
Constructs a new text node.
Text(String, Origin) - Constructor for class dk.brics.xact.Text
Constructs a new text node.
TextProcessor - Class in dk.brics.xact.analysis.xmlgraph
Determines for a given node the possible strings that can occur as text there.
TextProcessor() - Constructor for class dk.brics.xact.analysis.xmlgraph.TextProcessor
 
TextWrapper - Class in dk.brics.xact.wrappers
Wrapper for Text.
TextWrapper(Text, ElementWrapper) - Constructor for class dk.brics.xact.wrappers.TextWrapper
Constructs a new wrapper.
toDocument() - Method in class dk.brics.xact.XML
Converts this XML template to its string representation with all gaps removed.
toDocument(String) - Method in class dk.brics.xact.XML
Converts this XML template to its string representation with all gaps removed, using the given encoding.
toDocument(XMLIndentation) - Method in class dk.brics.xact.XML
Converts this XML template to its string representation with all gaps removed, using the given encoding.
toDocument(OutputStream, String) - Method in class dk.brics.xact.XML
Converts this XML template to its string representation with all gaps removed and prints the result to an output stream.
toString() - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Returns a string description of this lattice element.
toString() - Method in class dk.brics.xact.analysis.ErrorReport
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.Entity
Returns a textual representation of the node.
toString() - Method in class dk.brics.xact.analysis.flowgraph.Method
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.Statement
Returns a textual description of the statement.
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.Assignment
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.CastStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConstStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.EmptyStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.GetStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.NopStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.RemoveStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.UnknownStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.ValidateStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.TemplateConstant
 
toString() - Method in class dk.brics.xact.analysis.flowgraph.Variable
Returns a name for the variable useful for printing.
toString() - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter
Returns a string description of this variable filter.
toString() - Method in class dk.brics.xact.analysis.util.MultiMap
 
toString() - Method in class dk.brics.xact.Attribute
 
toString() - Method in class dk.brics.xact.AttributeGap
 
toString() - Method in class dk.brics.xact.CloseNode
 
toString() - Method in class dk.brics.xact.Comment
 
toString() - Method in class dk.brics.xact.ConcatNode
 
toString() - Method in class dk.brics.xact.Element
 
toString() - Method in class dk.brics.xact.NamespaceDecl
 
toString() - Method in class dk.brics.xact.Node
Returns a description of this node.
toString() - Method in class dk.brics.xact.NodeList
Returns a description of the nodes in this list.
toString() - Method in class dk.brics.xact.PlugListNode
 
toString() - Method in class dk.brics.xact.PlugSingleNode
 
toString() - Method in class dk.brics.xact.ProcessingInstruction
 
toString() - Method in class dk.brics.xact.TemplateGap
 
toString() - Method in class dk.brics.xact.Text
 
toTemplate() - Method in class dk.brics.xact.XML
Converts this template to its string representation.
toTemplate(XMLIndentation) - Method in class dk.brics.xact.XML
Converts this template to its string representation, using the specified indentation strategy.
toTemplate(String) - Method in class dk.brics.xact.XML
Converts this template to its string representation, using the given encoding.
toXML() - Method in class dk.brics.xact.NodeList
Concatenates the list of nodes into an XML template.
toXML() - Method in interface dk.brics.xact.ToXMLable
Returns the XML template representation of this object.
toXML() - Method in class dk.brics.xact.XML
Returns this object.
toXML(Object) - Static method in class dk.brics.xact.XML
Converts the given value to an XML template using ToXMLable.toXML() or Node.toString().
ToXMLable - Interface in dk.brics.xact
Interface for classes that have an XML template representation.
transfer(ElementType, Statement, ElementType) - Method in interface dk.brics.xact.analysis.dataflow.AnalysisInterface
Computes the lattice element resulting from flowing through the given statement.
transfer(VariableAnalysisElement<VariableElementType>, Statement, VariableAnalysisElement<VariableElementType>) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysis
 
transfer(Map<Variable, Set<Assignment>>, Statement, Map<Variable, Set<Assignment>>) - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
 
transfer(Node, T) - Method in class dk.brics.xact.analysis.xmlgraph.BackwardsXGAnalyzer
Transfer function for the specified node.
transfer(Node, EPresence) - Method in class dk.brics.xact.analysis.xmlgraph.Emptiness
 
transfer(EBooleanLattice, Node) - Method in class dk.brics.xact.analysis.xmlgraph.FirstRootAnalysis
 
transfer(T, Node) - Method in class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer
Transfer data from the specified node to its children.
transfer(EBooleanLattice, Node) - Method in class dk.brics.xact.analysis.xmlgraph.RootAnalysis
 
transferCast(CastStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a CastStm.
transferCast(CastStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferCheck(CheckStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a CheckStm.
transferCheck(CheckStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferConcat(ConcatStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a ConcatStm.
transferConcat(ConcatStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferConst(ConstStm) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a ConstStm.
transferConst(ConstStm) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferCopy(CopyStm, VariableElementType, VariableElementType, VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a CopyStm.
transferCopy(CopyStm, XMLGraph, XMLGraph, XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferEmpty(EmptyStm) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for an EmptyStm.
transferEmpty(EmptyStm) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferGapify(GapifyStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a GapifyStm.
transferGapify(GapifyStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferGet(GetStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a GetStm.
transferGet(GetStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferInsert(InsertStm, VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for an InsertStm.
transferInsert(InsertStm, XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferNode(NodeStm, VariableElementType, VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a NodeStm.
transferNode(NodeStm, XMLGraph, XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferPlug(PlugStm, VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a PlugStm.
transferPlug(PlugStm, XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferRemove(RemoveStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a RemoveStm.
transferRemove(RemoveStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferSet(SetStm, VariableElementType, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a SetStm.
transferSet(SetStm, XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferUnknown(UnknownStm) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for an UnknownStm.
transferUnknown(UnknownStm) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transferValidate(ValidateStm, VariableElementType) - Method in interface dk.brics.xact.analysis.dataflow.VariableAnalysisInterface
Transfer function for a ValidateStm.
transferValidate(ValidateStm, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
 
transformFlowGraph(FlowGraph) - Method in class dk.brics.xact.analysis.XMLAnalysis
Performs various transformations of the given flow graph.
translateExpr(Value) - Method in class dk.brics.xact.analysis.soot.Translator
 
translateSchemaLocation(String) - Method in interface dk.brics.xact.analysis.config.Configuration
Translates a schema location to another URL string (possibly the same).
translateSchemaLocation(String) - Method in class dk.brics.xact.analysis.config.StandardConfiguration
 
translateStmt(Stmt) - Method in class dk.brics.xact.analysis.soot.Translator
 
TranslationResult - Class in dk.brics.xact.analysis.soot
The result of translating a soot program to XACT's flow graph representation.
TranslationResult(FlowGraph, Map<ValueBox, AnalyzeStm>) - Constructor for class dk.brics.xact.analysis.soot.TranslationResult
 
Translator - Class in dk.brics.xact.analysis.soot
 
Translator(TranslatorContext, Configuration) - Constructor for class dk.brics.xact.analysis.soot.Translator
 
TranslatorContext - Class in dk.brics.xact.analysis.soot
Context for producing flow graph statements.
TranslatorContext(FlowGraph, ErrorHandler) - Constructor for class dk.brics.xact.analysis.soot.TranslatorContext
Constructs a new translator context.
Type - Annotation Type in dk.brics.xact
Schema type annotation for XML variables.

U

UnionFindForest<Key,NodeData> - Class in dk.brics.xact.analysis.util
Maintains a set of disjoint sets (called components).
UnionFindForest() - Constructor for class dk.brics.xact.analysis.util.UnionFindForest
 
UNKNOWN - Static variable in class dk.brics.xact.analysis.soot.ArrayConstantInfo
 
UnknownStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of an unknown value, such as XML.parseDocument(String) and variants.
UnknownStm(Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.UnknownStm
Constructs a new UnknownStm object.
UnreachableTransformer - Class in dk.brics.xact.analysis.transformations
Removes all nodes that are not reachable from an entry node.
UnreachableTransformer() - Constructor for class dk.brics.xact.analysis.transformations.UnreachableTransformer
Constructs a new UnreachableTransformer.
unwind(XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.CycleUnwinder
 
useBranch() - Method in class dk.brics.xact.analysis.soot.ControlFlowBuilder
Ends the current branch and starts a new one.
Util - Class in dk.brics.xact.analysis.util
 
Util() - Constructor for class dk.brics.xact.analysis.util.Util
 

V

validate(XML, String, Origin) - Static method in class dk.brics.xact.operations.XMLValidator
Checks that the given template is valid according to the given schema type.
validate(String) - Method in class dk.brics.xact.XML
Checks that this template is valid according to the given schema type.
ValidateStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of XML.validate(String).
ValidateStm(Variable, Variable, SchemaType, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ValidateStm
Constructs a new ValidateStm object.
valueOf(String) - Static method in enum dk.brics.xact.analysis.ErrorType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CastStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CheckStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CopyStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.GetStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.InsertStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.NodeStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.PlugStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.statements.SetStm.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.flowgraph.VariableFilter.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.transformations.SchemaTypeLinking.Quantifier
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.analysis.xmlgraph.EPresence
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.operations.XMLGraphConverter.GapConversion
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum dk.brics.xact.operations.XMLIndentation.IndentType
Returns the enum constant of this type with the specified name.
values() - Static method in enum dk.brics.xact.analysis.ErrorType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CastStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CheckStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.CopyStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.GetStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.InsertStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.NodeStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.PlugStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.statements.SetStm.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.flowgraph.VariableFilter.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.transformations.SchemaTypeLinking.Quantifier
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.xmlgraph.EBooleanLattice
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.analysis.xmlgraph.EPresence
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.operations.XMLGraphConverter.GapConversion
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum dk.brics.xact.operations.XMLIndentation.IndentType
Returns an array containing the constants of this enum type, in the order they are declared.
Variable - Class in dk.brics.xact.analysis.flowgraph
A program variable, used in a flow graph.
Variable(int, boolean) - Constructor for class dk.brics.xact.analysis.flowgraph.Variable
Constructs a new variable object with no type annotation.
VariableAnalysis<VariableElementType> - Class in dk.brics.xact.analysis.dataflow
Lattice and transfer functions for a dataflow analysis that tracks values for program variables.
VariableAnalysis(VariableAnalysisInterface<VariableElementType>) - Constructor for class dk.brics.xact.analysis.dataflow.VariableAnalysis
Constructs a new variable analysis using the given lattice.
VariableAnalysisElement<VariableElementType> - Class in dk.brics.xact.analysis.dataflow
Lattice element for VariableAnalysis.
VariableAnalysisElement() - Constructor for class dk.brics.xact.analysis.dataflow.VariableAnalysisElement
Constructs a new empty lattice element.
VariableAnalysisInterface<VariableElementType> - Interface in dk.brics.xact.analysis.dataflow
Lattice and transfer functions for a VariableAnalysis.
VariableFilter - Class in dk.brics.xact.analysis.flowgraph
Variable label set for flow graph edges.
VariableFilter() - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a normal variable label set, initially containing all variables.
VariableFilter(boolean) - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a normal variable label set.
VariableFilter(Variable) - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a normal variable label set, initially containing a single variable.
VariableFilter(Variable, VariableFilter.Kind) - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a normal variable label set, initially containing a single variable.
VariableFilter(boolean, VariableFilter.Kind) - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a variable label set with a specific kind.
VariableFilter(boolean, VariableFilter.Kind, int) - Constructor for class dk.brics.xact.analysis.flowgraph.VariableFilter
Constructs a variable label set with a specific kind and call id.
VariableFilter.Kind - Enum in dk.brics.xact.analysis.flowgraph
Variable filter kinds.
VarStm - Class in dk.brics.xact.analysis.flowgraph.statements
Assignment of an XML variable.
VarStm(Variable, Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.VarStm
Constructs a new VarStm object.
visit(Element) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an element node.
visit(Text) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a text node.
visit(Comment) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a comment node.
visit(ProcessingInstruction) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a processing instruction node.
visit(Attribute) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an attribute node.
visit(TemplateGap) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a template gap node.
visit(AttributeGap) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an attribute gap node.
visit(NamespaceDecl) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a namespace declaration node.
visit(ConcatNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a concat operation node.
visit(PlugSingleNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a plug-single operation node.
visit(PlugListNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a plug-list operation node.
visit(PlugNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a plug operation node.
visit(CloseNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a close operation node.
visit(AttrNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an attribute-like node.
visit(TempNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits a template node.
visit(OperationNode) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an operation node.
visit(XML) - Method in class dk.brics.xact.AnyNodeVisitor
Visits an XML node.
visit(Element) - Method in class dk.brics.xact.NodeVisitor
Visits an element node.
visit(Text) - Method in class dk.brics.xact.NodeVisitor
Visits a text node.
visit(Comment) - Method in class dk.brics.xact.NodeVisitor
Visits a comment node.
visit(ProcessingInstruction) - Method in class dk.brics.xact.NodeVisitor
Visits a processing instruction node.
visit(Attribute) - Method in class dk.brics.xact.NodeVisitor
Visits an attribute node.
visit(TemplateGap) - Method in class dk.brics.xact.NodeVisitor
Visits a template gap node.
visit(AttributeGap) - Method in class dk.brics.xact.NodeVisitor
Visits an attribute gap node.
visit(NamespaceDecl) - Method in class dk.brics.xact.NodeVisitor
Visits an namespace declaration node.
visit(Element, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits an element node.
visit(Text, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits a text node.
visit(Comment, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits a comment node.
visit(ProcessingInstruction, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits a processing instruction node.
visit(Attribute, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits an attribute node.
visit(TemplateGap, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits a template gap node.
visit(AttributeGap, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits an attribute gap node.
visit(NamespaceDecl, Argument) - Method in class dk.brics.xact.NodeVisitorParameterized
Visits an namespace declaration node.
visit(ElementWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits an element node wrapper.
visit(TextWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a text node wrapper.
visit(CommentWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a comment node wrapper.
visit(ProcessingInstructionWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a processing instruction node wrapper.
visit(ConcreteTempNodeWrapper<?>) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a concrete template node wrapper.
visit(TempNodeWrapper<? extends TempNode>) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a template node wrapper.
visit(TemplateGapWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits a template gap node wrapper.
visit(AttributeWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits an attribute node wrapper.
visit(AttributeGapWrapper) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits an attribute gap node wrapper.
visit(AttrNodeWrapper<? extends AttrNode>) - Method in class dk.brics.xact.wrappers.WrapperNodeVisitor
Visits an attribute-like node wrapper.
visitAnalyzeStm(AnalyzeStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitAnalyzeStm(AnalyzeStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits an AnalyzeStm.
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.Attribute
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.AttributeGap
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.CloseNode
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.Comment
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.ConcatNode
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.Element
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.NamespaceDecl
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.Node
Visits this node by the given any-node visitor.
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.PlugListNode
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.PlugSingleNode
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.ProcessingInstruction
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.TemplateGap
 
visitAnyBy(AnyNodeVisitor) - Method in class dk.brics.xact.Text
 
visitArrayReadStm(ArrayReadStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitArrayReadStm(ArrayReadStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
 
visitArrayWriteStm(ArrayWriteStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitArrayWriteStm(ArrayWriteStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
 
visitArrayWriteStringStm(ArrayWriteStringStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitArrayWriteStringStm(ArrayWriteStringStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.Statement
Visits this statement by the given visitor.
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayReadStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.CallStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.CastStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.CheckStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ConcatStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ConstStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.CopyStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.EmptyStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.EscapeStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.GetStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.InsertStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.NopStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.PlugStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.RemoveStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.SetStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.UnknownStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.ValidateStm
 
visitBy(StatementVisitor) - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm
 
visitBy(NodeVisitor) - Method in class dk.brics.xact.Node
Visits this node by the given visitor.
visitBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Node
Visits this node by the given visitor.
visitBy(NodeVisitor) - Method in class dk.brics.xact.NodeList
Visits each node in the list by the given visitor.
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.AttributeGapWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.AttributeWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.CommentWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.ElementWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.NodeWrapper
Visits this wrapper by the given visitor.
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.ProcessingInstructionWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.TemplateGapWrapper
 
visitBy(WrapperNodeVisitor) - Method in class dk.brics.xact.wrappers.TextWrapper
 
visitBy(NodeVisitor) - Method in class dk.brics.xact.XML
 
visitBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.XML
 
visitCallStm(CallStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitCallStm(CallStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
 
visitCastStm(CastStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitCastStm(CastStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a CastStm.
visitCheckStm(CheckStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitCheckStm(CheckStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a CheckStm.
visitConcatStm(ConcatStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitConcatStm(ConcatStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a ConcatStm.
visitConstStm(ConstStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitConstStm(ConstStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a ConstStm.
visitCopyStm(CopyStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitCopyStm(CopyStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a CopyStm.
visitEmptyStm(EmptyStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitEmptyStm(EmptyStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits an EmptyStm.
visitEscapeStm(EscapeStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitEscapeStm(EscapeStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
 
visitGapifyStm(GapifyStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitGapifyStm(GapifyStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a GapifyStm.
visitGetStm(GetStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitGetStm(GetStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a GetStm.
visitInsertStm(InsertStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitInsertStm(InsertStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits an InsertStm.
visitNodeStm(NodeStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitNodeStm(NodeStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a NodeStm.
visitNopStm(NopStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitNopStm(NopStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a NopStm.
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Attribute
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Attribute
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.AttributeGap
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.AttributeGap
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Comment
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Comment
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Element
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Element
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.NamespaceDecl
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.NamespaceDecl
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Node
Visits this normalized node it by the given visitor.
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Node
Visits this normalized node it by the given visitor.
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.OperationNode
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.OperationNode
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.ProcessingInstruction
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.ProcessingInstruction
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.TemplateGap
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.TemplateGap
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.TempNode
 
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Text
 
visitNormalizedBy(NodeVisitorParameterized<R, A>, A) - Method in class dk.brics.xact.Text
 
visitPlugStm(PlugStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitPlugStm(PlugStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a PlugStm.
visitRemoveStm(RemoveStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitRemoveStm(RemoveStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a RemoveStm.
visitSetStm(SetStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitSetStm(SetStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a SetStm.
visitUnknownStm(UnknownStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitUnknownStm(UnknownStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits an UnknownStm.
visitValidateStm(ValidateStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitValidateStm(ValidateStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a ValidateStm.
visitVarStm(VarStm) - Method in class dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
 
visitVarStm(VarStm) - Method in interface dk.brics.xact.analysis.flowgraph.statements.StatementVisitor
Visits a VarStm.

W

wrapNodesInChoices(XMLGraph) - Method in class dk.brics.xact.analysis.transformations.SchemaTypeLinking
Puts a choice node around each element node, and before each attribute node
WrapperNodeVisitor - Class in dk.brics.xact.wrappers
Abstract visitor for wrapper nodes.
WrapperNodeVisitor() - Constructor for class dk.brics.xact.wrappers.WrapperNodeVisitor
Constructs a new visitor.
write(int) - Method in class dk.brics.xact.operations.LengthOutputStream
Writes a byte.

X

XACT_NAMESPACE - Static variable in class dk.brics.xact.operations.XMLParser
Namespace for XACT gap elements.
XactTaskRunner - Interface in dk.brics.xact.analysis.concurrent
Used by the analysis to schedule independant tasks.
XHTML - Static variable in interface dk.brics.xact.operations.XMLIndentation
An instance of of the XHTMLIndentation class, provided here for convenience.
XHTMLIndentation - Class in dk.brics.xact.operations
Indents XHTML output for the purpose of making it readible as possible, while attempting not to change its rendering (see note below) using the following rules: Anything not in the XHTML namespace will be indented.
XHTMLIndentation() - Constructor for class dk.brics.xact.operations.XHTMLIndentation
 
XML - Class in dk.brics.xact
XML template content node.
XML(Origin) - Constructor for class dk.brics.xact.XML
Constructs a new template node.
XMLAnalysis - Class in dk.brics.xact.analysis
Program analysis for XACT.
XMLAnalysis(String, List<String>) - Constructor for class dk.brics.xact.analysis.XMLAnalysis
Initializes XACT program analysis for the given classes.
XMLAnalysisException - Exception in dk.brics.xact.analysis
Exception thrown if analysis fails.
XMLAnalysisException(String) - Constructor for exception dk.brics.xact.analysis.XMLAnalysisException
Constructs a new exception.
XMLAnalysisException(String, Origin) - Constructor for exception dk.brics.xact.analysis.XMLAnalysisException
Constructs a new exception.
XMLAnalysisException(Throwable, Origin) - Constructor for exception dk.brics.xact.analysis.XMLAnalysisException
Constructs a new exception.
XMLException - Exception in dk.brics.xact
Runtime exception caused by an invalid XML operation.
XMLException(String) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLException(String, Throwable) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLException(Throwable) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLException(String, Origin) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLException(String, Throwable, Origin) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLException(Throwable, Origin) - Constructor for exception dk.brics.xact.XMLException
Constructs a new exception.
XMLGraphAnalysis - Class in dk.brics.xact.analysis.xmlgraph
XML graph lattice and transfer functions for dataflow analysis.
XMLGraphAnalysis(XMLGraph, ElementNode, ChoiceNode, Map<String, String>, StatementNodes, Set<Statement>, Set<Statement>) - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
Constructs a new XML graph dataflow analysis.
XMLGraphBuilder - Class in dk.brics.xact.analysis.xmlgraph
Performs dataflow analysis on flow graphs to build XML graphs.
XMLGraphBuilder(FlowGraph, Configuration) - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder
Builds and executes a dataflow analyzer for the given flow graph.
XMLGraphChecker - Class in dk.brics.xact.analysis.xmlgraph
Checks XML graphs of various program expressions.
XMLGraphChecker(ErrorHandler) - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLGraphChecker
Constructs a new checker.
XMLGraphConverter - Class in dk.brics.xact.operations
Converter from XML templates to XML graphs.
XMLGraphConverter.GapConversion - Enum in dk.brics.xact.operations
Gap conversion flags.
XMLGraphDebug - Class in dk.brics.xact.analysis.xmlgraph
 
XMLGraphDebug() - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLGraphDebug
 
XMLGraphPair - Class in dk.brics.xact.analysis.xmlgraph
Pair of two XML graphs.
XMLGraphPair(XMLGraph, XMLGraph) - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLGraphPair
 
XMLIndentation - Interface in dk.brics.xact.operations
Specifies how to indent an XML template or document.
XMLIndentation.IndentType - Enum in dk.brics.xact.operations
 
XMLNavigator - Class in dk.brics.xact.operations
XPath evaluator for XML templates.
XMLNavigator.ElementListResult - Class in dk.brics.xact.operations
Element list result.
XMLNavigator.ElementListResult(XML, List<Element>) - Constructor for class dk.brics.xact.operations.XMLNavigator.ElementListResult
Constructs a new result.
XMLNavigator.NodeListResult - Class in dk.brics.xact.operations
Node list result.
XMLNavigator.NodeListResult(XML, List<Node>) - Constructor for class dk.brics.xact.operations.XMLNavigator.NodeListResult
Constructs a new result.
XMLNavigator.NodeResult - Class in dk.brics.xact.operations
Single-node result.
XMLNavigator.NodeResult(XML, Node) - Constructor for class dk.brics.xact.operations.XMLNavigator.NodeResult
Constructs a new result.
XMLNavigator.Result - Class in dk.brics.xact.operations
Abstract result of evaluation.
XMLNavigator.Result(XML) - Constructor for class dk.brics.xact.operations.XMLNavigator.Result
Constructs a new result.
XMLParser - Class in dk.brics.xact.operations
Parser for XML templates.
XMLPlugException - Exception in dk.brics.xact
Exception thrown if an XML plug operation fails.
XMLPlugException(String) - Constructor for exception dk.brics.xact.XMLPlugException
Constructs a new exception.
XMLPlugException(String, Origin) - Constructor for exception dk.brics.xact.XMLPlugException
Constructs a new exception.
XMLPrinter - Class in dk.brics.xact.operations
Prints XML templates to output streams.
XMLResult - Class in dk.brics.xact.operations
Result class for XSL transformations.
XMLResult() - Constructor for class dk.brics.xact.operations.XMLResult
Constructs a new XMLResult object.
XMLSchemaDatatypes - Class in dk.brics.xact.analysis.xmlgraph
 
XMLSchemaDatatypes() - Constructor for class dk.brics.xact.analysis.xmlgraph.XMLSchemaDatatypes
 
XMLSource - Class in dk.brics.xact.operations
JAXP SAXSource for XML templates.
XMLSource(XML) - Constructor for class dk.brics.xact.operations.XMLSource
Creates a JAXP SAXSource for the given XML template.
XMLTemplateException - Exception in dk.brics.xact
Exception thrown if XML template parsing fails.
XMLTemplateException(String) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLTemplateException(String, Throwable) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLTemplateException(Throwable) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLTemplateException(String, Origin) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLTemplateException(String, Throwable, Origin) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLTemplateException(Throwable, Origin) - Constructor for exception dk.brics.xact.XMLTemplateException
Constructs a new exception.
XMLValidationException - Exception in dk.brics.xact
Exception thrown if XML schema type validation fails.
XMLValidationException(String) - Constructor for exception dk.brics.xact.XMLValidationException
Constructs a new exception.
XMLValidationException(String, Origin) - Constructor for exception dk.brics.xact.XMLValidationException
Constructs a new exception.
XMLValidationException(Throwable, Origin) - Constructor for exception dk.brics.xact.XMLValidationException
Constructs a new exception.
XMLValidator - Class in dk.brics.xact.operations
Schema validation for XML templates.
XMLWellformednessException - Exception in dk.brics.xact
Exception thrown if XML wellformedness fails.
XMLWellformednessException(String) - Constructor for exception dk.brics.xact.XMLWellformednessException
Constructs a new exception.
XMLWellformednessException(String, Origin) - Constructor for exception dk.brics.xact.XMLWellformednessException
Constructs a new exception.
XMLXPathException - Exception in dk.brics.xact
Exception thrown if XPath evaluation fails.
XMLXPathException(String) - Constructor for exception dk.brics.xact.XMLXPathException
 
XMLXPathException(String, Throwable) - Constructor for exception dk.brics.xact.XMLXPathException
 
XMLXPathException(Throwable) - Constructor for exception dk.brics.xact.XMLXPathException
 

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

Copyright © 2005-2011 Aarhus University.