soot.toolkits.graph

Class SimpleDominatorsFinder

java.lang.Object

soot.toolkits.graph.SimpleDominatorsFinder

All Implemented Interfaces:

DominatorsFinder

public class SimpleDominatorsFinder
extends java.lang.Object
implements DominatorsFinder

Wrapper class for a simple dominators analysis based on a simple flow analysis algorithm. Works with any DirectedGraph with a single head.

Author:

Navindra Umanee

Field Summary

Fields

Modifier and Type	Field and Description
protected DirectedGraph	graph
protected java.util.Map<java.lang.Object,FlowSet>	nodeToDominators

Constructor Summary

Constructors

Constructor and Description
SimpleDominatorsFinder(DirectedGraph graph) Compute dominators for provided singled-headed directed graph.

Method Summary

Modifier and Type	Method and Description
java.util.List	getDominators(java.lang.Object node) Returns a list of dominators for the given node in the graph.
DirectedGraph	getGraph() Returns the graph to which the analysis pertains.
java.lang.Object	getImmediateDominator(java.lang.Object node) Returns the immediate dominator of node or null if the node has no immediate dominator.
boolean	isDominatedBy(java.lang.Object node, java.lang.Object dominator) True if "node" is dominated by "dominator" in the graph.
boolean	isDominatedByAll(java.lang.Object node, java.util.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 java.util.Map<java.lang.Object,FlowSet> nodeToDominators

Constructor Detail

SimpleDominatorsFinder

public SimpleDominatorsFinder(DirectedGraph graph)

Compute dominators for provided singled-headed directed 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 java.util.List getDominators(java.lang.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 java.lang.Object getImmediateDominator(java.lang.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(java.lang.Object node,
                             java.lang.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(java.lang.Object node,
                                java.util.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