test/relaxng/spec.rng

   1 <?xml version="1.0" encoding="iso-8859-1"?>\r
   2 <!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ -->\r
   3 <grammar xmlns="http://relaxng.org/ns/structure/1.0"\r
   4          datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"\r
   5           xmlns:p="http://relaxng.org/ns/proofsystem">\r
   6 \r
   7 <start>\r
   8   <grammar>\r
   9     <include href="docbook.rng"/>\r
  10     <define name="synop.class" combine="choice">\r
  11       <choice>\r
  12         <parentRef name="rngref"/>\r
  13         <parentRef name="grammarref"/>\r
  14         <grammar>\r
  15           <include href="proofsystem.rng"/>\r
  16           <start combine="choice">\r
  17             <ref name="formula"/>\r
  18           </start>\r
  19         </grammar>\r
  20       </choice>\r
  21     </define>\r
  22     <define name="tech.char.class" combine="choice">\r
  23       <parentRef name="terms"/>\r
  24     </define>\r
  25   </grammar>\r
  26 </start>\r
  27 \r
  28 <define name="rngref">\r
  29   <element name="rngref">\r
  30     <attribute name="src">\r
  31       <data type="anyURI"/>\r
  32     </attribute>\r
  33   </element>\r
  34 </define>\r
  35 \r
  36 <define name="grammarref">\r
  37   <element name="grammarref">\r
  38     <attribute name="src">\r
  39       <data type="anyURI"/>\r
  40     </attribute>\r
  41   </element>\r
  42 </define>\r
  43 \r
  44 <define name="terms">\r
  45   <grammar>\r
  46      <include href="proofsystem.rng">\r
  47        <start>\r
  48          <choice>\r
  49            <ref name="expr"/>\r
  50            <ref name="judgement"/>\r
  51            <ref name="context"/>\r
  52          </choice>\r
  53        </start>\r
  54      </include>\r
  55   </grammar>\r
  56 </define>\r
  57 \r
  58 </grammar>\r
  59 \r
  60  \r