soot.toolkits.graph

Class MHGPostDominatorsFinder<N>

java.lang.Object

soot.toolkits.graph.MHGDominatorsFinder<N>

soot.toolkits.graph.MHGPostDominatorsFinder<N>

All Implemented Interfaces:

DominatorsFinder<N>

public class MHGPostDominatorsFinder<N>
extends MHGDominatorsFinder<N>

Post-dominators finder for multi-headed graph. The dominators returned by this finder are postdominators, so e.g. MHGDominatorsFinder.getDominators(Object) returns all post-dominators.

Author:

Eric Bodden

Field Summary

Fields inherited from class soot.toolkits.graph.MHGDominatorsFinder

fullSet, graph, heads, indexToNode, lastIndex, nodeToFlowSet, nodeToIndex

Constructor Summary

Constructors

Constructor and Description
MHGPostDominatorsFinder(DirectedGraph<N> graph)

Method Summary

Methods inherited from class soot.toolkits.graph.MHGDominatorsFinder

doAnalysis, getDominators, getGraph, getImmediateDominator, indexOf, isDominatedBy, isDominatedByAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MHGPostDominatorsFinder

public MHGPostDominatorsFinder(DirectedGraph<N> graph)