soot.options

Class Options

java.lang.Object

soot.options.Options

public class Options
extends java.lang.Object

Soot command-line options parser.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.LinkedList	classes
static int	output_format_b
static int	output_format_B
static int	output_format_baf
static int	output_format_c
static int	output_format_class
static int	output_format_d
static int	output_format_dava
static int	output_format_g
static int	output_format_G
static int	output_format_grimp
static int	output_format_grimple
static int	output_format_j
static int	output_format_J
static int	output_format_jasmin
static int	output_format_jimp
static int	output_format_jimple
static int	output_format_n
static int	output_format_none
static int	output_format_s
static int	output_format_S
static int	output_format_shimp
static int	output_format_shimple
static int	output_format_t
static int	output_format_template
static int	output_format_X
static int	output_format_xml
static int	src_prec_c
static int	src_prec_class
static int	src_prec_J
static int	src_prec_java
static int	src_prec_jimple
static int	src_prec_only_class
static int	throw_analysis_pedantic
static int	throw_analysis_unit

Constructor Summary

Constructors

Constructor and Description
Options(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
boolean	allow_phantom_refs()
boolean	app()
boolean	ast_metrics()
java.util.LinkedList	classes()
boolean	debug_resolver()
boolean	debug()
java.util.List	dump_body()
java.util.List	dump_cfg()
java.util.List	dynamic_class()
java.util.List	dynamic_dir()
java.util.List	dynamic_package()
java.util.List	exclude()
boolean	full_resolver()
static java.lang.String	getDeclaredOptionsForPhase(java.lang.String phaseName)
static java.lang.String	getDefaultOptionsForPhase(java.lang.String phaseName)
java.lang.String	getPhaseHelp(java.lang.String phaseName)
java.lang.String	getPhaseList()
protected java.lang.String	getPhaseUsage()
java.lang.String	getUsage()
boolean	gzip()
protected boolean	hasMoreOptions()
boolean	help()
boolean	include_all()
java.util.List	include()
boolean	interactive_mode()
boolean	j2me()
boolean	keep_line_number()
boolean	keep_offset()
java.lang.String	main_class()
protected java.lang.String	nextOption()
boolean	no_bodies_for_excluded()
boolean	no_output_inner_classes_attribute()
boolean	no_output_source_file_attribute()
boolean	omit_excepting_unit_edges()
java.lang.String	output_dir()
int	output_format()
boolean	output_jar()
protected java.lang.String	padOpt(java.lang.String opts, java.lang.String desc)
protected java.lang.String	padVal(java.lang.String vals, java.lang.String desc)
boolean	parse(java.lang.String[] argv)
java.util.List	phase_help()
boolean	phase_list()
boolean	polyglot()
boolean	prepend_classpath()
boolean	print_tags_in_output()
java.util.List	process_dir()
protected void	pushOptions(java.lang.String s)
void	set_allow_phantom_refs(boolean setting)
void	set_app(boolean setting)
void	set_ast_metrics(boolean setting)
void	set_debug_resolver(boolean setting)
void	set_debug(boolean setting)
void	set_dump_body(java.util.List setting)
void	set_dump_cfg(java.util.List setting)
void	set_dynamic_class(java.util.List setting)
void	set_dynamic_dir(java.util.List setting)
void	set_dynamic_package(java.util.List setting)
void	set_exclude(java.util.List setting)
void	set_full_resolver(boolean setting)
void	set_gzip(boolean setting)
void	set_help(boolean setting)
void	set_include_all(boolean setting)
void	set_include(java.util.List setting)
void	set_interactive_mode(boolean setting)
void	set_j2me(boolean setting)
void	set_keep_line_number(boolean setting)
void	set_keep_offset(boolean setting)
void	set_main_class(java.lang.String setting)
void	set_no_bodies_for_excluded(boolean setting)
void	set_no_output_inner_classes_attribute(boolean setting)
void	set_no_output_source_file_attribute(boolean setting)
void	set_omit_excepting_unit_edges(boolean setting)
void	set_output_dir(java.lang.String setting)
void	set_output_format(int setting)
void	set_output_jar(boolean setting)
void	set_phase_help(java.util.List setting)
void	set_phase_list(boolean setting)
void	set_polyglot(boolean setting)
void	set_prepend_classpath(boolean setting)
void	set_print_tags_in_output(boolean setting)
void	set_process_dir(java.util.List setting)
void	set_show_exception_dests(boolean setting)
void	set_soot_classpath(java.lang.String setting)
void	set_src_prec(int setting)
void	set_subtract_gc(boolean setting)
void	set_throw_analysis(int setting)
void	set_time(boolean setting)
void	set_unfriendly_mode(boolean setting)
void	set_validate(boolean setting)
void	set_verbose(boolean setting)
void	set_version(boolean setting)
void	set_via_grimp(boolean setting)
void	set_via_shimple(boolean setting)
void	set_whole_program(boolean setting)
void	set_whole_shimple(boolean setting)
void	set_xml_attributes(boolean setting)
boolean	setPhaseOption(java.lang.String phase, java.lang.String option)
boolean	show_exception_dests()
java.lang.String	soot_classpath()
int	src_prec()
boolean	subtract_gc()
int	throw_analysis()
boolean	time()
boolean	unfriendly_mode()
static Options	v()
boolean	validate()
boolean	verbose()
boolean	version()
boolean	via_grimp()
boolean	via_shimple()
void	warnForeignPhase(java.lang.String phaseName)
void	warnNonexistentPhase()
boolean	whole_program()
boolean	whole_shimple()
boolean	xml_attributes()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

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 java.util.LinkedList classes

Constructor Detail

Options

public Options(Singletons.Global g)

Method Detail

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)

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 java.lang.String soot_classpath()

set_soot_classpath

public void set_soot_classpath(java.lang.String setting)

prepend_classpath

public boolean prepend_classpath()

set_prepend_classpath

public void set_prepend_classpath(boolean setting)

process_dir

public java.util.List process_dir()

set_process_dir

public void set_process_dir(java.util.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 java.lang.String main_class()

set_main_class

public void set_main_class(java.lang.String setting)

polyglot

public boolean polyglot()

set_polyglot

public void set_polyglot(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)

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 java.util.List dump_body()

set_dump_body

public void set_dump_body(java.util.List setting)

dump_cfg

public java.util.List dump_cfg()

set_dump_cfg

public void set_dump_cfg(java.util.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 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)

include_all

public boolean include_all()

set_include_all

public void set_include_all(boolean 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()

padOpt

protected java.lang.String padOpt(java.lang.String opts,
                                  java.lang.String desc)

padVal

protected java.lang.String padVal(java.lang.String vals,
                                  java.lang.String desc)

getPhaseUsage

protected java.lang.String getPhaseUsage()

pushOptions

protected void pushOptions(java.lang.String s)

hasMoreOptions

protected boolean hasMoreOptions()

nextOption

protected java.lang.String nextOption()

classes

public java.util.LinkedList classes()

setPhaseOption

public boolean setPhaseOption(java.lang.String phase,
                              java.lang.String option)