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

MhpTransformer(Singletons.Global g)

Method Summary

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)