soot.jimple.spark
Class BDDSparkTransformer

java.lang.Object
  extended bysoot.Transformer
      extended bysoot.SceneTransformer
          extended bysoot.jimple.spark.AbstractSparkTransformer
              extended bysoot.jimple.spark.BDDSparkTransformer

public class BDDSparkTransformer
extends AbstractSparkTransformer

Main entry point for Spark.

Author:
Ondrej Lhotak

Constructor Summary
BDDSparkTransformer(soot.Singletons.Global g)
           
 
Method Summary
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.
static BDDSparkTransformer v()
           
 
Methods inherited from class soot.jimple.spark.AbstractSparkTransformer
addTag, doGC, findSetMass, reportTime
 
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

BDDSparkTransformer

public BDDSparkTransformer(soot.Singletons.Global g)
Method Detail

v

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