# HG changeset patch
# User Patrick PIERRE
# Date 1372619243 -7200
# Node ID 3433c1953c64763cc7e2b95dd73e746ca2d74b62
# Parent 3b409238c9f9b52b7f148309d8659c609761e19b
Gestion de l'attribut 'type' pour <division>
diff -r 3b409238c9f9 -r 3433c1953c64 RelaxNG/Examples/Documents/torture_test.xml
--- a/RelaxNG/Examples/Documents/torture_test.xml lun. juin 24 09:18:36 2013 +0200
+++ b/RelaxNG/Examples/Documents/torture_test.xml dim. juin 30 21:07:23 2013 +0200
@@ -715,7 +715,7 @@
</division>
<!-- ================================================================== -->
- <division>
+ <division type="inline">
<head>
<title>Le niveau courant</title>
<abstract>
diff -r 3b409238c9f9 -r 3433c1953c64 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc lun. juin 24 09:18:36 2013 +0200
+++ b/RelaxNG/publidoc.rnc dim. juin 30 21:07:23 2013 +0200
@@ -82,7 +82,11 @@
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# ~~~~~~ division
-division = element division { division.content }
+division = element division { division.attributes, division.content }
+
+division.attributes =
+ division.type.attribute?
+division.type.attribute = attribute type { xsd:NCName }
division.content =
division.head?,