RelaxNG/publidoc.rnc
changeset 35 de4114d12ef1
parent 34 c51d5097d065
child 36 d23cfb7be79e
equal deleted inserted replaced
34:c51d5097d065 35:de4114d12ef1
    68  & date?
    68  & date?
    69  & place?
    69  & place?
    70  & source*
    70  & source*
    71  & subjectset?
    71  & subjectset?
    72  & abstract?
    72  & abstract?
       
    73  & cover?
    73  & annotation*
    74  & annotation*
    74 division.head.content =
    75 division.head.content =
    75    (title, subtitle?)?
    76    (title, subtitle?)?
    76  & language?
    77  & language?
    77  & annotation*
    78  & annotation*
   212 abstract = element abstract { abstract.content }
   213 abstract = element abstract { abstract.content }
   213 
   214 
   214 abstract.content =
   215 abstract.content =
   215    p+
   216    p+
   216 
   217 
       
   218 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       
   219 
       
   220 cover = element cover { cover.content }
       
   221 
       
   222 cover.content =
       
   223    cover.image
       
   224 
       
   225 cover.image = element image { cover.image.attributes }
       
   226 
       
   227 cover.image.attributes =
       
   228    cover.image.id.attribute
       
   229 cover.image.id.attribute = attribute id { xsd:NMTOKEN }
       
   230 
   217 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   231 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   218 
   232 
   219 annotation = element annotation { annotation.content }
   233 annotation = element annotation { annotation.content }
   220 
   234 
   221 annotation.content = inlines
   235 annotation.content = inlines
   395 
   409 
   396 caption.content =
   410 caption.content =
   397    inlines
   411    inlines
   398  | p+
   412  | p+
   399 
   413 
   400 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   414 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   401 
   415 
   402 # ~~~~~~ media
   416 # ~~~~~~ media
   403 media = element media { media.content }
   417 media = element media { media.content }
   404 
   418 
   405 media.content =
   419 media.content =
   406    block.head?,
   420    block.head?,
   407    image+,
   421    image+,
   408    caption?
   422    caption?,
       
   423    url?
   409 
   424 
   410 # ~~~~~~ image
   425 # ~~~~~~ image
   411 image = element image { image.attributes, image.content }
   426 image = element image { image.attributes, image.content }
   412 
   427 
   413 image.attributes =
   428 image.attributes =