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           name  NMTOKENS #IMPLIED
  57           arity NMTOKEN  #IMPLIED
  58           mark  NMTOKEN  #IMPLIED
  59           meta  CDATA    #IMPLIED
  60 >
  61
  62 <!ELEMENT Abbr %terms;>
  63 <!ATTLIST Abbr
  64           name  NMTOKENS #IMPLIED
  65           arity NMTOKEN  #IMPLIED
  66           mark  NMTOKEN  #IMPLIED
  67           meta  CDATA    #IMPLIED
  68 >
  69
  70 <!ELEMENT Void EMPTY>
  71 <!ATTLIST Void
  72           name  NMTOKENS #IMPLIED
  73           arity NMTOKEN  #IMPLIED
  74           mark  NMTOKEN  #IMPLIED
  75           meta  CDATA    #IMPLIED
  76 >
  77
  78 <!-- ENVIRONMENT ENTRIES -->
  79
  80 <!ENTITY % entity '(ABST|ABBR)'>
  81
  82 <!ELEMENT ABST %term;>
  83 <!ATTLIST ABST
  84           uri  CDATA   #REQUIRED
  85           name NMTOKEN #IMPLIED
  86           mark NMTOKEN #IMPLIED
  87           meta CDATA   #IMPLIED
  88 >
  89
  90 <!ELEMENT ABBR %term;>
  91 <!ATTLIST ABBR
  92           uri  CDATA   #REQUIRED
  93           name NMTOKEN #IMPLIED
  94           mark NMTOKEN #IMPLIED
  95           meta CDATA   #IMPLIED
  96 >
  97
  98 <!-- ROOT -->
  99
 100 <!ELEMENT ENTITY %entity;>
 101 <!ATTLIST ENTITY
 102           hierarchy NMTOKEN  #REQUIRED
 103           options   NMTOKENS #IMPLIED
 104 >