dk.brics.xact.analysis.xmlgraph
Class RootAnalysis

java.lang.Object
  dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer<EBooleanLattice>
      dk.brics.xact.analysis.xmlgraph.RootAnalysis

public class RootAnalysis
extends ForwardsXGAnalyzer<EBooleanLattice>

Determines for each reachable node whether it always occurs as root when unfolded (yes), or never occurs as root (no).

Constructor Summary

RootAnalysis(XMLGraph xg)

Method Summary

protected EBooleanLattice	bottom() Returns BOTTOM element.
protected EBooleanLattice	initial(Node node) Returns initial value for the specified node.
protected Set<Integer>	initialNodes() Returns the initial nodes.
protected void	transfer(EBooleanLattice src, Node node) Transfer data from the specified node to its children.

Methods inherited from class dk.brics.xact.analysis.xmlgraph.ForwardsXGAnalyzer

doAnalysis, get, get, getXmlGraph, put

Methods inherited from class java.lang.Object

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

Constructor Detail

RootAnalysis

public RootAnalysis(XMLGraph xg)

Method Detail

bottom

protected EBooleanLattice bottom()

Description copied from class: ForwardsXGAnalyzer

Returns BOTTOM element.

Specified by:

bottom in class ForwardsXGAnalyzer<EBooleanLattice>

Returns:

a lattice point

initial

protected EBooleanLattice initial(Node node)

Description copied from class: ForwardsXGAnalyzer

Returns initial value for the specified node.

Specified by:

initial in class ForwardsXGAnalyzer<EBooleanLattice>

Parameters:

node - one of the nodes whose index was returned by ForwardsXGAnalyzer.initialNodes()

Returns:

a lattice point

initialNodes

protected Set<Integer> initialNodes()

Description copied from class: ForwardsXGAnalyzer

Returns the initial nodes. This will typically be the root nodes in the XML graph. All initial nodes must be reachable from the graph's root nodes.

Specified by:

initialNodes in class ForwardsXGAnalyzer<EBooleanLattice>

Returns:

read-only set

transfer

protected void transfer(EBooleanLattice src,
                        Node node)

Description copied from class: ForwardsXGAnalyzer

Transfer data from the specified node to its children. Update node data using ForwardsXGAnalyzer.put(int, Object).

Specified by:

transfer in class ForwardsXGAnalyzer<EBooleanLattice>

Parameters:

src - lattice point for the specified node, provided for convenience

node - the node to transfer from