public class LoopInvariantFinder extends BodyTransformer
| Constructor and Description |
|---|
LoopInvariantFinder(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
internalTransform(Body b,
String phaseName,
Map options)
this one uses the side effect tester
|
static LoopInvariantFinder |
v() |
transform, transform, transformpublic LoopInvariantFinder(Singletons.Global g)
public static LoopInvariantFinder v()
protected void internalTransform(Body b, String phaseName, Map options)
internalTransform in class BodyTransformerb - 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.Copyright © 2020 Soot OSS. All rights reserved.