public void attribute(NameSpec nameSpec, Datatype datatype, AttributeDefault attributeDefault)
throws Exception {
w.startElement("attribute");
nameSpec.accept(this);
datatype.accept(this);
attributeDefault.accept(this);
w.endElement();
}
public void datatypeDef(String name, Datatype datatype) throws Exception {
w.startElement("datatype");
w.attribute("name", name);
datatype.accept(this);
w.endElement();
}