soot
Class Options

java.lang.Object
  |
  +--soot.Options

public class Options
extends java.lang.Object

Utility methods for dealing with Soot options maps.


Constructor Summary
Options()
           
 
Method Summary
static void checkOptions(java.util.Map options, java.lang.String phase, java.lang.String declaredOptions)
          Prints a warning if some key in options is not in declaredOptions; throws an exception in debug mode.
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.
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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Options

public Options()
Method Detail

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.


checkOptions

public static void checkOptions(java.util.Map options,
                                java.lang.String phase,
                                java.lang.String declaredOptions)
Prints a warning if some key in options is not in declaredOptions; throws an exception in debug mode.