RelaxNG/publidoc.rnc
changeset 137 75320469dbdc
parent 135 181072348399
child 138 06fb88fe4136
equal deleted inserted replaced
136:493f1b4c25de 137:75320469dbdc
    65 topic.id.attribute = attribute id { xsd:NMTOKEN }
    65 topic.id.attribute = attribute id { xsd:NMTOKEN }
    66 topic.type.attribute = attribute type { xsd:NCName }
    66 topic.type.attribute = attribute type { xsd:NCName }
    67 
    67 
    68 top.topic.content =
    68 top.topic.content =
    69    top.head?,
    69    top.head?,
    70    section+
    70    header?,
       
    71    section+,
       
    72    footer?
    71 
    73 
    72 
    74 
    73 # =============================================================================
    75 # =============================================================================
    74 #                                 DIVISION LEVEL
    76 #                                 DIVISION LEVEL
    75 # =============================================================================
    77 # =============================================================================
   116  & lang.attribute?
   118  & lang.attribute?
   117 topic.xmlid.attribute = attribute xml:id { xsd:ID }
   119 topic.xmlid.attribute = attribute xml:id { xsd:ID }
   118 
   120 
   119 topic.content =
   121 topic.content =
   120    component.head?,
   122    component.head?,
   121    section+
   123    header?,
       
   124    section+,
       
   125    footer?
   122 
   126 
   123 
   127 
   124 # =============================================================================
   128 # =============================================================================
   125 #                                 SECTION LEVEL
   129 #                                 SECTION LEVEL
   126 # =============================================================================
   130 # =============================================================================
       
   131 
       
   132 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       
   133 
       
   134 header = element header { header.content }
       
   135 
       
   136 header.content =
       
   137    block+
   127 
   138 
   128 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   139 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   129 
   140 
   130 # ~~~~~~ section
   141 # ~~~~~~ section
   131 section = element section { section.attributes, section.content }
   142 section = element section { section.attributes, section.content }
   145 section.head.content =
   156 section.head.content =
   146    (title, shorttitle?, subtitle?)?
   157    (title, shorttitle?, subtitle?)?
   147  & abstract?
   158  & abstract?
   148  & audio*
   159  & audio*
   149  & annotation*
   160  & annotation*
       
   161 
       
   162 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       
   163 
       
   164 footer = element footer { footer.content }
       
   165 
       
   166 footer.content =
       
   167    block+
   150 
   168 
   151 
   169 
   152 # =============================================================================
   170 # =============================================================================
   153 #                                 BLOCK LEVEL
   171 #                                 BLOCK LEVEL
   154 # =============================================================================
   172 # =============================================================================