RelaxNG/publidoc.rnc
changeset 279 59d00f9494c9
parent 274 70ae719226b1
child 280 d8a32aa88111
equal deleted inserted replaced
278:2778051094c4 279:59d00f9494c9
   158 
   158 
   159 # ~~~~~~ section
   159 # ~~~~~~ section
   160 section = element section { section.attributes, section.content }
   160 section = element section { section.attributes, section.content }
   161 
   161 
   162 section.attributes =
   162 section.attributes =
   163    section.type.attribute?
   163    xmlid.attribute?
       
   164  & section.type.attribute?
   164  & lang.attribute?
   165  & lang.attribute?
   165  & for.attribute?
   166  & for.attribute?
   166 section.type.attribute = attribute type { xsd:NCName }
   167 section.type.attribute = attribute type { xsd:NCName }
   167 for.attribute = attribute for { xsd:NCName }
   168 for.attribute = attribute for { xsd:NCName }
   168 
   169 
   388 
   389 
   389 # ~~~~~~ media
   390 # ~~~~~~ media
   390 media = element media { media.attributes, media.content }
   391 media = element media { media.attributes, media.content }
   391 
   392 
   392 media.attributes =
   393 media.attributes =
   393    media.type.attribute?
   394    xmlid.attribute?
   394  & xmlid.attribute?
   395  & media.type.attribute?
   395 media.type.attribute = attribute type { xsd:NCName }
   396 media.type.attribute = attribute type { xsd:NCName }
   396 
   397 
   397 media.content =
   398 media.content =
   398    block.head?,
   399    block.head?,
   399    (image | audio | video)+,
   400    (image | audio | video)+,