soot.toolkits.graph

Class SimpleDominatorsFinder<N>

java.lang.Object

soot.toolkits.graph.SimpleDominatorsFinder<N>

All Implemented Interfaces:

DominatorsFinder<N>

public class SimpleDominatorsFinder<N>
extends java.lang.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.

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.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, java.util.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 DirectedGraph<N> graph

nodeToDominators

protected java.util.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 java.util.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,
                                java.util.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>