Return to proofsystem.rng CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / libxml2 / test / relaxng

Annotation of embedaddon/libxml2/test/relaxng/proofsystem.rng, revision 1.1.1.1

1.1       misho       1: <grammar xmlns="http://relaxng.org/ns/structure/1.0"
                      2:          ns="http://relaxng.org/ns/proofsystem">
                      3: 
                      4: <start>
                      5:   <element name="proofSystem">
                      6:     <oneOrMore>
                      7:       <element name="rule">
                      8:         <attribute name="name"/>
                      9:        <zeroOrMore>
                     10:          <ref name="antecedent"/>
                     11:        </zeroOrMore>
                     12:        <ref name="consequent"/>
                     13:       </element>
                     14:     </oneOrMore>
                     15:   </element>
                     16: </start>
                     17: 
                     18: <define name="formula">
                     19:   <element name="formula">
                     20:     <choice>
                     21:       <ref name="judgement"/>
                     22:       <ref name="expr"/>
                     23:     </choice>
                     24:   </element>
                     25: </define>
                     26: 
                     27: <define name="consequent">
                     28:   <ref name="judgement"/>
                     29: </define>
                     30: 
                     31: <define name="antecedent">
                     32:   <ref name="judgement"/>
                     33: </define>
                     34: 
                     35: <define name="judgement">
                     36:   <choice>
                     37:     <element name="judgement">
                     38:       <attribute name="name"/>
                     39:       <zeroOrMore>
                     40:        <ref name="expr"/>
                     41:       </zeroOrMore>
                     42:     </element>
                     43:     <element name="not">
                     44:       <ref name="judgement"/>
                     45:     </element>
                     46:   </choice>
                     47: </define>
                     48: 
                     49: <define name="expr">
                     50:   <choice>
                     51:     <element name="var">
                     52:       <attribute name="range"/>
                     53:       <optional>
                     54:        <attribute name="index"/>
                     55:       </optional>
                     56:       <optional>
                     57:        <attribute name="sub"/>
                     58:       </optional>
                     59:     </element>
                     60:     <element name="function">
                     61:       <attribute name="name"/>
                     62:       <zeroOrMore>
                     63:         <ref name="expr"/>
                     64:       </zeroOrMore>
                     65:     </element>
                     66:     <element name="element">
                     67:       <attribute name="name"/>
                     68:       <zeroOrMore>
                     69:         <element name="attribute">
                     70:           <attribute name="name"/>
                     71:           <ref name="expr"/> 
                     72:         </element>
                     73:       </zeroOrMore>
                     74:       <optional>
                     75:         <ref name="context"/>
                     76:       </optional>
                     77:       <zeroOrMore>
                     78:         <ref name="expr"/>
                     79:       </zeroOrMore>
                     80:     </element>
                     81:     <element name="group">
                     82:       <zeroOrMore>
                     83:         <ref name="expr"/>
                     84:       </zeroOrMore>
                     85:     </element>
                     86:     <element name="string"><text/></element>
                     87:   </choice>
                     88: </define>
                     89: 
                     90: <define name="context">
                     91:   <element name="context">
                     92:     <ref name="expr"/>
                     93:   </element>
                     94: </define>
                     95: 
                     96: </grammar>