First version of Di Lena's stylesheet generator (for the HELM DTD).

[helm.git] / helm / meta_style / operator.dtd

diff --git a/helm/meta_style/operator.dtd b/helm/meta_style/operator.dtd
new file mode 100644 (file)
index 0000000..c764669
--- /dev/null
+++ b/helm/meta_style/operator.dtd
@@ -0,0 +1,71 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!-- CIC operators description: -->
+
+<!ELEMENT OpList ((include|import)*, (OpSet|NotOpSet|Operator|NotOperator)+)>
+
+<!ELEMENT include EMPTY>
+<!ATTLIST include
+          href CDATA #REQUIRED>
+
+<!ELEMENT import EMPTY>
+<!ATTLIST import
+          href CDATA #REQUIRED>
+
+<!ELEMENT OpSet (Case,Case+)>
+<!ATTLIST OpSet
+          name  CDATA        #IMPLIED
+          cook  (true|false) "false"
+                 uri   CDATA        #REQUIRED
+          hide  NMTOKEN      "0"
+          m-tag CDATA        #IMPLIED>
+
+<!ELEMENT NotOpSet (Case,Case+)>
+<!ATTLIST NotOpSet
+          name  CDATA        #IMPLIED
+          uri   CDATA        #REQUIRED
+                 cook  (true|false) "false"
+          hide  NMTOKEN      "0"
+          m-tag CDATA        #IMPLIED>
+
+<!ELEMENT Case (mapp|mop|param|mbvar|mvar|PCDATA)*>
+<!ATTLIST Case
+          arity NMTOKEN #REQUIRED>
+
+<!ELEMENT Operator (mapp|mop|param|mbvar|mvar|PCDATA)*>
+<!ATTLIST Operator
+          name  CDATA        #IMPLIED
+          uri   CDATA        #REQUIRED
+                 cook  (true|false) "false"
+          hide  NMTOKEN      "0" 
+          arity NMTOKEN      "0" 
+          m-tag CDATA        #IMPLIED>
+
+<!ELEMENT NotOperator (mapp|mop|param|mbvar|mvar|PCDATA)*>
+<!ATTLIST NotOperator
+          name  CDATA        #IMPLIED
+          uri   CDATA        #REQUIRED
+                 cook  (true|false) "false"
+          hide  NMTOKEN      "0"
+          arity NMTOKEN      "0"
+          m-tag CDATA        #IMPLIED>
+
+<!ELEMENT mop (mop|mapp|param|PCDATA)*>
+<!ATTLIST mop
+          tag CDATA #REQUIRED>
+
+<!ELEMENT mapp (mop|mapp|param|mbvar|mvar|PCDATA)+>
+
+<!ELEMENT param EMPTY>
+<!ATTLIST param
+          id   CDATA #REQUIRED
+          bvar CDATA #IMPLIED
+          mode CDATA "noannot">
+
+<!ELEMENT mbvar (PCDATA)*>
+<!ATTLIST mbvar
+          name CDATA #REQUIRED>
+
+<!ELEMENT mvar EMPTY>
+<!ATTLIST mvar
+          name CDATA #REQUIRED>