equal
deleted
inserted
replaced
139 blanks-char = element blanks-char { blanks-select.content } |
139 blanks-char = element blanks-char { blanks-select.content } |
140 |
140 |
141 blanks-fill.attributes = |
141 blanks-fill.attributes = |
142 success.attribute? |
142 success.attribute? |
143 & strict.attribute? |
143 & strict.attribute? |
|
144 & long.attribute? |
144 blanks-select.attributes = |
145 blanks-select.attributes = |
145 success.attribute? |
146 success.attribute? |
146 & multiple.attribute? |
147 & multiple.attribute? |
147 & noshuffle.attribute? |
148 & noshuffle.attribute? |
148 strict.attribute = attribute strict { xsd:boolean } |
149 strict.attribute = attribute strict { xsd:boolean } |
149 multiple.attribute = attribute multiple { xsd:boolean } |
150 multiple.attribute = attribute multiple { xsd:boolean } |
150 noshuffle.attribute = attribute no-shuffle { xsd:boolean } |
151 noshuffle.attribute = attribute no-shuffle { xsd:boolean } |
|
152 long.attribute = attribute long { xsd:positiveInteger } |
151 |
153 |
152 blanks-fill.content = |
154 blanks-fill.content = |
153 (blanks.block+ | blanks.section+) |
155 (blanks.block+ | blanks.section+) |
154 blanks-select.content = |
156 blanks-select.content = |
155 blanks.intruders?, |
157 blanks.intruders?, |
655 |
657 |
656 # ~~~~~~ blank |
658 # ~~~~~~ blank |
657 blank = element blank { blank.attributes, blank.content } |
659 blank = element blank { blank.attributes, blank.content } |
658 |
660 |
659 blank.attributes = |
661 blank.attributes = |
660 function.attribute? |
662 area.attribute? |
|
663 & long.attribute? |
|
664 & function.attribute? |
|
665 area.attribute = attribute area { xsd:boolean } |
661 function.attribute = attribute function { 'lowercase' | 'uppercase' } |
666 function.attribute = attribute function { 'lowercase' | 'uppercase' } |
662 |
667 |
663 blank.content = |
668 blank.content = |
664 text |
669 text |
665 | (s+, help?, answer?) |
670 | (s+, help?, answer?) |