Package soot

Class PhaseOptions

java.lang.Object

soot.PhaseOptions

public class PhaseOptions
extends Object

Manages the phase options of the various soot phases.

Constructor Summary

Constructors

Constructor	Description
PhaseOptions(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
static boolean	getBoolean(Map<String,String> options, String name)	This method returns true iff key "name" is in options and maps to "true".
static boolean	getBoolean(Map<String,String> options, String name, boolean defaultValue)	If key "name" is in options, this method returns true iff it maps to "true".
static float	getFloat(Map<String,String> options, String name)	This method returns the float value of "name" in options or 1.0 if "name" is not found.
static int	getInt(Map<String,String> options, String name)	This method returns the integer value of "name" in options or 0 if "name" is not found.
Map<String,String>	getPhaseOptions(String phaseName)
Map<String,String>	getPhaseOptions(HasPhaseOptions phase)
static String	getString(Map<String,String> options, String name)	This method returns the value of "name" in options or "" if "name" is not found.
boolean	processPhaseOptions(String phaseName, String option)
void	setPackManager(PackManager m)
boolean	setPhaseOption(String phaseName, String option)
boolean	setPhaseOption(HasPhaseOptions phase, String option)
void	setPhaseOptionIfUnset(String phaseName, String option)
static PhaseOptions	v()

Methods inherited from class java.lang.Object

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

Constructor Detail

PhaseOptions

public PhaseOptions(Singletons.Global g)

Method Detail

setPackManager

public void setPackManager(PackManager m)

v

public static PhaseOptions v()

getPhaseOptions

public Map<String,String> getPhaseOptions(String phaseName)

getPhaseOptions

public Map<String,String> getPhaseOptions(HasPhaseOptions phase)

processPhaseOptions

public boolean processPhaseOptions(String phaseName,
                                   String option)

getBoolean

public static boolean getBoolean(Map<String,String> options,
                                 String name)

This method returns true iff key "name" is in options and maps to "true".

getBoolean

public static boolean getBoolean(Map<String,String> options,
                                 String name,
                                 boolean defaultValue)

If key "name" is in options, this method returns true iff it maps to "true". If the key "name" is not in options, the given default value is returned.

getString

public static String getString(Map<String,String> options,
                               String name)

This method returns the value of "name" in options or "" if "name" is not found.

getFloat

public static float getFloat(Map<String,String> options,
                             String name)

This method returns the float value of "name" in options or 1.0 if "name" is not found.

getInt

public static int getInt(Map<String,String> options,
                         String name)

This method returns the integer value of "name" in options or 0 if "name" is not found.

setPhaseOption

public boolean setPhaseOption(String phaseName,
                              String option)

setPhaseOption

public boolean setPhaseOption(HasPhaseOptions phase,
                              String option)

setPhaseOptionIfUnset

public void setPhaseOptionIfUnset(String phaseName,
                                  String option)