dk.brics.xact.analysis.xmlgraph
Class XMLGraphBuilder

java.lang.Object
  dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder

public class XMLGraphBuilder
extends Object

Performs dataflow analysis on flow graphs to build XML graphs.

Constructor Summary

XMLGraphBuilder(FlowGraph fg, Configuration config)
Builds and executes a dataflow analyzer for the given flow graph.

Method Summary

Set<Statement>	getCheckFailsStatements() Returns the set of node test statements that always fail.
SequenceNode	getEmptySequence()
Set<Statement>	getEmptyXPathStatements() Returns the set of statements where XPath evaluation resulted in the empty node set.
XMLGraph	getGlobalXMLGraph() Returns the global XML graph containing fragments for schemas and constants.
XMLGraph	getIn(Statement s, Variable v) Returns the XML graph for the given variable at the entry of the given statement.
XMLGraph	getOut(Statement s, Variable v) Returns the XML graph for the given variable at the exit of the given statement.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XMLGraphBuilder

public XMLGraphBuilder(FlowGraph fg,
                       Configuration config)

Builds and executes a dataflow analyzer for the given flow graph.

Method Detail

getCheckFailsStatements

public Set<Statement> getCheckFailsStatements()

Returns the set of node test statements that always fail.

getEmptySequence

public SequenceNode getEmptySequence()

getEmptyXPathStatements

public Set<Statement> getEmptyXPathStatements()

Returns the set of statements where XPath evaluation resulted in the empty node set.

getGlobalXMLGraph

public XMLGraph getGlobalXMLGraph()

Returns the global XML graph containing fragments for schemas and constants.

getIn

public XMLGraph getIn(Statement s,
                      Variable v)

Returns the XML graph for the given variable at the entry of the given statement. An empty XML graph is returned if no information is available for the given input.

getOut

public XMLGraph getOut(Statement s,
                       Variable v)

Returns the XML graph for the given variable at the exit of the given statement. An empty XML graph is returned if no information is available for the given input.