# HG changeset patch # User Patrick PIERRE # Date 1405257141 -7200 # Node ID 78fcb5b0d1562dcf0a820ddbb6bcf00558c42c5a # Parent 47ffc0efdd377a876b851298c81e0558f337d57c Ajout de l'attribut pi-source diff -r 47ffc0efdd37 -r 78fcb5b0d156 Data/Sets/composition.xml --- a/Data/Sets/composition.xml dim. juin 22 09:47:20 2014 +0200 +++ b/Data/Sets/composition.xml dim. juil. 13 15:12:21 2014 +0200 @@ -1,7 +1,7 @@ - diff -r 47ffc0efdd37 -r 78fcb5b0d156 RelaxNG/publiset.rnc --- 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 =