RelaxNG/publiquiz.rnc
changeset 381 429101cc5d26
parent 380 17e61e935b8b
child 384 2f3e64c81871
--- a/RelaxNG/publiquiz.rnc	mar. mai 19 17:52:15 2015 +0200
+++ b/RelaxNG/publiquiz.rnc	mar. mai 19 18:32:20 2015 +0200
@@ -141,6 +141,7 @@
 blanks-fill.attributes =
    success.attribute?
  & strict.attribute?
+ & long.attribute?
 blanks-select.attributes =
    success.attribute?
  & multiple.attribute?
@@ -148,6 +149,7 @@
 strict.attribute = attribute strict { xsd:boolean }
 multiple.attribute = attribute multiple { xsd:boolean }
 noshuffle.attribute = attribute no-shuffle { xsd:boolean }
+long.attribute = attribute long { xsd:positiveInteger }
 
 blanks-fill.content =
    (blanks.block+ | blanks.section+)
@@ -657,7 +659,10 @@
 blank = element blank { blank.attributes, blank.content }
 
 blank.attributes =
-   function.attribute?
+   area.attribute?
+ & long.attribute?
+ & function.attribute?
+area.attribute = attribute area { xsd:boolean }
 function.attribute = attribute function { 'lowercase' | 'uppercase' }
 
 blank.content =