|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |