soot.toolkits.graph
Class MHGDominatorsFinder

java.lang.Object
  soot.toolkits.graph.MHGDominatorsFinder

All Implemented Interfaces:

DominatorsFinder

public class MHGDominatorsFinder

extends Object

implements DominatorsFinder

Dominators finder for multi-headed graph.

Author:

Navindra Umanee

Field Summary

protected DirectedGraph	graph
protected Map	nodeToDominators

Constructor Summary

MHGDominatorsFinder(DirectedGraph graph)

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.

Methods inherited from class java.lang.Object

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

Field Detail

graph

protected DirectedGraph graph

nodeToDominators

protected Map nodeToDominators

Constructor Detail

MHGDominatorsFinder

public MHGDominatorsFinder(DirectedGraph graph)

Method Detail

getGraph

public DirectedGraph getGraph()

Description copied from interface: DominatorsFinder

Returns the graph to which the analysis pertains.

Specified by:

getGraph in interface DominatorsFinder

getDominators

public List getDominators(Object node)

Description copied from interface: DominatorsFinder

Returns a list of dominators for the given node in the graph.

Specified by:

getDominators in interface DominatorsFinder

getImmediateDominator

public Object getImmediateDominator(Object node)

Description copied from interface: DominatorsFinder

Returns the immediate dominator of node or null if the node has no immediate dominator.

Specified by:

getImmediateDominator in interface DominatorsFinder

isDominatedBy

public boolean isDominatedBy(Object node,
                             Object dominator)

Description copied from interface: DominatorsFinder

True if "node" is dominated by "dominator" in the graph.

Specified by:

isDominatedBy in interface DominatorsFinder

isDominatedByAll

public boolean isDominatedByAll(Object node,
                                Collection dominators)

Description copied from interface: DominatorsFinder

True if "node" is dominated by all nodes in "dominators" in the graph.

Specified by:

isDominatedByAll in interface DominatorsFinder