public interface Choice
The GNU Lesser General Public License for details.
Modifier and Type | Method and Description |
---|---|
Class<? extends Object> |
getConversionClass()
The class that this Choice works on.
|
String |
getFullPath()
The full path of the option.
|
String |
getHelpText()
Gets a brief description of what is going on
|
String |
getKey()
The key of the option.
|
String |
getString()
String value to associate with the name (key)
|
String |
getType()
The type by which UIs can pick an appropriate editor
|
void |
init(org.jdom2.Element option,
ResourceBundle configResources)
String value to associate with the name (key)
|
boolean |
isHidden()
Whether this should be visible in a Config Editor.
|
boolean |
isIgnored()
Whether this should be ignored altogether in a Config Editor.
|
boolean |
isSaveable()
Is this Choice OK to write out to a file, or should we use settings in
this run of the program, but forget them for next time.
|
boolean |
requiresRestart()
Do we need to restart the program in order for this change to have
effect?
|
void |
setFullPath(String fullPath)
Sets the full path of the option.
|
void |
setHelpText(String helptext)
Sets a brief description of what is going on
|
void |
setString(String value)
String value to associate with this Field.
|
void init(org.jdom2.Element option, ResourceBundle configResources) throws StartupException
option
- the optionconfigResources
- the resource bundle to loadStartupException
- if startup is not possibleString getKey()
String getFullPath()
void setFullPath(String fullPath)
fullPath
- The path string as supplied in config.propertiesString getType()
Class<? extends Object> getConversionClass()
String getString()
void setString(String value) throws ConfigException
value
- The new value for this ChoiceConfigException
- if there is a problem with the configurationString getHelpText()
void setHelpText(String helptext)
helptext
- Some help textboolean isSaveable()
boolean isHidden()
boolean isIgnored()
boolean requiresRestart()