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

addAll(Graph<Nodetype, Edgetype>) - Method in class dk.brics.xact.analysis.flowgraph.Graph: Adds all nodes and edges from another graph to this one.
addEdge(Nodetype, Nodetype, Edgetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph: Adds an edge between two nodes in the graph.
addEntry(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph: Marks an existing node as an entry node of the graph.
addNode(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph: Adds the given node to the graph.
addValue(Object) - Method in class dk.brics.xact.Normalizer.PlugInfo
addValue(Object) - Method in class dk.brics.xact.Normalizer.PlugListInfo
addValue(Object) - Method in class dk.brics.xact.Normalizer.PlugSingleInfo
addVariable(Variable) - Method in class dk.brics.xact.analysis.flowgraph.VariableFilter: Adds a variable to the label set.
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).
AnalyzeStm(Variable, Variable, String, SchemaType, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.AnalyzeStm: Constructs a new AnalyzeStm object.
analyzeStrings() - Method in class dk.brics.xact.analysis.XMLAnalysis: 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.
AnnotationTransformer - Class in dk.brics.xact.analysis.transformations: Flow graph transformation for @Type annotations.
AnnotationTransformer() - Constructor for class dk.brics.xact.analysis.transformations.AnnotationTransformer: Constructs a new AnnotationTransformer.
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(Switch) - Method in class dk.brics.xact.analysis.soot.DummyValue
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.
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

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.
buildFlowGraph(StringAnalysis) - 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

caseAssignStmt(AssignStmt) - Method in class dk.brics.xact.analysis.soot.StmtSwitch: Translates an AssignStmt.
caseIdentityStmt(IdentityStmt) - Method in class dk.brics.xact.analysis.soot.StmtSwitch: Translates an IdentityStmt.
caseInvokeStmt(InvokeStmt) - Method in class dk.brics.xact.analysis.soot.StmtSwitch: Translates an InvokeExpr.
caseReturnStmt(ReturnStmt) - Method in class dk.brics.xact.analysis.soot.StmtSwitch: Translates a ReturnStmt.
caseReturnVoidStmt(ReturnVoidStmt) - Method in class dk.brics.xact.analysis.soot.StmtSwitch: Translates a ReturnVoidStmt.
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.
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() - 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.DummyValue
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.
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.
compareTo(Entity) - Method in class dk.brics.xact.analysis.flowgraph.Entity: Compares the origins of two nodes.
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
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.
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.
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.
convert(XML, boolean, boolean) - Static method in class dk.brics.xact.operations.XMLGraphConverter: Converts the given XML template into a new XML graph.
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
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

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.StmtSwitch: Translates other statements.
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.
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.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.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.
DummyValue - Class in dk.brics.xact.analysis.soot: A dummy Soot value for creating temporary flow variables.
DummyValue(Type, boolean) - Constructor for class dk.brics.xact.analysis.soot.DummyValue: Constructs a new dummy value.
DummyValue(Type, String, boolean, boolean) - Constructor for class dk.brics.xact.analysis.soot.DummyValue: Constructs a new dummy value.

E

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.
EMPTY - Static variable in class dk.brics.xact.Text
EmptyStm - Class in dk.brics.xact.analysis.flowgraph.statements: Assignment of empty value, such as null.
EmptyStm(Variable, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.EmptyStm: Constructs a new EmptyStm object.
endPhase() - Static method in class dk.brics.xact.analysis.XMLAnalysis: Marks the end of a phase.
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.
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.
equivHashCode() - Method in class dk.brics.xact.analysis.soot.DummyValue
equivTo(Object) - Method in class dk.brics.xact.analysis.soot.DummyValue
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.TranslatorUtil: 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.TranslatorUtil: Expands a QName map according to the current namespace declarations.
extend(XMLGraph, XML, boolean, 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.
findSchemas() - Method in class dk.brics.xact.analysis.soot.Jimple2FlowGraph: Locates schemas in application classes.
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.
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.

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, 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.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.
getAliasValue() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the alias variable for assignment to and from nonimportant types.
getAliasVar() - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns the global alias variable for non-application XML data.
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, or null if none.
getAutomatonFromObjectExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns an automaton representing the possible string values of the given Soot expression.
getAutomatonFromStringExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns an automaton representing the possible string values of the given Soot string expression.
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.
getCheckFailsStatements() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder: Returns the set of node test statements that always fail.
getConst() - Method in class dk.brics.xact.analysis.flowgraph.statements.ConstStm: Returns the template template constant.
getConstantOrigin(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns the origin constant value for the given Soot value.
getConstantString(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns the string constant value for the given Soot value.
getContext() - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns the context object.
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: Returns the current method.
getCurrentOrigin() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the current origin.
getData() - Method in class dk.brics.xact.analysis.flowgraph.Edge: Returns the edge data.
getData() - Method in class dk.brics.xact.ProcessingInstruction: Returns the data.
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.
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 nodes of the graph.
getExpandedName() - Method in class dk.brics.xact.AttrNode: Returns the expanded name.
getExpandedName() - Method in class dk.brics.xact.Element: Returns the expanded name.
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.
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.
getFrom() - Method in class dk.brics.xact.analysis.flowgraph.Edge: Returns the source node.
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.
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.
getGapTypes() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType: Returns the gap type map, or null if none.
getGlobalXMLGraph() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder: Returns the global XML graph containing fragments for schemas and constants.
getHierarchy() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the class hierarchy.
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.
getInEdges(Nodetype) - Method in class dk.brics.xact.analysis.flowgraph.Graph: Returns the predecessors of the given node.
getInitial() - Method in class dk.brics.xact.operations.XMLNavigator.Result: Returns the copy of the real initial context.
getInvokeMethodMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns map from invoke statement to containing Soot method.
getInvokeParamMaps() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns map from invoke sites to map from parameter indices to graph variables.
getInvokeStatementMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns map from abstract invoke site to Soot invoke stmt.
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.
getLastStatement() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the last statement from the statement queue.
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.
getLineNumber(Stmt) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Gets a source line number for the given Soot statement.
getLocalName() - Method in class dk.brics.xact.AttrNode: Returns the local name.
getLocalName() - Method in class dk.brics.xact.Element: Returns the local name.
getLocalStrings() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the map from local variables to the last constant string assigned to them.
getMethodParamMaps() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns map from methods to map from parameter indices to graph variables.
getMethodReturns() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns map from Soot method to collection of graph return points.
getMethodReturnVar() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the current method return variable.
getName() - Method in class dk.brics.xact.analysis.flowgraph.statements.NodeStm: Returns the element/attribute name, or null if none is available.
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 class dk.brics.xact.Normalizer.PlugInfo
getNext() - Method in class dk.brics.xact.Normalizer.PlugListInfo
getNext() - Method in class dk.brics.xact.Normalizer.PlugSingleInfo
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.
getNextStatement() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the next statement from the statement queue.
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 nodes.
getNodes() - Method in class dk.brics.xact.operations.XMLNavigator.NodeListResult: Returns the selected nodes.
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.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.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.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 successors of the given node.
getParamMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the map from parameter indices of the current method to graph variables.
getParamRefMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the map from Soot parameter references to corresponding Soot methods.
getParent() - Method in class dk.brics.xact.wrappers.NodeWrapper: Returns the parent, null if at the root.
getPrefix() - Method in class dk.brics.xact.NamespaceDecl: Returns the prefix.
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.
getResourceString(String) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Retrieves a resource string using the current class loader.
getResultVar() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the result variable for the current method invocation.
getRightNode() - Method in class dk.brics.xact.ConcatNode: Returns the right node.
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.
getSchema() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Returns the schema for the type annotation of this variable, or null if absent.
getSchemas() - Method in class dk.brics.xact.analysis.flowgraph.FlowGraph: Returns map from schema URLs to origins.
getSchemaTypes() - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder: Returns the map from schema type names to XML graph nodes.
getSelfNode() - Method in class dk.brics.xact.CloseNode: Returns the self node.
getSelfNode() - Method in class dk.brics.xact.PlugNode: Returns the self node.
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.
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.
getStringAnalysis() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the string analysis for querying possible values at string plugs etc.
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.
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.
getTemplateGaps() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType: Returns the collection of template gaps, or null if none.
getThreadNamespaceMap() - Static method in class dk.brics.xact.XML: Returns the thread local namespace map (from prefix to URI).
getTo() - Method in class dk.brics.xact.analysis.flowgraph.Edge: Returns the target node.
getType() - Method in class dk.brics.xact.analysis.flowgraph.SchemaType: Returns the type string.
getType() - Method in class dk.brics.xact.analysis.flowgraph.statements.GapifyStm: Returns the gap type.
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.analysis.soot.DummyValue
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() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Returns the type annotation for this variable, or null if absent.
getTypeAnnotation(SootMethod) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns the Type annotation for a method return, or null if not present.
getUseBoxes() - Method in class dk.brics.xact.analysis.soot.DummyValue
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() - Method in class dk.brics.xact.PlugListNode: Returns the values to be plugged in.
getVar(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns a flow graph variable for the given Soot value.
getVariableFromObjectExp(ValueBox) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Returns a flow graph variable representing the possible XML values of the given Soot expression.
getVariables() - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement: Returns the variables for which explicit mappings exist.
getVarMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns the map from Soot field/local/dummy variable descriptor strings to graph variables.
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.

H

handleAssign(Value, Value) - Method in class dk.brics.xact.analysis.soot.StatementBuilder: Generates flow graph code for an assignment.
handleInvoke(Stmt) - Method in class dk.brics.xact.analysis.soot.StatementBuilder: Generates flow graph code for a statement containing a method invocation.
has(String) - Method in class dk.brics.xact.XML: Returns the boolean specified by the given XPath expression.
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.
hasTypeAnnotation() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Checks whether this variable has a type annotation.

I

inc() - Static method in class dk.brics.xact.analysis.Debug: Increment indentation level.
initParamMap() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Initializes the map from parameter indices to flow graph variables.
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.
isArray() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Returns true if this is an array variable.
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
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.
isGlobal() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Returns true if this is a field (or global dummy) variable.
isGlobal() - Method in class dk.brics.xact.analysis.soot.DummyValue: Returns the global status.
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.
isProcessingInstruction() - Method in class dk.brics.xact.Node: Checks whether this is an processing instruction node.
isProcessingInstruction() - Method in class dk.brics.xact.OperationNode
isReturn() - Method in class dk.brics.xact.analysis.soot.DummyValue: Returns true if this value represents a method return value.
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
isWhitespace(String) - Static method in class dk.brics.xact.StringTypes: Checks whether the given string matches S.
isXMLType(Type) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Checks whether the given type is XML or related (i.e. can have a Type annotation).
it - Variable in class dk.brics.xact.Normalizer.PlugListInfo
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() - Constructor for class dk.brics.xact.analysis.soot.Jimple2FlowGraph: Constructs a new flow graph producer.

K

kind - Variable in class dk.brics.xact.Normalizer.Entry

L

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(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.
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.
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<Variable, Set<Assignment>>, VariableFilter, Map<Variable, Set<Assignment>>) - Method in class dk.brics.xact.analysis.transformations.ReachingDefinitionsAnalysis
merge(XMLGraph, XMLGraph) - Method in class dk.brics.xact.analysis.xmlgraph.XMLGraphAnalysis
moreStatements() - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Returns true if the queue of generated statements is nonempty.

N

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.
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
Node - Class in dk.brics.xact: Base class for all nodes.
Node(Origin) - Constructor for class dk.brics.xact.Node: Constructs a new node.
node - Variable in class dk.brics.xact.Normalizer.Entry
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.
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.
Normalizer.Entry - Class in dk.brics.xact
Normalizer.Entry(Normalizer.Entry.Kind, Node, Normalizer.PlugInfo, Object) - Constructor for class dk.brics.xact.Normalizer.Entry
Normalizer.Entry.Kind - Enum in dk.brics.xact
Normalizer.PlugInfo - Class in dk.brics.xact
Normalizer.PlugInfo() - Constructor for class dk.brics.xact.Normalizer.PlugInfo
Normalizer.PlugListInfo - Class in dk.brics.xact
Normalizer.PlugListInfo() - Constructor for class dk.brics.xact.Normalizer.PlugListInfo
Normalizer.PlugSingleInfo - Class in dk.brics.xact
Normalizer.PlugSingleInfo() - Constructor for class dk.brics.xact.Normalizer.PlugSingleInfo
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.

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.
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.
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.
pi - Variable in class dk.brics.xact.Normalizer.Entry
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.
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(XML, OutputStream, String, boolean, boolean) - Static method in class dk.brics.xact.operations.XMLPrinter: Prints the given XML template.
println(int, boolean, String) - Static method in class dk.brics.xact.analysis.Debug: Prints to System.err if debug is enabled.
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.
put(Variable, VariableElementType) - Method in class dk.brics.xact.analysis.dataflow.VariableAnalysisElement: Adds or updates a mapping.
put(Object, XML) - Static method in class dk.brics.xact.operations.TemplateCache: Stores a parsed template in the cache.
putStatement(Statement) - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Adds a statement to the queue.
putToXML(Variable, Value) - Method in class dk.brics.xact.analysis.soot.StatementBuilder: Generates statements for a toXML invocation.
putVar(Variable, Value) - Method in class dk.brics.xact.analysis.soot.StatementBuilder: 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(String) - Method in class dk.brics.xact.XML: Removes the nodes selected by the given XPath expression.
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.
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.
run() - Method in class dk.brics.xact.analysis.dataflow.DataflowAnalyzer: Computes the least fixed point iteratively.
run(StringAnalysis) - Method in class dk.brics.xact.analysis.soot.Jimple2FlowGraph: Produces a flow graph for the current Soot scene using the given string analysis results.
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.AnnotationTransformer: Transforms the given def-use flow graph.
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.DefUseTransformer: Transforms the given flow graph.
run(FlowGraph) - Method in class dk.brics.xact.analysis.transformations.FieldTransformer: Transforms the given flow graph.
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.

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.
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.
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.
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.
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.
setCurrentMethod(SootMethod) - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Sets the current method.
setCurrentOrigin(Origin) - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Sets the current origin.
setDest(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.Assignment: Sets the destination variable.
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.
setGlobal() - Method in class dk.brics.xact.analysis.flowgraph.Variable: Marks this variable as being global.
setLevel(int) - Static method in class dk.brics.xact.analysis.Debug: Sets the debug level.
setMethodReturnVar(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Sets the current method return variable.
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.
setReal(T) - Method in class dk.brics.xact.wrappers.NodeWrapper: Sets the node being wrapped.
setResultVar(Value) - Method in class dk.brics.xact.analysis.soot.TranslatorContext: Sets the result variable for the current method invocation.
setSource(Variable) - Method in class dk.brics.xact.analysis.flowgraph.statements.VarStm: Sets the source variable.
setStatementBuilder(StatementBuilder) - Method in class dk.brics.xact.analysis.soot.TranslatorUtil: Sets the StatementBuilder.
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.
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.
size() - Method in class dk.brics.xact.NodeList: Returns the size of the list.
startPhase(String) - Static method in class dk.brics.xact.analysis.XMLAnalysis: Marks the start of a phase.
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.
StatementBuilder - Class in dk.brics.xact.analysis.soot: Methods for building flow graph statements.
StatementBuilder(TranslatorUtil) - Constructor for class dk.brics.xact.analysis.soot.StatementBuilder: Constructs a new statement builder.
StatementVisitor - Interface in dk.brics.xact.analysis.flowgraph.statements: An interface for visitors of abstract statements.
StmtSwitch - Class in dk.brics.xact.analysis.soot: Switch for Soot Jimple statements.
StmtSwitch(TranslatorUtil, StatementBuilder) - Constructor for class dk.brics.xact.analysis.soot.StmtSwitch: Constructs a new statement switch.
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.
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(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.flowgraph.Entity: Returns a textual representation of the node.
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.Assignment
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.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.soot.DummyValue
toString(UnitPrinter) - Method in class dk.brics.xact.analysis.soot.DummyValue
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(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
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.
TranslatorContext - Class in dk.brics.xact.analysis.soot: Context for producing flow graph statements.
TranslatorContext(StringAnalysis, Hierarchy) - Constructor for class dk.brics.xact.analysis.soot.TranslatorContext: Constructs a new translator context.
TranslatorUtil - Class in dk.brics.xact.analysis.soot: Utility methods used in flow graph construction.
TranslatorUtil(TranslatorContext) - Constructor for class dk.brics.xact.analysis.soot.TranslatorUtil: Constructs a new translator utilities object for the given context.
Type - Annotation Type in dk.brics.xact: Schema type annotation for XML variables.

U

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.

V

v - Variable in class dk.brics.xact.Normalizer.Entry
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, String, SchemaType, Origin) - Constructor for class dk.brics.xact.analysis.flowgraph.statements.ValidateStm: Constructs a new ValidateStm object.
value - Variable in class dk.brics.xact.Normalizer.PlugSingleInfo
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.Normalizer.Entry.Kind: Returns the enum constant of this type with the specified name.
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.Normalizer.Entry.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
values - Variable in class dk.brics.xact.Normalizer.PlugListInfo
Variable - Class in dk.brics.xact.analysis.flowgraph: A program variable, used in a flow graph.
Variable(int, boolean, boolean) - Constructor for class dk.brics.xact.analysis.flowgraph.Variable: Constructs a new variable object with no type annotation.
Variable(int, boolean, boolean, String, SchemaType) - Constructor for class dk.brics.xact.analysis.flowgraph.Variable: Constructs a new variable object.
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(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(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
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.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.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(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
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.
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(NodeVisitor) - Method in class dk.brics.xact.AttributeGap
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Comment
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.Element
visitNormalizedBy(NodeVisitor) - 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(NodeVisitor) - Method in class dk.brics.xact.OperationNode
visitNormalizedBy(NodeVisitor) - Method in class dk.brics.xact.ProcessingInstruction
visitNormalizedBy(NodeVisitor) - 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
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

wrapAndConvertGaps(InputStream, String, boolean, Map<String, String>) - Static method in class dk.brics.xact.operations.XMLParser
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

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, SequenceNode>, Map<String, String>, Map<TemplateConstant, XMLGraphFragment>, Map<Statement, TextNode>, Map<Statement, SequenceNode>, Map<Statement, ChoiceNode>, Map<Statement, OneOrMoreNode>, 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) - 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(PrintStream) - 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.
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
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.
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