soot.toolkits.graph
Interface DominatorsFinder

All Known Implementing Classes:
MHGDominatorsFinder, SimpleDominatorsFinder

public interface DominatorsFinder

General interface for a dominators analysis.

Author:
Navindra Umanee

Method Summary
 List getDominators(Object node)
          Returns a list of dominators for the given node in the graph.
 DirectedGraph getGraph()
          Returns the graph to which the analysis pertains.
 Object getImmediateDominator(Object node)
          Returns the immediate dominator of node or null if the node has no immediate dominator.
 boolean isDominatedBy(Object node, Object dominator)
          True if "node" is dominated by "dominator" in the graph.
 boolean isDominatedByAll(Object node, Collection dominators)
          True if "node" is dominated by all nodes in "dominators" in the graph.
 

Method Detail

getGraph

public DirectedGraph getGraph()
Returns the graph to which the analysis pertains.


getDominators

public List getDominators(Object node)
Returns a list of dominators for the given node in the graph.


getImmediateDominator

public Object getImmediateDominator(Object node)
Returns the immediate dominator of node or null if the node has no immediate dominator.


isDominatedBy

public boolean isDominatedBy(Object node,
                             Object dominator)
True if "node" is dominated by "dominator" in the graph.


isDominatedByAll

public boolean isDominatedByAll(Object node,
                                Collection dominators)
True if "node" is dominated by all nodes in "dominators" in the graph.