public String toString() { // DRC - added for debugging and to view the content in the debugger
StringBuilder s = new StringBuilder();
s.append("[");
java.util.Iterator<Map.Entry<String, String>> pairs = values.entrySet().iterator();
while (pairs.hasNext()) {
Map.Entry<String, String> pair = pairs.next();
s.append(pair.getKey());
s.append("=");
s.append(pair.getValue());
s.append(",");
}
s.append("]");
return s.toString();
}
/** 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);
}
public int size() {
return values.size();
}
public void remove(String name) {
values.remove(name);
}
public Set<String> keySet() {
return values.keySet();
}
public void putAll(Options options) {
values.putAll(options.values);
}
public void put(OptionName name, String value) {
values.put(name.optionName, value);
}
public void put(String name, String value) {
values.put(name, value);
}
/** 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);
}
