|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.Transformer
soot.SceneTransformer
soot.jimple.spark.AbstractSparkTransformer
soot.jimple.spark.BDDSparkTransformer
Main entry point for Spark.
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 |
public BDDSparkTransformer(soot.Singletons.Global g)
Method Detail |
public static BDDSparkTransformer v()
protected void internalTransform(java.lang.String phaseName, java.util.Map options)
SceneTransformer
internalTransform
in class SceneTransformer
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |