soot
Class PhaseOptions

java.lang.Object
  soot.PhaseOptions

public class PhaseOptions
extends Object

Manages the phase options of the various soot phases.

Constructor Summary

PhaseOptions(Singletons.Global g)

Method Summary

static boolean	getBoolean(Map options, String name) This method returns true iff key "name" is in options and maps to "true".
static float	getFloat(Map 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 options, String name) This method returns the integer value of "name" in options or 0 if "name" is not found.
Map	getPhaseOptions(HasPhaseOptions phase)
Map	getPhaseOptions(String phaseName)
static String	getString(Map 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(HasPhaseOptions phase, String option)
boolean	setPhaseOption(String phaseName, 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 getPhaseOptions(String phaseName)

getPhaseOptions

public Map getPhaseOptions(HasPhaseOptions phase)

processPhaseOptions

public boolean processPhaseOptions(String phaseName,
                                   String option)

getBoolean

public static boolean getBoolean(Map options,
                                 String name)

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

getString

public static String getString(Map options,
                               String name)

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

getFloat

public static float getFloat(Map 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 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)