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