public interface OptionHandler
| Modifier and Type | Method and Description |
|---|---|
String[] |
getOptions()
Gets the current option settings for the OptionHandler.
|
Enumeration<Option> |
listOptions()
Returns an enumeration of all the available options..
|
static OptionHandler |
makeCopy(OptionHandler toCopy)
Creates an instance of the class that the given option handler belongs to and sets the options for this
new instance by taking the option settings from the given option handler.
|
void |
setOptions(String[] options)
Sets the OptionHandler's options using the given list.
|
Enumeration<Option> listOptions()
void setOptions(String[] options) throws Exception
options - the list of options as an array of stringsException - if an option is not supportedString[] getOptions()
static OptionHandler makeCopy(OptionHandler toCopy) throws Exception
toCopy - the option handler to copyException - if the object could not be deep copied eitherCopyright © 2020 University of Waikato, Hamilton, NZ. All rights reserved.