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
           
 
Constructor Summary
DefaultOptionMap()
           
 
Method Summary
 Object getOption(OptionParser o)
           
 String getString(OptionParser o)
           
 gj.util.Enumeration keys()
           
 Object removeOption(OptionParser o)
           
 Object setOption(Option o, Object val)
           
private  void setOption(OptionParser o)
           
 Object setString(OptionParser o, String s)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

keys

private final gj.util.Vector keys
Constructor Detail

DefaultOptionMap

public DefaultOptionMap()
Method Detail

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