soot.jimple.toolkits.annotation.logic
Class LoopInvariantFinder
java.lang.Object
soot.Transformer
soot.BodyTransformer
soot.jimple.toolkits.annotation.logic.LoopInvariantFinder
- public class LoopInvariantFinder
- extends BodyTransformer
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LoopInvariantFinder
public LoopInvariantFinder(soot.Singletons.Global g)
v
public static LoopInvariantFinder v()
internalTransform
protected void internalTransform(Body b,
String phaseName,
Map options)
- this one uses the side effect tester
- Specified by:
internalTransform in class BodyTransformer
- Parameters:
b - the body on which to apply the transformationphaseName - the phasename for this transform; not typically used by implementations.options - the actual computed options; a combination of default options and Scene specified options.