soot.options
Class Options
java.lang.Object
soot.options.Options
public class Options
- extends Object
Soot command-line options parser.
- Author:
- Ondrej Lhotak
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
- See Also:
- Constant Field Values
src_prec_class
public static final int src_prec_class
- See Also:
- Constant Field Values
src_prec_only_class
public static final int src_prec_only_class
- See Also:
- Constant Field Values
src_prec_J
public static final int src_prec_J
- See Also:
- Constant Field Values
src_prec_jimple
public static final int src_prec_jimple
- See Also:
- Constant Field Values
src_prec_java
public static final int src_prec_java
- See Also:
- Constant Field Values
output_format_J
public static final int output_format_J
- See Also:
- Constant Field Values
output_format_jimple
public static final int output_format_jimple
- See Also:
- Constant Field Values
output_format_j
public static final int output_format_j
- See Also:
- Constant Field Values
output_format_jimp
public static final int output_format_jimp
- See Also:
- Constant Field Values
output_format_S
public static final int output_format_S
- See Also:
- Constant Field Values
output_format_shimple
public static final int output_format_shimple
- See Also:
- Constant Field Values
output_format_s
public static final int output_format_s
- See Also:
- Constant Field Values
output_format_shimp
public static final int output_format_shimp
- See Also:
- Constant Field Values
output_format_B
public static final int output_format_B
- See Also:
- Constant Field Values
output_format_baf
public static final int output_format_baf
- See Also:
- Constant Field Values
output_format_b
public static final int output_format_b
- See Also:
- Constant Field Values
output_format_G
public static final int output_format_G
- See Also:
- Constant Field Values
output_format_grimple
public static final int output_format_grimple
- See Also:
- Constant Field Values
output_format_g
public static final int output_format_g
- See Also:
- Constant Field Values
output_format_grimp
public static final int output_format_grimp
- See Also:
- Constant Field Values
output_format_X
public static final int output_format_X
- See Also:
- Constant Field Values
output_format_xml
public static final int output_format_xml
- See Also:
- Constant Field Values
output_format_n
public static final int output_format_n
- See Also:
- Constant Field Values
output_format_none
public static final int output_format_none
- See Also:
- Constant Field Values
output_format_jasmin
public static final int output_format_jasmin
- See Also:
- Constant Field Values
output_format_c
public static final int output_format_c
- See Also:
- Constant Field Values
output_format_class
public static final int output_format_class
- See Also:
- Constant Field Values
output_format_d
public static final int output_format_d
- See Also:
- Constant Field Values
output_format_dava
public static final int output_format_dava
- See Also:
- Constant Field Values
output_format_t
public static final int output_format_t
- See Also:
- Constant Field Values
output_format_template
public static final int output_format_template
- See Also:
- Constant Field Values
throw_analysis_pedantic
public static final int throw_analysis_pedantic
- See Also:
- Constant Field Values
throw_analysis_unit
public static final int throw_analysis_unit
- See Also:
- Constant Field Values
classes
protected LinkedList classes
Options
public Options(Singletons.Global g)
v
public static Options v()
parse
public boolean parse(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 List phase_help()
set_phase_help
public void set_phase_help(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)
interactive_mode
public boolean interactive_mode()
set_interactive_mode
public void set_interactive_mode(boolean setting)
unfriendly_mode
public boolean unfriendly_mode()
set_unfriendly_mode
public void set_unfriendly_mode(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)
whole_shimple
public boolean whole_shimple()
set_whole_shimple
public void set_whole_shimple(boolean setting)
validate
public boolean validate()
set_validate
public void set_validate(boolean setting)
debug
public boolean debug()
set_debug
public void set_debug(boolean setting)
debug_resolver
public boolean debug_resolver()
set_debug_resolver
public void set_debug_resolver(boolean setting)
soot_classpath
public String soot_classpath()
set_soot_classpath
public void set_soot_classpath(String setting)
prepend_classpath
public boolean prepend_classpath()
set_prepend_classpath
public void set_prepend_classpath(boolean setting)
process_dir
public List process_dir()
set_process_dir
public void set_process_dir(List setting)
ast_metrics
public boolean ast_metrics()
set_ast_metrics
public void set_ast_metrics(boolean setting)
src_prec
public int src_prec()
set_src_prec
public void set_src_prec(int setting)
full_resolver
public boolean full_resolver()
set_full_resolver
public void set_full_resolver(boolean setting)
allow_phantom_refs
public boolean allow_phantom_refs()
set_allow_phantom_refs
public void set_allow_phantom_refs(boolean setting)
no_bodies_for_excluded
public boolean no_bodies_for_excluded()
set_no_bodies_for_excluded
public void set_no_bodies_for_excluded(boolean setting)
j2me
public boolean j2me()
set_j2me
public void set_j2me(boolean setting)
main_class
public String main_class()
set_main_class
public void set_main_class(String setting)
polyglot
public boolean polyglot()
set_polyglot
public void set_polyglot(boolean setting)
output_dir
public String output_dir()
set_output_dir
public void set_output_dir(String setting)
output_format
public int output_format()
set_output_format
public void set_output_format(int setting)
output_jar
public boolean output_jar()
set_output_jar
public void set_output_jar(boolean setting)
xml_attributes
public boolean xml_attributes()
set_xml_attributes
public void set_xml_attributes(boolean setting)
print_tags_in_output
public boolean print_tags_in_output()
set_print_tags_in_output
public void set_print_tags_in_output(boolean setting)
no_output_source_file_attribute
public boolean no_output_source_file_attribute()
set_no_output_source_file_attribute
public void set_no_output_source_file_attribute(boolean setting)
no_output_inner_classes_attribute
public boolean no_output_inner_classes_attribute()
set_no_output_inner_classes_attribute
public void set_no_output_inner_classes_attribute(boolean setting)
dump_body
public List dump_body()
set_dump_body
public void set_dump_body(List setting)
dump_cfg
public List dump_cfg()
set_dump_cfg
public void set_dump_cfg(List setting)
show_exception_dests
public boolean show_exception_dests()
set_show_exception_dests
public void set_show_exception_dests(boolean setting)
gzip
public boolean gzip()
set_gzip
public void set_gzip(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)
throw_analysis
public int throw_analysis()
set_throw_analysis
public void set_throw_analysis(int setting)
omit_excepting_unit_edges
public boolean omit_excepting_unit_edges()
set_omit_excepting_unit_edges
public void set_omit_excepting_unit_edges(boolean setting)
include
public List include()
set_include
public void set_include(List setting)
exclude
public List exclude()
set_exclude
public void set_exclude(List setting)
include_all
public boolean include_all()
set_include_all
public void set_include_all(boolean setting)
dynamic_class
public List dynamic_class()
set_dynamic_class
public void set_dynamic_class(List setting)
dynamic_dir
public List dynamic_dir()
set_dynamic_dir
public void set_dynamic_dir(List setting)
dynamic_package
public List dynamic_package()
set_dynamic_package
public void set_dynamic_package(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 String getUsage()
getPhaseList
public String getPhaseList()
getPhaseHelp
public String getPhaseHelp(String phaseName)
getDeclaredOptionsForPhase
public static String getDeclaredOptionsForPhase(String phaseName)
getDefaultOptionsForPhase
public static String getDefaultOptionsForPhase(String phaseName)
warnForeignPhase
public void warnForeignPhase(String phaseName)
warnNonexistentPhase
public void warnNonexistentPhase()
padOpt
protected String padOpt(String opts,
String desc)
padVal
protected String padVal(String vals,
String desc)
getPhaseUsage
protected String getPhaseUsage()
pushOptions
protected void pushOptions(String s)
hasMoreOptions
protected boolean hasMoreOptions()
nextOption
protected String nextOption()
classes
public LinkedList classes()
setPhaseOption
public boolean setPhaseOption(String phase,
String option)