RelaxNG/publiset.rnc
changeset 317 78fcb5b0d156
parent 313 e4f154ea2837
child 323 5ff538313a95
--- a/RelaxNG/publiset.rnc	dim. juin 22 09:47:20 2014 +0200
+++ b/RelaxNG/publiset.rnc	dim. juil. 13 15:12:21 2014 +0200
@@ -196,15 +196,17 @@
 
 composition.attributes =
    composition.id.attribute
+ & lang.attribute?
+ & pi-source.attribute?
  & path.attribute?
  & (xpath.attribute | xslt.attribute)?
  & remap.attributes
- & lang.attribute?
 composition.id.attribute = attribute id { xsd:NMTOKEN }
+lang.attribute = attribute xml:lang { xsd:language }
+pi-source.attribute = attribute pi-source { xsd:boolean }
 path.attribute = attribute path { xsd:anyURI }
 xslt.attribute = attribute xslt { xsd:anyURI }
 xpath.attribute = attribute xpath { text }
-lang.attribute = attribute xml:lang { xsd:language }
 
 composition.content =
    composition.head?,
@@ -241,8 +243,8 @@
 
 selection.attributes =
    selection.id.attribute
+ & lang.attribute?
  & path.attribute?
- & lang.attribute?
 selection.id.attribute = attribute id { xsd:NMTOKEN }
 
 selection.content =