Element options = debugNode.addElement("options");
Iterator opts = status.tagOptions.keySet().iterator();
String key;
Element optionElem;
TMLOption tmloption;
while (opts.hasNext()) {
key = (String) opts.next();
if (!key.startsWith("$")) {
tmloption = (TMLOption) status.tagOptions.get(key);
optionElem = options.addElement("option");
optionElem.addAttribute("name", tmloption.getName());
optionElem.addAttribute("type", (tmloption.getValue() != null ? tmloption.getValue().getClass().getName() : "(none)"));
optionElem.addText(String.valueOf(tmloption.getValue()));
}
}
}