| java.lang.Object edu.rice.cs.drjava.config.OptionParser
OptionParser | abstract public class OptionParser implements ParseStrategy<T>(Code) | | The association of an OptionName with the ability to parse something to type T; the intended type
parameterization is covariant: if U extends T, then OptionParser extends OptionParser.
|
Constructor Summary | |
public | OptionParser(String name, T def) Constructor that takes in a name
Parameters: name - the name of this option (i.e. |
map | final Hashtable<DefaultOptionMap, T> map(Code) | | An inner hashtable that maps DefaultOptionMaps to value T's. Part of the magic inner workings of this package.
|
name | final public String name(Code) | | The logical name of this configurable option (i.e. "indent.size") public because it's final,
and a String is immutable.
|
OptionParser | public OptionParser(String name, T def)(Code) | | Constructor that takes in a name
Parameters: name - the name of this option (i.e. "indent.level"); |
getDefault | public T getDefault()(Code) | | the default value |
getDefaultString | abstract public String getDefaultString()(Code) | | the default value as a string |
getName | public String getName()(Code) | | Accessor for name option
name of this option (i.e. "indent.level") |
parse | abstract public T parse(String value)(Code) | | The ability to parse a string to an object of type T. All concrete versions of this class must override this
method to provide some sort of parser implementation.
Parameters: value - a String to parse the statically-typed representation of the string value. |
setString | T setString(DefaultOptionMap om, String val)(Code) | | Uses parse() and setOption() so that any changes in parsing will automatically be applied to setString().
|
|
|