RelaxNG/publiquiz.rnc
changeset 216 414224d5a623
parent 209 6b1ee27e6b84
child 218 ebfe53d246b3
--- a/RelaxNG/publiquiz.rnc	jeu. juin 13 13:23:26 2013 +0200
+++ b/RelaxNG/publiquiz.rnc	jeu. juin 13 17:56:18 2013 +0200
@@ -98,6 +98,7 @@
  | choices-check
  | blanks-fill
  | blanks-select
+ | blanks-char
  | point
  | matching
  | sort
@@ -128,6 +129,7 @@
    blanks-fill.attributes, blanks-fill.content }
 blanks-select = element blanks-select {
    blanks-select.attributes, blanks-select.content }
+blanks-char = element blanks-char { blanks-select.content }
 
 blanks-fill.attributes =
    strict.attribute?
@@ -519,7 +521,11 @@
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 # ~~~~~~ blank
-blank = element blank { blank.content }
+blank = element blank { blank.attributes, blank.content }
+
+blank.attributes =
+   function.attribute?
+function.attribute = attribute function { 'lowercase' | 'uppercase' }
 
 blank.content =
    text