public static void exportDTD(
final StringBuilder sb_header, final HashSet<String> hs, final String indent) {
final String type = "t2_dissector";
if (hs.contains(type)) return;
hs.add(type);
sb_header
.append(indent)
.append("<!ELEMENT t2_dissector (")
.append(Displayable.commonDTDChildren())
.append(",t2_dd_item)>\n");
Displayable.exportDTD(type, sb_header, hs, indent); // all ATTLIST of a Displayable
sb_header
.append(indent)
.append("<!ELEMENT t2_dd_item EMPTY>\n")
.append(indent)
.append("<!ATTLIST t2_dd_item radius NMTOKEN #REQUIRED>\n")
.append(indent)
.append("<!ATTLIST t2_dd_item tag NMTOKEN #REQUIRED>\n")
.append(indent)
.append("<!ATTLIST t2_dd_item points NMTOKEN #REQUIRED>\n");
}
