edu.rice.cs.drjava.config
Interface OptionMap

All Known Implementing Classes:
DefaultOptionMap

public interface OptionMap


Method Summary
 Object getOption(OptionParser o)
           
 String getString(OptionParser o)
           
 gj.util.Enumeration keys()
           
 Object removeOption(OptionParser o)
           
 Object setOption(Option o, Object val)
           
 Object setString(OptionParser o, String s)
           
 

Method Detail

getOption

public Object getOption(OptionParser o)

setOption

public Object setOption(Option o,
                        Object val)

getString

public String getString(OptionParser o)

setString

public Object setString(OptionParser o,
                        String s)

removeOption

public Object removeOption(OptionParser o)

keys

public gj.util.Enumeration keys()