soot
Class Options
java.lang.Object
|
+--soot.Options
- public class Options
- extends java.lang.Object
Utility methods for dealing with Soot options maps.
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 |
Options
public Options()
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.