edu.rice.cs.drjava.config
Class DefaultOptionMap
java.lang.Object
|
+--edu.rice.cs.drjava.config.DefaultOptionMap
- All Implemented Interfaces:
- OptionMap
- public class DefaultOptionMap
- extends Object
- implements OptionMap
Field Summary |
private gj.util.Vector |
keys
|
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
keys
private final gj.util.Vector keys
DefaultOptionMap
public DefaultOptionMap()
getOption
public Object getOption(OptionParser o)
- Specified by:
getOption
in interface OptionMap
setOption
public Object setOption(Option o,
Object val)
- Specified by:
setOption
in interface OptionMap
setOption
private void setOption(OptionParser o)
getString
public String getString(OptionParser o)
- Specified by:
getString
in interface OptionMap
setString
public Object setString(OptionParser o,
String s)
- Specified by:
setString
in interface OptionMap
removeOption
public Object removeOption(OptionParser o)
- Specified by:
removeOption
in interface OptionMap
keys
public gj.util.Enumeration keys()
- Specified by:
keys
in interface OptionMap
toString
public String toString()
- Overrides:
toString
in class Object