kc3-lang/libxml2/test/relaxng/proofsystem.rng
Tag
-
Show log
Commit
-
Hash : 249d7bbe
Author :
Date : 2003-03-19T21:02:29
attempt to cope with ID/IDREF(S) declared both in the DTD and in the * valid.c xmlschemastypes.c: attempt to cope with ID/IDREF(S) declared both in the DTD and in the Schemas <grin/> * relaxng.c: more debug, added a big optimization for <mixed> * test/relaxng/testsuite.xml: augmented the testsuite * test/relaxng/ result/relaxng: added the RelaxNG spec and a DocBook example to the regression tests Daniel
-
test/relaxng/proofsystem.rng
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 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>