soot.shimple.internal.analysis
Class DominatorsFinder

java.lang.Object
  |
  +--soot.shimple.internal.analysis.DominatorsFinder

public class DominatorsFinder
extends java.lang.Object

A wrapper class for our Dominators analysis. We finally chose to implement the easy flow analysis algorithm instead of a more efficient iterative one.


Constructor Summary
DominatorsFinder(BlockGraph graph)
           
 
Method Summary
 java.util.List getDominators(Block s)
           
 boolean isDominatedBy(Block s, Block dominator)
           
 boolean isDominatedByAll(Block s, java.util.Collection dominators)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DominatorsFinder

public DominatorsFinder(BlockGraph graph)
Method Detail

getDominators

public java.util.List getDominators(Block s)

isDominatedBy

public boolean isDominatedBy(Block s,
                             Block dominator)

isDominatedByAll

public boolean isDominatedByAll(Block s,
                                java.util.Collection dominators)