| Modifier and Type | Method and Description |
|---|---|
OptionsParser.OptionValueDescription |
OptionsParser.getOptionValueDescription(String name)
Returns a description of the option value set by the last previous call to
OptionsParser.parse(OptionPriority, String, List) that successfully set the given
option. |
| Modifier and Type | Method and Description |
|---|---|
List<OptionsParser.OptionValueDescription> |
OptionsProvider.asListOfEffectiveOptions()
Returns a list of all options, including undocumented ones, and their
effective values.
|
List<OptionsParser.OptionValueDescription> |
OptionsParser.asListOfEffectiveOptions() |
Map<String,OptionsParser.OptionValueDescription> |
OptionsParser.clearValue(String optionName)
Clears the given option.
|
Copyright © 2016. All rights reserved.