RelaxNG/publidoc.rnc
changeset 364 1479d96b7f5f
parent 363 1b39a8fc339f
child 384 2f3e64c81871
equal deleted inserted replaced
363:1b39a8fc339f 364:1479d96b7f5f
   111 }
   111 }
   112 
   112 
   113 source.content.file =
   113 source.content.file =
   114    identifier.uri
   114    identifier.uri
   115 source.content =
   115 source.content =
   116    annotation*
   116    annotation?
   117 
   117 
   118 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   118 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   119 
   119 
   120 # ~~~~~~ keywordset
   120 # ~~~~~~ keywordset
   121 keywordset = element keywordset { keywordset.content }
   121 keywordset = element keywordset { keywordset.content }
   181 
   181 
   182 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   182 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   183 
   183 
   184 annotation = element annotation { annotation.content }
   184 annotation = element annotation { annotation.content }
   185 
   185 
   186 annotation.content = inlines
   186 annotation.content =
       
   187    inlines | p+
   187 
   188 
   188 
   189 
   189 # =============================================================================
   190 # =============================================================================
   190 #                                  TOP LEVEL
   191 #                                  TOP LEVEL
   191 # =============================================================================
   192 # =============================================================================
   206  & keywordset?
   207  & keywordset?
   207  & subjectset?
   208  & subjectset?
   208  & indexset?
   209  & indexset?
   209  & abstract?
   210  & abstract?
   210  & cover?
   211  & cover?
   211  & annotation*
   212  & annotation?
   212 
   213 
   213 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   214 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   214 
   215 
   215 document = element document { document.attributes, document.content }
   216 document = element document { document.attributes, document.content }
   216 
   217 
   254 
   255 
   255 division.head.content =
   256 division.head.content =
   256    (title, shorttitle?, subtitle*)?
   257    (title, shorttitle?, subtitle*)?
   257  & indexset?
   258  & indexset?
   258  & abstract?
   259  & abstract?
   259  & annotation*
   260  & annotation?
   260 
   261 
   261 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   262 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   262 
   263 
   263 division = element division { division.attributes, division.content }
   264 division = element division { division.attributes, division.content }
   264 
   265 
   294  & place?
   295  & place?
   295  & keywordset?
   296  & keywordset?
   296  & subjectset?
   297  & subjectset?
   297  & indexset?
   298  & indexset?
   298  & abstract?
   299  & abstract?
   299  & annotation*
   300  & annotation?
   300 
   301 
   301 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   302 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   302 
   303 
   303 topic = element topic { topic.attributes, topic.content }
   304 topic = element topic { topic.attributes, topic.content }
   304 
   305 
   328  & keywordset?
   329  & keywordset?
   329  & subjectset?
   330  & subjectset?
   330  & indexset?
   331  & indexset?
   331  & abstract?
   332  & abstract?
   332  & audio*
   333  & audio*
   333  & annotation*
   334  & annotation?
   334 
   335 
   335 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   336 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   336 
   337 
   337 header = element header { header.content }
   338 header = element header { header.content }
   338 
   339 
   379 block.head = element head { block.head.content }
   380 block.head = element head { block.head.content }
   380 
   381 
   381 block.head.content =
   382 block.head.content =
   382    (title, shorttitle?, subtitle*)?
   383    (title, shorttitle?, subtitle*)?
   383  & indexset?
   384  & indexset?
   384  & annotation*
   385  & annotation?
   385 
   386 
   386 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   387 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   387 
   388 
   388 block = (p | \list | blockquote | speech | table | table.cals | media)
   389 block = (p | \list | blockquote | speech | table | table.cals | media)
   389 
   390