Index (XACT)

Overview

Package

Class

Tree

Index

PREV NEXT

FRAMES NO FRAMES

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 









  
      Overview 
      Package 
      Class 
      Tree 
    Index 
  









 PREV 
 NEXT

  FRAMES   
 NO FRAMES   
 










 Copyright © 2005-2011 Aarhus University.