LoopInvariantFinder (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.Transformer
- - soot.BodyTransformer
  - - soot.jimple.toolkits.annotation.logic.LoopInvariantFinder

public class LoopInvariantFinder
extends BodyTransformer

Constructor Summary

Constructors
Constructor Description

LoopInvariantFinder(Singletons.Global g)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`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
  - LoopInvariantFinder
```
public LoopInvariantFinder(Singletons.Global g)
```
- Method Detail
  - 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 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.