|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FormatStrategy | |
edu.rice.cs.drjava.config | This package contains the code that allows for dynamically modifying the configuration options in DrJava. |
Uses of FormatStrategy in edu.rice.cs.drjava.config |
Classes in edu.rice.cs.drjava.config that implement FormatStrategy | |
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 |
Fields in edu.rice.cs.drjava.config declared as FormatStrategy | |
protected FormatStrategy |
VectorOption.formatter
|
Constructors in edu.rice.cs.drjava.config with parameters of type FormatStrategy | |
VectorOption(String key,
ParseStrategy parser,
FormatStrategy formatter,
String header,
char delim,
String footer,
gj.util.Vector def)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |