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.


Field Summary
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_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_jimple
           
 
Fields inherited from class soot.options.OptionsBase
classes
 
Constructor Summary
Options(Singletons.Global g)
           
 
Method Summary
 boolean allow_phantom_refs()
           
 boolean app()
           
 boolean debug()
           
 java.util.List dynamic_class()
           
 java.util.List dynamic_dir()
           
 java.util.List dynamic_package()
           
 java.util.List exclude()
           
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()
           
 java.lang.String getUsage()
           
 boolean help()
           
 java.util.List include()
           
 boolean keep_line_number()
           
 boolean keep_offset()
           
 java.lang.String output_dir()
           
 int output_format()
           
 boolean parse(java.lang.String[] argv)
           
 java.util.List phase_help()
           
 boolean phase_list()
           
 java.util.List process_dir()
           
 void set_allow_phantom_refs(boolean setting)
           
 void set_app(boolean setting)
           
 void set_debug(boolean 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_help(boolean setting)
           
 void set_include(java.util.List setting)
           
 void set_keep_line_number(boolean setting)
           
 void set_keep_offset(boolean setting)
           
 void set_output_dir(java.lang.String setting)
           
 void set_output_format(int setting)
           
 void set_phase_help(java.util.List setting)
           
 void set_phase_list(boolean setting)
           
 void set_process_dir(java.util.List setting)
           
 void set_soot_classpath(java.lang.String setting)
           
 void set_src_prec(int setting)
           
 void set_subtract_gc(boolean setting)
           
 void set_time(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_xml_attributes(boolean setting)
           
 java.lang.String soot_classpath()
           
 int src_prec()
           
 boolean subtract_gc()
           
 boolean time()
           
static Options v()
           
 boolean verbose()
           
 boolean version()
           
 boolean via_grimp()
           
 boolean via_shimple()
           
 void warnForeignPhase(java.lang.String phaseName)
           
 void warnNonexistentPhase()
           
 boolean whole_program()
           
 boolean xml_attributes()
           
 
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
 

Field Detail

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
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)

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()