public void internalEntityDecl(String name, String value) throws Exception {
w.startElement("internalEntity");
w.attribute("name", name);
boolean useCharRef = value.length() == 1 && value.charAt(0) >= 0x80;
w.characters(value, useCharRef);
w.endElement();
}
public void externalIdRef(
String name, ExternalId xid, String uri, String encoding, TopLevel[] contents)
throws Exception {
w.startElement("externalIdRef");
w.attribute("name", name);
for (int i = 0; i < contents.length; i++) contents[i].accept(this);
w.endElement();
}
public void overriddenDef(Def def, boolean duplicate) throws Exception {
w.startElement("overridden");
if (duplicate) {
w.startElement("duplicate");
w.attribute("name", def.getName());
w.endElement();
} else def.accept(this);
w.endElement();
}
public void processingInstruction(String target, String value) throws Exception {
w.startElement("processingInstruction");
w.attribute("target", target);
w.characters(value);
w.endElement();
}
public void paramDef(String name, String value) throws IOException {
w.startElement("param");
w.attribute("name", name);
w.characters(value);
w.endElement();
}
public void nameSpecRef(String name, NameSpec nameSpec) throws Exception {
w.startElement("nameSpecRef");
w.attribute("name", name);
w.endElement();
}
public void notationDatatype(EnumGroup enumGroup) throws Exception {
w.startElement("tokenized");
w.attribute("name", "NOTATION");
enumGroup.accept(this);
w.endElement();
}
public void flagDef(String name, Flag flag) throws Exception {
w.startElement("flag");
w.attribute("name", name);
flag.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 ignoredSection(Flag flag, String contents) throws Exception {
w.startElement("ignoredSection");
if (flag instanceof FlagRef) w.attribute("flag", ((FlagRef) flag).getName());
w.characters(contents);
w.endElement();
}
public void externalIdDef(String name, ExternalId xid) throws IOException {
w.startElement("externalId");
w.attribute("name", name);
externalId(xid);
w.endElement();
}
public void includedSection(Flag flag, TopLevel[] contents) throws Exception {
w.startElement("includedSection");
if (flag instanceof FlagRef) w.attribute("flag", ((FlagRef) flag).getName());
for (int i = 0; i < contents.length; i++) contents[i].accept(this);
w.endElement();
}
public void flagRef(String name, Flag flag) throws IOException {
w.startElement("flagRef");
w.attribute("name", name);
w.endElement();
}
public void datatypeRef(String name, Datatype datatype) throws IOException {
w.startElement("datatypeRef");
w.attribute("name", name);
w.endElement();
}
public void modelGroupDef(String name, ModelGroup modelGroup) throws Exception {
w.startElement("modelGroup");
w.attribute("name", name);
modelGroup.accept(this);
w.endElement();
}
public void notationDecl(String name, ExternalId xid) throws IOException {
w.startElement("notation");
w.attribute("name", name);
externalId(xid);
w.endElement();
}
public void attributeGroupDef(String name, AttributeGroup attributeGroup) throws Exception {
w.startElement("attributeGroup");
w.attribute("name", name);
attributeGroup.accept(this);
w.endElement();
}
private void attributeIfNotNull(String name, String value) throws IOException {
if (value != null) w.attribute(name, value);
}
public void datatypeDef(String name, Datatype datatype) throws Exception {
w.startElement("datatype");
w.attribute("name", name);
datatype.accept(this);
w.endElement();
}
public void nameSpecDef(String name, NameSpec nameSpec) throws Exception {
w.startElement("nameSpec");
w.attribute("name", name);
nameSpec.accept(this);
w.endElement();
}
public void attributeDefaultDef(String name, AttributeDefault attributeDefault) throws Exception {
w.startElement("attributeDefault");
w.attribute("name", name);
attributeDefault.accept(this);
w.endElement();
}
public void tokenizedDatatype(String typeName) throws IOException {
w.startElement("tokenized");
w.attribute("name", typeName);
w.endElement();
}
