| edu.rice.cs.drjava.config.StringOption
| StringOption | | public class StringOption extends Option (Code) | | Class representing all configuration options with values of type String.
version:
$Id: StringOption.java 4255 2007-08-28 19:17:37Z mgricken $ |
| StringOption | | public StringOption(String key, String def)(Code) | |
Parameters:
key - The name of this Option. |
| format | | public String format(String s)(Code) | |
Parameters:
s - The String to be formatted. "s", no actual formatting is performed. |
| parse | | public String parse(String s)(Code) | |
Parameters:
s - The String to be parsed. "s", no actual parsing is performed. |
|
|