RelaxNG/publiquiz.rnc
changeset 462 61f23b379b5d
parent 461 58b2704e601a
child 463 4a7e62074e60
equal deleted inserted replaced
461:58b2704e601a 462:61f23b379b5d
   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     sort.intruders?,
   284     comparison?,
   285     comparison?,
   285     sort.intruders?,
       
   286     sort.item,
   286     sort.item,
   287     sort.item+
   287     sort.item+
   288 
   288 
   289 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   289 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   290 
   290 
   869 
   869 
   870 match.item.content =
   870 match.item.content =
   871    inlines
   871    inlines
   872  | (p, help?, answer?)
   872  | (p, help?, answer?)
   873 
   873 
   874 # ~~~~~~~~~~~~~~~~~~~~~~~~ comparison, sort.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   874 # ~~~~~~~~~~~~~~~~~~~~ sort.intruders, comparison, sort.item ~~~~~~~~~~~~~~~~~~
       
   875 
       
   876 # ~~~~~~~ sort.intruders
       
   877 sort.intruders = element intruders { sort.intruders.content }
       
   878 
       
   879 sort.intruders.content =
       
   880    sort.item+
   875 
   881 
   876 # ~~~~~~ comparison
   882 # ~~~~~~ comparison
   877 comparison = element comparison { comparison.content }
   883 comparison = element comparison { comparison.content }
   878 
   884 
   879 comparison.content = inlines
   885 comparison.content = inlines
   880 
       
   881 # ~~~~~~~ sort.intruders
       
   882 sort.intruders = element intruders { sort.intruders.content }
       
   883 
       
   884 sort.intruders.content =
       
   885    sort.item+
       
   886 
   886 
   887 # ~~~~~~ sort.item
   887 # ~~~~~~ sort.item
   888 sort.item = element item { sort.item.attributes, sort.item.content }
   888 sort.item = element item { sort.item.attributes, sort.item.content }
   889 
   889 
   890 sort.item.attributes =
   890 sort.item.attributes =