soot.toolkits.graph

Interface DominatorsFinder<N>

All Known Implementing Classes:

MHGDominatorsFinder, MHGPostDominatorsFinder, SimpleDominatorsFinder

public interface DominatorsFinder<N>

General interface for a dominators analysis.

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.

Method Detail

getGraph

DirectedGraph<N> getGraph()

Returns the graph to which the analysis pertains.

getDominators

java.util.List<N> getDominators(N node)

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

getImmediateDominator

N getImmediateDominator(N node)

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

isDominatedBy

boolean isDominatedBy(N node,
                      N dominator)

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

isDominatedByAll

boolean isDominatedByAll(N node,
                         java.util.Collection<N> dominators)

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