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 <!ELEMENT Sort EMPTY>
  14 <!ATTLIST Sort
  15           position NMTOKEN #REQUIRED
  16           name     NMTOKEN #IMPLIED
  17           mark     NMTOKEN #IMPLIED
  18           meta     CDATA   #IMPLIED
  19 >
  20
  21 <!ELEMENT LRef EMPTY>
  22 <!ATTLIST LRef
  23           position NMTOKEN #REQUIRED
  24           name     NMTOKEN #IMPLIED
  25           mark     NMTOKEN #IMPLIED
  26           meta     CDATA   #IMPLIED
  27 >
  28
  29 <!ELEMENT GRef EMPTY>
  30 <!ATTLIST GRef
  31           uri  CDATA   #REQUIRED
  32           name NMTOKEN #IMPLIED
  33           mark NMTOKEN #IMPLIED
  34           meta CDATA   #IMPLIED
  35 >
  36
  37 <!ELEMENT Cast %term;>
  38 <!ATTLIST Cast
  39           arity NMTOKEN #IMPLIED
  40           mark  NMTOKEN #IMPLIED
  41           meta  CDATA   #IMPLIED
  42 >
  43
  44 <!ELEMENT Appl %term;>
  45 <!ATTLIST Appl
  46           arity NMTOKEN #IMPLIED
  47           mark  NMTOKEN #IMPLIED
  48           meta  CDATA   #IMPLIED
  49 >
  50
  51 <!ELEMENT Abst %term;>
  52 <!ATTLIST Abst
  53           name  NMTOKENS #IMPLIED
  54           arity NMTOKEN  #IMPLIED
  55           mark  NMTOKEN  #IMPLIED
  56           meta  CDATA    #IMPLIED
  57 >
  58
  59 <!ELEMENT Abbr %term;>
  60 <!ATTLIST Abbr
  61           name  NMTOKENS #IMPLIED
  62           arity NMTOKEN  #IMPLIED
  63           mark  NMTOKEN  #IMPLIED
  64           meta  CDATA    #IMPLIED
  65 >
  66
  67 <!ELEMENT Void EMPTY>
  68 <!ATTLIST Void
  69           name  NMTOKENS #IMPLIED
  70           arity NMTOKEN  #IMPLIED
  71           mark  NMTOKEN  #IMPLIED
  72           meta  CDATA    #IMPLIED
  73 >
  74
  75 <!-- ENVIRONMENT ENTRIES -->
  76
  77 <!ENTITY % entity '(ABST|ABBR)'>
  78
  79 <!ELEMENT ABST %term;>
  80 <!ATTLIST ABST
  81           uri  CDATA   #REQUIRED
  82           name NMTOKEN #IMPLIED
  83           mark NMTOKEN #IMPLIED
  84           meta CDATA   #IMPLIED
  85 >
  86
  87 <!ELEMENT ABBR %term;>
  88 <!ATTLIST ABBR
  89           uri  CDATA   #REQUIRED
  90           name NMTOKEN #IMPLIED
  91           mark NMTOKEN #IMPLIED
  92           meta CDATA   #IMPLIED
  93 >
  94
  95 <!-- ROOT -->
  96
  97 <!ELEMENT ENTITY %entity;>
  98 <!ATTLIST ENTITY
  99           hierarchy NMTOKEN  #REQUIRED
 100           options   NMTOKENS #IMPLIED
 101 >