PhaseOptions (Soot 2.5.0-7 API)

```
public class PhaseOptions
extends java.lang.Object
```
Manages the phase options of the various soot phases.

Constructors
Constructor and Description
`PhaseOptions(Singletons.Global g)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`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

public PhaseOptions(Singletons.Global g)

public void setPackManager(PackManager m)

public java.util.Map getPhaseOptions(java.lang.String phaseName)

public java.util.Map getPhaseOptions(HasPhaseOptions phase)

public boolean processPhaseOptions(java.lang.String phaseName,
                                   java.lang.String option)

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".

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.

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.

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

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

public void setPhaseOptionIfUnset(java.lang.String phaseName,
                                  java.lang.String option)

Class PhaseOptions