Uses of Class
edu.rice.cs.drjava.config.DefaultOptionMap

Packages that use DefaultOptionMap
edu.rice.cs.drjava.config This package contains the code that allows for dynamically modifying the configuration options in DrJava. 
 

Uses of DefaultOptionMap in edu.rice.cs.drjava.config
 

Fields in edu.rice.cs.drjava.config declared as DefaultOptionMap
private static DefaultOptionMap OptionMapLoader.DEFAULTS
          bag of default options (programmatically defined, instead of in an options file)
 

Methods in edu.rice.cs.drjava.config with parameters of type DefaultOptionMap
(package private) abstract  String OptionParser.getString(DefaultOptionMap om)
           
(package private)  Object OptionParser.setString(DefaultOptionMap om, String val)
          uses parse() and setOption() so that any changes in parsing will automatically be applied to setString().
(package private)  Object OptionParser.getOption(DefaultOptionMap om)
          the accessor for the magic-typed hashtable stunt.
(package private)  Object OptionParser.setOption(DefaultOptionMap om, Object val)
          the mutator for the magic-typed hashtable stunt.
(package private)  Object OptionParser.remove(DefaultOptionMap om)
          the destructor for a mapping in the magic-typed hashtable.
(package private)  String Option.getString(DefaultOptionMap om)
          uses format() and getOption() so that any changes in format will automatically be applied to getString().
(package private)  Object IntegerOption.remove(DefaultOptionMap x0)
           
(package private)  Object IntegerOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object IntegerOption.getOption(DefaultOptionMap x0)
           
(package private)  Object IntegerOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object VectorOption.remove(DefaultOptionMap x0)
           
(package private)  Object VectorOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object VectorOption.getOption(DefaultOptionMap x0)
           
(package private)  Object VectorOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object StringOption.remove(DefaultOptionMap x0)
           
(package private)  Object StringOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object StringOption.getOption(DefaultOptionMap x0)
           
(package private)  Object StringOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object FontOption.remove(DefaultOptionMap x0)
           
(package private)  Object FontOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object FontOption.getOption(DefaultOptionMap x0)
           
(package private)  Object FontOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object KeyStrokeOption.remove(DefaultOptionMap x0)
           
(package private)  Object KeyStrokeOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object KeyStrokeOption.getOption(DefaultOptionMap x0)
           
(package private)  Object KeyStrokeOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object ColorOption.remove(DefaultOptionMap x0)
           
(package private)  Object ColorOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object ColorOption.getOption(DefaultOptionMap x0)
           
(package private)  Object ColorOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object FileOption.remove(DefaultOptionMap x0)
           
(package private)  Object FileOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object FileOption.getOption(DefaultOptionMap x0)
           
(package private)  Object FileOption.setString(DefaultOptionMap x0, String x1)
           
(package private)  Object BooleanOption.remove(DefaultOptionMap x0)
           
(package private)  Object BooleanOption.setOption(DefaultOptionMap x0, Object x1)
           
(package private)  Object BooleanOption.getOption(DefaultOptionMap x0)
           
(package private)  Object BooleanOption.setString(DefaultOptionMap x0, String x1)