|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.toolkits.graph.MHGDominatorsFinder
Dominators finder for multi-headed graph.
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 |
protected DirectedGraph graph
protected Map nodeToDominators
Constructor Detail |
public MHGDominatorsFinder(DirectedGraph graph)
Method Detail |
public DirectedGraph getGraph()
DominatorsFinder
getGraph
in interface DominatorsFinder
public List getDominators(Object node)
DominatorsFinder
getDominators
in interface DominatorsFinder
public Object getImmediateDominator(Object node)
DominatorsFinder
getImmediateDominator
in interface DominatorsFinder
public boolean isDominatedBy(Object node, Object dominator)
DominatorsFinder
isDominatedBy
in interface DominatorsFinder
public boolean isDominatedByAll(Object node, Collection dominators)
DominatorsFinder
isDominatedByAll
in interface DominatorsFinder
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |