Class LoopInvariantFinder

  extended by soot.Transformer
      extended by soot.BodyTransformer
          extended by soot.jimple.toolkits.annotation.logic.LoopInvariantFinder

public class LoopInvariantFinder
extends BodyTransformer

Constructor Summary
LoopInvariantFinder(Singletons.Global g)
Method Summary
protected  void internalTransform(Body b, String phaseName, Map options)
          this one uses the side effect tester
static LoopInvariantFinder v()
Methods inherited from class soot.BodyTransformer
transform, transform, transform
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public LoopInvariantFinder(Singletons.Global g)
Method Detail


public static LoopInvariantFinder v()


protected void internalTransform(Body b,
                                 String phaseName,
                                 Map options)
this one uses the side effect tester

Specified by:
internalTransform in class BodyTransformer
b - the body on which to apply the transformation
phaseName - the phasename for this transform; not typically used by implementations.
options - the actual computed options; a combination of default options and Scene specified options.