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

Constructor Summary

Constructors

Constructor and Description
LoopInvariantFinder(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
protected void	internalTransform(Body b, java.lang.String phaseName, java.util.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

LoopInvariantFinder

public LoopInvariantFinder(Singletons.Global g)

Method Detail

v

public static LoopInvariantFinder v()

internalTransform

protected void internalTransform(Body b,
                                 java.lang.String phaseName,
                                 java.util.Map options)

this one uses the side effect tester

Specified by:

internalTransform in class BodyTransformer

Parameters:

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.