/** Check if the value for a choice option has been set to a specific value. */
public boolean isSet(OptionName name, String value) {
return (values.get(name.optionName + value) != null);
}
/** Check if the value for an undocumented option has been set. */
public boolean isSet(String name) {
return (values.get(name) != null);
}
/** Get the value for an option. */
public String get(OptionName name) {
return values.get(name.optionName);
}
/** Get the value for an undocumented option. */
public String get(String name) {
return values.get(name);
}
/** Check if the value for an option has not been set. */
public boolean isUnset(OptionName name) {
return (values.get(name.optionName) == null);
}
/** Check if the value for an undocumented option has not been set. */
public boolean isUnset(String name) {
return (values.get(name) == null);
}
