soot.options
Class AbstractSparkOptions
java.lang.Object
soot.options.AbstractSparkOptions
- public class AbstractSparkOptions
- extends java.lang.Object
Option parser for Spark.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractSparkOptions
public AbstractSparkOptions()
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()