soot.toolkits.graph
Class MHGPostDominatorsFinder

java.lang.Object
  soot.toolkits.graph.MHGDominatorsFinder
      soot.toolkits.graph.MHGPostDominatorsFinder

All Implemented Interfaces:

DominatorsFinder

public class MHGPostDominatorsFinder
extends MHGDominatorsFinder

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

MHGPostDominatorsFinder(DirectedGraph 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 graph)