soot.jimple.toolkits.annotation.purity
Class PurityAnalysis

java.lang.Object
  extended by soot.Transformer
      extended by soot.SceneTransformer
          extended by soot.jimple.toolkits.annotation.purity.PurityAnalysis

public class PurityAnalysis
extends SceneTransformer

TODO: - test, test, and test (and correct the potentially infinite bugs) - optimise PurityGraph, especially methodCall) - find a better abstraction for exceptions (throw & catch) - output nicer graphs (especially clusters!)


Constructor Summary
PurityAnalysis(Singletons.Global g)
           
 
Method Summary
protected  void internalTransform(String phaseName, Map options)
          Performs the transformation on the Scene, under the given phaseName and with the given Options.
static PurityAnalysis 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

PurityAnalysis

public PurityAnalysis(Singletons.Global g)
Method Detail

v

public static PurityAnalysis 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