helm/meta_style/operator.dtd

   1 <?xml encoding="ISO-8859-1"?>
   2
   3 <!-- CIC operators description: -->
   4
   5 <!ELEMENT OpList ((include|import)*, (OpSet|NotOpSet|Operator|NotOperator)+)>
   6
   7 <!ELEMENT include EMPTY>
   8 <!ATTLIST include
   9           href CDATA #REQUIRED>
  10
  11 <!ELEMENT import EMPTY>
  12 <!ATTLIST import
  13           href CDATA #REQUIRED>
  14
  15 <!ELEMENT OpSet (Case,Case+)>
  16 <!ATTLIST OpSet
  17           name  CDATA        #IMPLIED
  18           cook  (true|false) "false"
  19                   uri   CDATA        #REQUIRED
  20           hide  NMTOKEN      "0"
  21           m-tag CDATA        #IMPLIED>
  22
  23 <!ELEMENT NotOpSet (Case,Case+)>
  24 <!ATTLIST NotOpSet
  25           name  CDATA        #IMPLIED
  26           uri   CDATA        #REQUIRED
  27                   cook  (true|false) "false"
  28           hide  NMTOKEN      "0"
  29           m-tag CDATA        #IMPLIED>
  30
  31 <!ELEMENT Case (mapp|mop|param|mbvar|mvar|PCDATA)*>
  32 <!ATTLIST Case
  33           arity NMTOKEN #REQUIRED>
  34
  35 <!ELEMENT Operator (mapp|mop|param|mbvar|mvar|PCDATA)*>
  36 <!ATTLIST Operator
  37           name  CDATA        #IMPLIED
  38           uri   CDATA        #REQUIRED
  39                   cook  (true|false) "false"
  40           hide  NMTOKEN      "0"
  41           arity NMTOKEN      "0"
  42           m-tag CDATA        #IMPLIED>
  43
  44 <!ELEMENT NotOperator (mapp|mop|param|mbvar|mvar|PCDATA)*>
  45 <!ATTLIST NotOperator
  46           name  CDATA        #IMPLIED
  47           uri   CDATA        #REQUIRED
  48                   cook  (true|false) "false"
  49           hide  NMTOKEN      "0"
  50           arity NMTOKEN      "0"
  51           m-tag CDATA        #IMPLIED>
  52
  53 <!ELEMENT mop (mop|mapp|param|PCDATA)*>
  54 <!ATTLIST mop
  55           tag CDATA #REQUIRED>
  56
  57 <!ELEMENT mapp (mop|mapp|param|mbvar|mvar|PCDATA)+>
  58
  59 <!ELEMENT param EMPTY>
  60 <!ATTLIST param
  61           id   CDATA #REQUIRED
  62           bvar CDATA #IMPLIED
  63           mode CDATA "noannot">
  64
  65 <!ELEMENT mbvar (PCDATA)*>
  66 <!ATTLIST mbvar
  67           name CDATA #REQUIRED>
  68
  69 <!ELEMENT mvar EMPTY>
  70 <!ATTLIST mvar
  71           name CDATA #REQUIRED>