|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OptionParser | |
edu.rice.cs.drjava.config | This package contains the code that allows for dynamically modifying the configuration options in DrJava. |
Uses of OptionParser in edu.rice.cs.drjava.config |
Subclasses of OptionParser in edu.rice.cs.drjava.config | |
class |
BooleanOption
Class defining all configuration options with values of type Boolean. |
class |
ColorOption
Class defining all configuration options with values of type Color. |
class |
FileOption
Class representing all configuration options with values of type File. |
class |
FontOption
Class defining all configuration entries of type Font |
class |
IntegerOption
Class defining all configuration options with values of type Integer. |
class |
KeyStrokeOption
Class representing all configuration options with values of type KeyStroke. |
class |
NonNegativeIntegerOption
Class defining all configuration options with values of type NonNegativeInteger. |
class |
Option
Represents a configurable option in DrJava that has a static (programmatic) type of T. |
class |
StringOption
Class representing all configuration options with values of type String. |
class |
VectorOption
Abstract class defining behavior shared by all configuration options with values of type Vector |
Methods in edu.rice.cs.drjava.config with parameters of type OptionParser | |
Object |
DefaultOptionMap.getOption(OptionParser o)
|
private void |
DefaultOptionMap.setOption(OptionParser o)
|
String |
DefaultOptionMap.getString(OptionParser o)
|
Object |
DefaultOptionMap.setString(OptionParser o,
String s)
|
Object |
DefaultOptionMap.removeOption(OptionParser o)
|
Object |
OptionMap.getOption(OptionParser o)
|
String |
OptionMap.getString(OptionParser o)
|
Object |
OptionMap.setString(OptionParser o,
String s)
|
Object |
OptionMap.removeOption(OptionParser o)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |