RelaxNG/publiquiz.rnc
changeset 380 17e61e935b8b
parent 379 f19169277267
child 381 429101cc5d26
equal deleted inserted replaced
379:f19169277267 380:17e61e935b8b
   142    success.attribute?
   142    success.attribute?
   143  & strict.attribute?
   143  & strict.attribute?
   144 blanks-select.attributes =
   144 blanks-select.attributes =
   145    success.attribute?
   145    success.attribute?
   146  & multiple.attribute?
   146  & multiple.attribute?
   147  & shuffle.attribute?
   147  & noshuffle.attribute?
   148 strict.attribute = attribute strict { xsd:boolean }
   148 strict.attribute = attribute strict { xsd:boolean }
   149 multiple.attribute = attribute multiple { xsd:boolean }
   149 multiple.attribute = attribute multiple { xsd:boolean }
       
   150 noshuffle.attribute = attribute no-shuffle { xsd:boolean }
   150 
   151 
   151 blanks-fill.content =
   152 blanks-fill.content =
   152    (blanks.block+ | blanks.section+)
   153    (blanks.block+ | blanks.section+)
   153 blanks-select.content =
   154 blanks-select.content =
   154    blanks.intruders?,
   155    blanks.intruders?,
   250 categories = element categories { categories.attributes, categories.content }
   251 categories = element categories { categories.attributes, categories.content }
   251 
   252 
   252 categories.attributes =
   253 categories.attributes =
   253    success.attribute?
   254    success.attribute?
   254  & multiple.attribute?
   255  & multiple.attribute?
   255  & shuffle.attribute?
   256  & noshuffle.attribute?
   256 
   257 
   257 categories.content =
   258 categories.content =
   258    categories.intruders?,
   259    categories.intruders?,
   259    category,
   260    category,
   260    category+
   261    category+