soot.jimple.toolkits.thread.mhp
Class MhpTransformer

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

public class MhpTransformer
extends SceneTransformer


Constructor Summary
MhpTransformer()
           
 
Method Summary
protected static PegGraph buildPeg(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body body, SootMethod sm)
           
protected  void internalTransform(String phaseName, Map options)
          Performs the transformation on the Scene, under the given phaseName and with the given Options.
 
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()
Method Detail

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

buildPeg

protected static PegGraph buildPeg(CallGraph callGraph,
                                   Hierarchy hierarchy,
                                   PAG pag,
                                   Set<Object> methodsNeedingInlining,
                                   Set<AllocNode> allocNodes,
                                   List inlineSites,
                                   Map synchObj,
                                   Set<AllocNode> multiRunAllocNodes,
                                   Map allocNodeToObj,
                                   Body body,
                                   SootMethod sm)