helm/www/lambdadelta/xml/ld.dtd

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- DTD for persistent lambdadelta logical data -->
   4
   5 <!-- TERMS -->
   6
   7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
   8
   9 <!ENTITY % node '(Proj|Cast|Appl|Abst|Abbr|Void)'>
  10
  11 <!ENTITY % term '(%node;*,%leaf;)'>
  12
  13 <!ENTITY % nodes '(%node;*)'>
  14
  15 <!ELEMENT Sort EMPTY>
  16 <!ATTLIST Sort
  17           position NMTOKEN #REQUIRED
  18           name     NMTOKEN #IMPLIED
  19 >
  20
  21 <!ELEMENT LRef EMPTY>
  22 <!ATTLIST LRef
  23           position NMTOKEN #REQUIRED
  24           name     NMTOKEN #IMPLIED
  25 >
  26
  27 <!ELEMENT GRef EMPTY>
  28 <!ATTLIST GRef
  29           uri      CDATA   #REQUIRED
  30           position NMTOKEN #REQUIRED
  31           name     NMTOKEN #IMPLIED
  32 >
  33
  34 <!ELEMENT Cast %term;>
  35 <!ATTLIST Cast
  36 >
  37
  38 <!ELEMENT Appl %term;>
  39 <!ATTLIST Appl
  40 >
  41
  42 <!ELEMENT Proj %nodes;>
  43 <!ATTLIST Proj
  44 >
  45
  46 <!ELEMENT Abst %term;>
  47 <!ATTLIST Abst
  48           level    NMTOKEN #IMPLIED
  49           position NMTOKEN #REQUIRED
  50           name     NMTOKEN #IMPLIED
  51 >
  52
  53 <!ELEMENT Abbr %term;>
  54 <!ATTLIST Abbr
  55           name  NMTOKEN #IMPLIED
  56 >
  57
  58 <!ELEMENT Void EMPTY>
  59 <!ATTLIST Void
  60           name  NMTOKEN #IMPLIED
  61 >
  62
  63 <!-- ENVIRONMENT ENTRIES -->
  64
  65 <!ENTITY % entity '(GDec|GDef)'>
  66
  67 <!ELEMENT GDec %term;>
  68 <!ATTLIST GDec
  69           uri      CDATA    #REQUIRED
  70           position NMTOKEN  #REQUIRED
  71           name     NMTOKEN  #IMPLIED
  72           meta     NMTOKENS #IMPLIED
  73           lang     NMTOKEN  "en-US"
  74           info     CDATA    #IMPLIED
  75 >
  76
  77 <!ELEMENT GDef %term;>
  78 <!ATTLIST GDef
  79           uri      CDATA    #REQUIRED
  80           position NMTOKEN  #REQUIRED
  81           name     NMTOKEN  #IMPLIED
  82           meta     NMTOKENS #IMPLIED
  83           lang     NMTOKEN  "en-US"
  84           info     CDATA    #IMPLIED
  85 >
  86
  87 <!ELEMENT ENTITY %entity;>
  88 <!ATTLIST ENTITY
  89           xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
  90           hierarchy NMTOKEN  #REQUIRED
  91           options   NMTOKENS #IMPLIED
  92 >