|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.Options
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 |
public Options()
Method Detail |
public static boolean getBoolean(java.util.Map options, java.lang.String name)
public static java.lang.String getString(java.util.Map options, java.lang.String name)
public static float getFloat(java.util.Map options, java.lang.String name)
public static int getInt(java.util.Map options, java.lang.String name)
public static void checkOptions(java.util.Map options, java.lang.String phase, java.lang.String declaredOptions)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |