kc3-lang/libxml2/test/relaxng/spec.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/spec.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
<?xml version="1.0" encoding="iso-8859-1"?> <!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ --> <grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes" xmlns:p="http://relaxng.org/ns/proofsystem"> <start> <grammar> <include href="docbook.rng"/> <define name="synop.class" combine="choice"> <choice> <parentRef name="rngref"/> <parentRef name="grammarref"/> <grammar> <include href="proofsystem.rng"/> <start combine="choice"> <ref name="formula"/> </start> </grammar> </choice> </define> <define name="tech.char.class" combine="choice"> <parentRef name="terms"/> </define> </grammar> </start> <define name="rngref"> <element name="rngref"> <attribute name="src"> <data type="anyURI"/> </attribute> </element> </define> <define name="grammarref"> <element name="grammarref"> <attribute name="src"> <data type="anyURI"/> </attribute> </element> </define> <define name="terms"> <grammar> <include href="proofsystem.rng"> <start> <choice> <ref name="expr"/> <ref name="judgement"/> <ref name="context"/> </choice> </start> </include> </grammar> </define> </grammar>