Package soot.toolkits.graph

Class SimpleDominatorsFinder<N>

java.lang.Object

soot.toolkits.graph.SimpleDominatorsFinder<N>

All Implemented Interfaces:

DominatorsFinder<N>

public class SimpleDominatorsFinder<N>
extends Object
implements DominatorsFinder<N>

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	Description
protected DirectedGraph<N>	graph
protected Map<N,FlowSet<N>>	nodeToDominators

Constructor Summary

Constructors

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

Method Summary

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

nodeToDominators

protected final Map<N,FlowSet<N>> nodeToDominators

Constructor Detail

SimpleDominatorsFinder

public SimpleDominatorsFinder(DirectedGraph<N> graph)

Compute dominators for provided singled-headed directed graph.

Method Detail

getGraph

public DirectedGraph<N> getGraph()

Description copied from interface: DominatorsFinder

Returns the graph to which the analysis pertains.

Specified by:

getGraph in interface DominatorsFinder<N>

getDominators

public List<N> getDominators(N node)

Description copied from interface: DominatorsFinder

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

Specified by:

getDominators in interface DominatorsFinder<N>

getImmediateDominator

public N getImmediateDominator(N 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<N>

isDominatedBy

public boolean isDominatedBy(N node,
                             N dominator)

Description copied from interface: DominatorsFinder

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

Specified by:

isDominatedBy in interface DominatorsFinder<N>

isDominatedByAll

public boolean isDominatedByAll(N node,
                                Collection<N> 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<N>