Initial revision

[helm.git] / helm / dtd / annotations.dtd

diff --git a/helm/dtd/annotations.dtd b/helm/dtd/annotations.dtd
new file mode 100644 (file)
index 0000000..c7d3799
--- /dev/null
+++ b/helm/dtd/annotations.dtd
@@ -0,0 +1,29 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR ANNOTATED OBJECTS:                                      -->
+<!--  First draft: June 2000, Claudio Sacerdoti Coen                 -->
+<!--*****************************************************************-->
+
+<!ENTITY % annotation '(#PCDATA|node|attribute)*'>
+
+<!ELEMENT Annotations (Annotation)*>
+<!ATTLIST Annotations
+          of CDATA #REQUIRED>
+
+<!ELEMENT Annotation %annotation;>
+<!ATTLIST Annotation
+          of CDATA #REQUIRED>
+
+<!-- Annotations: -->
+
+<!ELEMENT attribute EMPTY>
+<!ATTLIST attribute
+          name       NMTOKEN #REQUIRED
+          id         NMTOKEN #REQUIRED
+          child      NMTOKEN #IMPLIED
+          grandchild NMTOKEN #IMPLIED>
+
+<!ELEMENT node EMPTY>
+<!ATTLIST node
+          id NMTOKEN #REQUIRED>