# HG changeset patch # User Patrick PIERRE # Date 1453817381 -3600 # Node ID 01dc5329a4857f63220f995caac0dc42dd8cfb4b # Parent f1ed1f966ce21145b9efb0754d7ef393380a82da Ajout de l'attribut mode diff -r f1ed1f966ce2 -r 01dc5329a485 RelaxNG/publiset.rnc --- a/RelaxNG/publiset.rnc jeu. janv. 14 18:13:20 2016 +0100 +++ b/RelaxNG/publiset.rnc mar. janv. 26 15:09:41 2016 +0100 @@ -294,9 +294,11 @@ & (xpath.attribute | xslt.attribute)? & remap.attributes & argument.attribute? + & mode.attribute? selection.division.attributes = path.attribute? & argument.attribute? + & mode.attribute? composition.division.content = composition.head?, @@ -319,9 +321,11 @@ path.attribute? & (xpath.attribute | xslt.attribute)? & argument.attribute? + & mode.attribute? selection.file.attributes = path.attribute? argument.attribute = attribute argument { text } +mode.attribute = attribute mode { text } file.content = xsd:anyURI