soot.toolkits.graph
Interface DominatorsFinder

All Known Implementing Classes:
MHGDominatorsFinder, MHGPostDominatorsFinder, 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

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


getDominators

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


getImmediateDominator

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


isDominatedBy

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


isDominatedByAll

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