soot.jimple.spark
Class SparkOptions.Switch_propagator

java.lang.Object
  |
  +--soot.jimple.spark.SparkOptions.Switch_propagator
Enclosing class:
SparkOptions

public abstract static class SparkOptions.Switch_propagator
extends java.lang.Object


Constructor Summary
SparkOptions.Switch_propagator()
           
 
Method Summary
abstract  void case_alias()
           
abstract  void case_iter()
           
abstract  void case_merge()
           
abstract  void case_none()
           
abstract  void case_worklist()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SparkOptions.Switch_propagator

public SparkOptions.Switch_propagator()
Method Detail

case_iter

public abstract void case_iter()

case_worklist

public abstract void case_worklist()

case_merge

public abstract void case_merge()

case_alias

public abstract void case_alias()

case_none

public abstract void case_none()