soot
Class PhaseOptions
java.lang.Object
|
+--soot.PhaseOptions
- public class PhaseOptions
- extends java.lang.Object
Manages the phase options of the various soot phases.
Method Summary |
static boolean |
getBoolean(java.util.Map options,
java.lang.String name)
This method returns true iff key "name" is in options
and maps to "true". |
static float |
getFloat(java.util.Map options,
java.lang.String name)
This method returns the float value of "name" in options
or 1.0 if "name" is not found. |
static int |
getInt(java.util.Map options,
java.lang.String name)
This method returns the integer value of "name" in options
or 0 if "name" is not found. |
java.util.Map |
getPhaseOptions(HasPhaseOptions phase)
|
java.util.Map |
getPhaseOptions(java.lang.String phaseName)
|
static java.lang.String |
getString(java.util.Map options,
java.lang.String name)
This method returns the value of "name" in options
or "" if "name" is not found. |
boolean |
processPhaseOptions(java.lang.String phaseName,
java.lang.String option)
|
void |
setPackManager(PackManager m)
|
boolean |
setPhaseOption(HasPhaseOptions phase,
java.lang.String option)
|
boolean |
setPhaseOption(java.lang.String phaseName,
java.lang.String option)
|
void |
setPhaseOptionIfUnset(java.lang.String phaseName,
java.lang.String option)
|
static PhaseOptions |
v()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
PhaseOptions
public PhaseOptions(Singletons.Global g)
setPackManager
public void setPackManager(PackManager m)
v
public static PhaseOptions v()
getPhaseOptions
public java.util.Map getPhaseOptions(java.lang.String phaseName)
getPhaseOptions
public java.util.Map getPhaseOptions(HasPhaseOptions phase)
processPhaseOptions
public boolean processPhaseOptions(java.lang.String phaseName,
java.lang.String option)
getBoolean
public static boolean getBoolean(java.util.Map options,
java.lang.String name)
- This method returns true iff key "name" is in options
and maps to "true".
getString
public static java.lang.String getString(java.util.Map options,
java.lang.String name)
- This method returns the value of "name" in options
or "" if "name" is not found.
getFloat
public static float getFloat(java.util.Map options,
java.lang.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(java.util.Map options,
java.lang.String name)
- This method returns the integer value of "name" in options
or 0 if "name" is not found.
setPhaseOption
public boolean setPhaseOption(java.lang.String phaseName,
java.lang.String option)
setPhaseOption
public boolean setPhaseOption(HasPhaseOptions phase,
java.lang.String option)
setPhaseOptionIfUnset
public void setPhaseOptionIfUnset(java.lang.String phaseName,
java.lang.String option)