soot.jimple.toolkits.thread.mhp

Class MhpTransformer

java.lang.Object

soot.Transformer

soot.SceneTransformer

soot.jimple.toolkits.thread.mhp.MhpTransformer

public class MhpTransformer
extends SceneTransformer

Constructor Summary

Constructors

Constructor and Description
MhpTransformer(Singletons.Global g)

Method Summary

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