diff options
| author | Mike Hommey <mh@glandium.org> | 2004-03-25 06:59:32 +0000 |
|---|---|---|
| committer | Mike Hommey <mh@glandium.org> | 2004-03-25 06:59:32 +0000 |
| commit | d09ab089457ae3c20cc98f9afa03379c6ebf9598 (patch) | |
| tree | f34702d634972abbc1b478a4529149b548a1cd4c /test/relaxng/proofsystem.rng | |
| download | libxml2-upstream/2.6.8.tar.gz | |
[svn-inject] Installing original source versionupstream/2.6.8
Diffstat (limited to 'test/relaxng/proofsystem.rng')
| -rw-r--r-- | test/relaxng/proofsystem.rng | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/test/relaxng/proofsystem.rng b/test/relaxng/proofsystem.rng new file mode 100644 index 0000000..7fe6bd3 --- /dev/null +++ b/test/relaxng/proofsystem.rng @@ -0,0 +1,96 @@ +<grammar xmlns="http://relaxng.org/ns/structure/1.0"
+ ns="http://relaxng.org/ns/proofsystem">
+
+<start>
+ <element name="proofSystem">
+ <oneOrMore>
+ <element name="rule">
+ <attribute name="name"/>
+ <zeroOrMore>
+ <ref name="antecedent"/>
+ </zeroOrMore>
+ <ref name="consequent"/>
+ </element>
+ </oneOrMore>
+ </element>
+</start>
+
+<define name="formula">
+ <element name="formula">
+ <choice>
+ <ref name="judgement"/>
+ <ref name="expr"/>
+ </choice>
+ </element>
+</define>
+
+<define name="consequent">
+ <ref name="judgement"/>
+</define>
+
+<define name="antecedent">
+ <ref name="judgement"/>
+</define>
+
+<define name="judgement">
+ <choice>
+ <element name="judgement">
+ <attribute name="name"/>
+ <zeroOrMore>
+ <ref name="expr"/>
+ </zeroOrMore>
+ </element>
+ <element name="not">
+ <ref name="judgement"/>
+ </element>
+ </choice>
+</define>
+
+<define name="expr">
+ <choice>
+ <element name="var">
+ <attribute name="range"/>
+ <optional>
+ <attribute name="index"/>
+ </optional>
+ <optional>
+ <attribute name="sub"/>
+ </optional>
+ </element>
+ <element name="function">
+ <attribute name="name"/>
+ <zeroOrMore>
+ <ref name="expr"/>
+ </zeroOrMore>
+ </element>
+ <element name="element">
+ <attribute name="name"/>
+ <zeroOrMore>
+ <element name="attribute">
+ <attribute name="name"/>
+ <ref name="expr"/>
+ </element>
+ </zeroOrMore>
+ <optional>
+ <ref name="context"/>
+ </optional>
+ <zeroOrMore>
+ <ref name="expr"/>
+ </zeroOrMore>
+ </element>
+ <element name="group">
+ <zeroOrMore>
+ <ref name="expr"/>
+ </zeroOrMore>
+ </element>
+ <element name="string"><text/></element>
+ </choice>
+</define>
+
+<define name="context">
+ <element name="context">
+ <ref name="expr"/>
+ </element>
+</define>
+
+</grammar>
|