RelaxNG/publidoc.rnc
changeset 105 ce5c5b08cb94
parent 104 2db7cb9721c0
child 109 78dceeeda33a
equal deleted inserted replaced
104:2db7cb9721c0 105:ce5c5b08cb94
   142 section.head = element head { section.head.content }
   142 section.head = element head { section.head.content }
   143 
   143 
   144 section.head.content =
   144 section.head.content =
   145    (title, subtitle?)?
   145    (title, subtitle?)?
   146  & abstract?
   146  & abstract?
       
   147  & audio*
   147  & annotation*
   148  & annotation*
   148 
   149 
   149 
   150 
   150 # =============================================================================
   151 # =============================================================================
   151 #                                 BLOCK LEVEL
   152 #                                 BLOCK LEVEL
   326 audio = element audio { audio.attributes }
   327 audio = element audio { audio.attributes }
   327 
   328 
   328 audio.attributes =
   329 audio.attributes =
   329    media.id.attribute
   330    media.id.attribute
   330  & audio.type?
   331  & audio.type?
   331 audio.type = attribute type { "music" | "voice" | "ambiance" }
   332 audio.type = attribute type { "music" | "voice" | "ambiance" | "smil" }
   332 
   333 
   333 
   334 
   334 # =============================================================================
   335 # =============================================================================
   335 #                                 HEAD LEVEL
   336 #                                 HEAD LEVEL
   336 # =============================================================================
   337 # =============================================================================
   468 cover.image = element image { cover.image.attributes }
   469 cover.image = element image { cover.image.attributes }
   469 
   470 
   470 cover.image.attributes =
   471 cover.image.attributes =
   471    cover.image.id.attribute
   472    cover.image.id.attribute
   472 cover.image.id.attribute = attribute id { xsd:NMTOKEN }
   473 cover.image.id.attribute = attribute id { xsd:NMTOKEN }
   473 
   474    
   474 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   475 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   475 
   476 
   476 annotation = element annotation { annotation.content }
   477 annotation = element annotation { annotation.content }
   477 
   478 
   478 annotation.content = inlines
   479 annotation.content = inlines
   501  & term*
   502  & term*
   502  & link*
   503  & link*
   503  & anchor*
   504  & anchor*
   504  & initial*
   505  & initial*
   505  & image*
   506  & image*
       
   507  & smil*
   506 }
   508 }
   507 
   509 
   508 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   510 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   509 
   511 
   510 sup = element sup { text }
   512 sup = element sup { text }
   642 initial.content =
   644 initial.content =
   643    c,
   645    c,
   644    w?
   646    w?
   645 
   647 
   646 c = element c { text }
   648 c = element c { text }
       
   649 
       
   650 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       
   651 
       
   652 smil = element smil { smil.attributes, smil.content }
       
   653 
       
   654 smil.attributes =
       
   655    begin.attribute?
       
   656  & end.attribute?
       
   657 begin.attribute = attribute begin { xsd:decimal }
       
   658 end.attribute = attribute end { xsd:decimal }
       
   659 
       
   660 smil.content = inlines