helm/software/lambda-delta/xml/ld.dtd

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- DTD for persistent lambda-delta logical data -->
   4
   5 <!-- TERMS -->
   6
   7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
   8
   9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
  10
  11 <!ENTITY % term '(%node;*,%leaf;)'>
  12
  13 <!ENTITY % terms '(%term;*)'>
  14
  15 <!ELEMENT Sort EMPTY>
  16 <!ATTLIST Sort
  17           position NMTOKEN #REQUIRED
  18           name     NMTOKEN #IMPLIED
  19           mark     NMTOKEN #IMPLIED
  20           meta     CDATA   #IMPLIED
  21 >
  22
  23 <!ELEMENT LRef EMPTY>
  24 <!ATTLIST LRef
  25           position NMTOKEN #REQUIRED
  26           offset   NMTOKEN #IMPLIED
  27           name     NMTOKEN #IMPLIED
  28           mark     NMTOKEN #IMPLIED
  29           meta     CDATA   #IMPLIED
  30 >
  31
  32 <!ELEMENT GRef EMPTY>
  33 <!ATTLIST GRef
  34           uri  CDATA   #REQUIRED
  35           name NMTOKEN #IMPLIED
  36           mark NMTOKEN #IMPLIED
  37           meta CDATA   #IMPLIED
  38 >
  39
  40 <!ELEMENT Cast %term;>
  41 <!ATTLIST Cast
  42           arity NMTOKEN #IMPLIED
  43           mark  NMTOKEN #IMPLIED
  44           meta  CDATA   #IMPLIED
  45 >
  46
  47 <!ELEMENT Appl %terms;>
  48 <!ATTLIST Appl
  49           arity NMTOKEN #IMPLIED
  50           mark  NMTOKEN #IMPLIED
  51           meta  CDATA   #IMPLIED
  52 >
  53
  54 <!ELEMENT Abst %terms;>
  55 <!ATTLIST Abst
  56           level NMTOKEN  #IMPLIED
  57           name  NMTOKENS #IMPLIED
  58           arity NMTOKEN  #IMPLIED
  59           mark  NMTOKEN  #IMPLIED
  60           meta  CDATA    #IMPLIED
  61 >
  62
  63 <!ELEMENT Abbr %terms;>
  64 <!ATTLIST Abbr
  65           name  NMTOKENS #IMPLIED
  66           arity NMTOKEN  #IMPLIED
  67           mark  NMTOKEN  #IMPLIED
  68           meta  CDATA    #IMPLIED
  69 >
  70
  71 <!ELEMENT Void EMPTY>
  72 <!ATTLIST Void
  73           name  NMTOKENS #IMPLIED
  74           arity NMTOKEN  #IMPLIED
  75           mark  NMTOKEN  #IMPLIED
  76           meta  CDATA    #IMPLIED
  77 >
  78
  79 <!-- ENVIRONMENT ENTRIES -->
  80
  81 <!ENTITY % entity '(ABST|ABBR)'>
  82
  83 <!ELEMENT ABST %term;>
  84 <!ATTLIST ABST
  85           uri   CDATA   #REQUIRED
  86           level NMTOKEN #IMPLIED
  87           name  NMTOKEN #IMPLIED
  88           mark  NMTOKEN #IMPLIED
  89           meta  CDATA   #IMPLIED
  90 >
  91
  92 <!ELEMENT ABBR %term;>
  93 <!ATTLIST ABBR
  94           uri  CDATA   #REQUIRED
  95           name NMTOKEN #IMPLIED
  96           mark NMTOKEN #IMPLIED
  97           meta CDATA   #IMPLIED
  98 >
  99
 100 <!ELEMENT ENTITY %entity;>
 101 <!ATTLIST ENTITY
 102           hierarchy NMTOKEN  #REQUIRED
 103           options   NMTOKENS #IMPLIED
 104 >
 105
 106 <!-- CONVERSION CONSTRAINT SYSTEM -->
 107
 108 <!ENTITY % cc '(ToPositive|ToOne|ToNext)'>
 109
 110 <!ENTITY % ccs '(%cc;*)'>
 111
 112 <!ELEMENT ToPositive EMPTY>
 113 <!ATTLIST ToPositive
 114           arity NMTOKEN  #IMPLIED
 115           mark  NMTOKENS #IMPLIED
 116 >
 117
 118 <!ELEMENT ToOne EMPTY>
 119 <!ATTLIST ToOne
 120           arity NMTOKEN  #IMPLIED
 121           mark  NMTOKENS #IMPLIED
 122 >
 123
 124 <!ELEMENT ToNext EMPTY>
 125 <!ATTLIST ToNext
 126           arity NMTOKEN  #IMPLIED
 127           prec  NMTOKENS #IMPLIED
 128           next  NMTOKENS #IMPLIED
 129 >
 130
 131 <!ELEMENT CCS %ccs;>
 132 <!ATTLIST CCS
 133           uri  CDATA   #REQUIRED
 134 >