public interface OptionHandler
Modifier and Type | Method and Description |
---|---|
String[] |
getOptions()
Gets the current option settings for the OptionHandler.
|
Enumeration |
listOptions()
Returns an enumeration of all the available options..
|
void |
setOptions(String[] options)
Sets the OptionHandler's options using the given list.
|
Enumeration listOptions()
void setOptions(String[] options) throws Exception
options
- the list of options as an array of stringsException
- if an option is not supportedString[] getOptions()
Copyright © 2016 University of Waikato, Hamilton, NZ. All Rights Reserved.