soot.options
Class Options
java.lang.Object
|
+--soot.options.OptionsBase
|
+--soot.options.Options
- public class Options
- extends soot.options.OptionsBase
Soot command-line options parser.
Fields inherited from class soot.options.OptionsBase |
classes |
Methods inherited from class soot.options.OptionsBase |
classes,
getPhaseUsage,
hasMoreOptions,
nextOption,
padOpt,
padVal,
pushOptions,
setPhaseOption |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
src_prec_c
public static final int src_prec_c
src_prec_class
public static final int src_prec_class
src_prec_J
public static final int src_prec_J
src_prec_jimple
public static final int src_prec_jimple
output_format_J
public static final int output_format_J
output_format_jimple
public static final int output_format_jimple
output_format_j
public static final int output_format_j
output_format_jimp
public static final int output_format_jimp
output_format_S
public static final int output_format_S
output_format_shimple
public static final int output_format_shimple
output_format_s
public static final int output_format_s
output_format_shimp
public static final int output_format_shimp
output_format_B
public static final int output_format_B
output_format_baf
public static final int output_format_baf
output_format_b
public static final int output_format_b
output_format_G
public static final int output_format_G
output_format_grimple
public static final int output_format_grimple
output_format_g
public static final int output_format_g
output_format_grimp
public static final int output_format_grimp
output_format_X
public static final int output_format_X
output_format_xml
public static final int output_format_xml
output_format_n
public static final int output_format_n
output_format_none
public static final int output_format_none
output_format_jasmin
public static final int output_format_jasmin
output_format_c
public static final int output_format_c
output_format_class
public static final int output_format_class
output_format_d
public static final int output_format_d
output_format_dava
public static final int output_format_dava
Options
public Options(Singletons.Global g)
v
public static Options v()
parse
public boolean parse(java.lang.String[] argv)
help
public boolean help()
set_help
public void set_help(boolean setting)
phase_list
public boolean phase_list()
set_phase_list
public void set_phase_list(boolean setting)
phase_help
public java.util.List phase_help()
set_phase_help
public void set_phase_help(java.util.List setting)
version
public boolean version()
set_version
public void set_version(boolean setting)
verbose
public boolean verbose()
set_verbose
public void set_verbose(boolean setting)
app
public boolean app()
set_app
public void set_app(boolean setting)
whole_program
public boolean whole_program()
set_whole_program
public void set_whole_program(boolean setting)
debug
public boolean debug()
set_debug
public void set_debug(boolean setting)
soot_classpath
public java.lang.String soot_classpath()
set_soot_classpath
public void set_soot_classpath(java.lang.String setting)
process_dir
public java.util.List process_dir()
set_process_dir
public void set_process_dir(java.util.List setting)
src_prec
public int src_prec()
set_src_prec
public void set_src_prec(int setting)
allow_phantom_refs
public boolean allow_phantom_refs()
set_allow_phantom_refs
public void set_allow_phantom_refs(boolean setting)
output_dir
public java.lang.String output_dir()
set_output_dir
public void set_output_dir(java.lang.String setting)
output_format
public int output_format()
set_output_format
public void set_output_format(int setting)
xml_attributes
public boolean xml_attributes()
set_xml_attributes
public void set_xml_attributes(boolean setting)
via_grimp
public boolean via_grimp()
set_via_grimp
public void set_via_grimp(boolean setting)
via_shimple
public boolean via_shimple()
set_via_shimple
public void set_via_shimple(boolean setting)
include
public java.util.List include()
set_include
public void set_include(java.util.List setting)
exclude
public java.util.List exclude()
set_exclude
public void set_exclude(java.util.List setting)
dynamic_class
public java.util.List dynamic_class()
set_dynamic_class
public void set_dynamic_class(java.util.List setting)
dynamic_dir
public java.util.List dynamic_dir()
set_dynamic_dir
public void set_dynamic_dir(java.util.List setting)
dynamic_package
public java.util.List dynamic_package()
set_dynamic_package
public void set_dynamic_package(java.util.List setting)
keep_line_number
public boolean keep_line_number()
set_keep_line_number
public void set_keep_line_number(boolean setting)
keep_offset
public boolean keep_offset()
set_keep_offset
public void set_keep_offset(boolean setting)
time
public boolean time()
set_time
public void set_time(boolean setting)
subtract_gc
public boolean subtract_gc()
set_subtract_gc
public void set_subtract_gc(boolean setting)
getUsage
public java.lang.String getUsage()
getPhaseList
public java.lang.String getPhaseList()
getPhaseHelp
public java.lang.String getPhaseHelp(java.lang.String phaseName)
getDeclaredOptionsForPhase
public static java.lang.String getDeclaredOptionsForPhase(java.lang.String phaseName)
getDefaultOptionsForPhase
public static java.lang.String getDefaultOptionsForPhase(java.lang.String phaseName)
warnForeignPhase
public void warnForeignPhase(java.lang.String phaseName)
warnNonexistentPhase
public void warnNonexistentPhase()