public void notationDatatype(EnumGroup enumGroup) throws Exception {
w.startElement("tokenized");
w.attribute("name", "NOTATION");
enumGroup.accept(this);
w.endElement();
}
public void enumGroupDef(String name, EnumGroup enumGroup) throws Exception {
w.startElement("enumGroup");
w.attribute("name", name);
enumGroup.accept(this);
w.endElement();
}
public void enumDatatype(EnumGroup enumGroup) throws Exception {
w.startElement("tokenized");
enumGroup.accept(this);
w.endElement();
}