/** 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); }