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
DefaultOptionMap
public DefaultOptionMap()
getOption
public <T> T getOption(OptionParser<T> o)
- Specified by:
getOption
in interface OptionMap
setOption
public <T> T setOption(Option<T> o,
T val)
- Specified by:
setOption
in interface OptionMap
getString
public <T> String getString(OptionParser<T> o)
- Specified by:
getString
in interface OptionMap
setString
public <T> void setString(OptionParser<T> o,
String s)
- Specified by:
setString
in interface OptionMap
removeOption
public <T> T removeOption(OptionParser<T> o)
- Specified by:
removeOption
in interface OptionMap
keys
public Iterable<OptionParser<?>> keys()
- Specified by:
keys
in interface OptionMap
toString
public String toString()
- Overrides:
toString
in class Object