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

java.lang.Object
- soot.Transformer
- - soot.SceneTransformer
  - - soot.jimple.toolkits.thread.mhp.MhpTransformer

public class MhpTransformer
extends SceneTransformer

Constructor Summary

Constructors
Constructor Description

MhpTransformer(Singletons.Global g)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`MhpTester`	`getMhpTester()`
`protected void`	`internalTransform(String phaseName, Map options)`	Performs the transformation on the Scene, under the given phaseName and with the given Options.
`void`	`setMhpTester(MhpTester mhpTester)`
`static MhpTransformer`	`v()`

Methods inherited from class soot.SceneTransformer
transform, transform, transform

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MhpTransformer

public MhpTransformer(Singletons.Global g)

Method Detail

v
```
public static MhpTransformer v()
```

internalTransform
```
protected void internalTransform(String phaseName,
                                 Map options)
```
Description copied from class: SceneTransformer

Performs the transformation on the Scene, under the given phaseName and with the given Options.

Specified by:

internalTransform in class SceneTransformer

getMhpTester
```
public MhpTester getMhpTester()
```

setMhpTester

public void setMhpTester(MhpTester mhpTester)