soot.options
Class AbstractSparkOptions

java.lang.Object
  extended bysoot.options.AbstractSparkOptions

public class AbstractSparkOptions
extends java.lang.Object

Option parser for Spark.


Constructor Summary
AbstractSparkOptions()
           
 
Method Summary
 boolean add_tags()
           
 boolean class_method_var()
           
 int double_set_new()
           
 int double_set_old()
           
 boolean dump_answer()
           
 boolean dump_html()
           
 boolean dump_pag()
           
 boolean dump_solution()
           
 boolean dump_types()
           
 boolean enabled()
           
 boolean field_based()
           
 boolean force_gc()
           
 boolean ignore_types()
           
 boolean merge_stringbuffer()
           
 boolean on_fly_cg()
           
 boolean pre_jimplify()
           
 int propagator()
           
 boolean rta()
           
 int set_impl()
           
 boolean set_mass()
           
 boolean simple_edges_bidirectional()
           
 boolean simulate_natives()
           
 boolean string_constants()
           
 boolean topo_sort()
           
 boolean types_for_sites()
           
 boolean verbose()
           
 boolean vta()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractSparkOptions

public AbstractSparkOptions()
Method Detail

enabled

public boolean enabled()

verbose

public boolean verbose()

ignore_types

public boolean ignore_types()

force_gc

public boolean force_gc()

pre_jimplify

public boolean pre_jimplify()

vta

public boolean vta()

rta

public boolean rta()

field_based

public boolean field_based()

types_for_sites

public boolean types_for_sites()

merge_stringbuffer

public boolean merge_stringbuffer()

string_constants

public boolean string_constants()

simulate_natives

public boolean simulate_natives()

simple_edges_bidirectional

public boolean simple_edges_bidirectional()

on_fly_cg

public boolean on_fly_cg()

dump_html

public boolean dump_html()

dump_pag

public boolean dump_pag()

dump_solution

public boolean dump_solution()

topo_sort

public boolean topo_sort()

dump_types

public boolean dump_types()

class_method_var

public boolean class_method_var()

dump_answer

public boolean dump_answer()

add_tags

public boolean add_tags()

set_mass

public boolean set_mass()

double_set_new

public int double_set_new()

double_set_old

public int double_set_old()

set_impl

public int set_impl()

propagator

public int propagator()