RelaxNG/publiquiz.rnc
changeset 461 58b2704e601a
parent 450 fd645a45932e
child 462 61f23b379b5d
equal deleted inserted replaced
460:7e0c719c9526 461:58b2704e601a
   279    success.attribute?
   279    success.attribute?
   280  & shuffle.attribute?
   280  & shuffle.attribute?
   281  & orientation.attribute?
   281  & orientation.attribute?
   282 
   282 
   283 sort.content =
   283 sort.content =
   284    comparison?,
   284     comparison?,
   285    sort.item,
   285     sort.intruders?,
   286    sort.item+
   286     sort.item,
       
   287     sort.item+
   287 
   288 
   288 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   289 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   289 
   290 
   290 # ~~~~~~ category.head
   291 # ~~~~~~ category.head
   291 category.head = element head { category.head.content }
   292 category.head = element head { category.head.content }
   875 # ~~~~~~ comparison
   876 # ~~~~~~ comparison
   876 comparison = element comparison { comparison.content }
   877 comparison = element comparison { comparison.content }
   877 
   878 
   878 comparison.content = inlines
   879 comparison.content = inlines
   879 
   880 
       
   881 # ~~~~~~~ sort.intruders
       
   882 sort.intruders = element intruders { sort.intruders.content }
       
   883 
       
   884 sort.intruders.content =
       
   885    sort.item+
       
   886 
   880 # ~~~~~~ sort.item
   887 # ~~~~~~ sort.item
   881 sort.item = element item { sort.item.attributes, sort.item.content }
   888 sort.item = element item { sort.item.attributes, sort.item.content }
   882 
   889 
   883 sort.item.attributes =
   890 sort.item.attributes =
   884    item.shuffle.attribute?
   891    item.shuffle.attribute?