equal
deleted
inserted
replaced
281 # SECTION LEVEL |
281 # SECTION LEVEL |
282 # ============================================================================= |
282 # ============================================================================= |
283 |
283 |
284 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
284 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
285 |
285 |
286 section = element section { section.content, section.attributes } |
286 section = element section { section.attributes, section.content } |
|
287 |
|
288 section.attributes = |
|
289 section.type.attribute? |
|
290 section.type.attribute = attribute type { xsd:NCName } |
287 |
291 |
288 section.content = |
292 section.content = |
289 section.head?, |
293 section.head?, |
290 (section+ | block+) |
294 (section+ | block+) |
291 |
|
292 section.attributes = |
|
293 section.type.attribute? |
|
294 section.type.attribute = attribute type { xsd:NCName } |
|
295 |
295 |
296 |
296 |
297 # ============================================================================= |
297 # ============================================================================= |
298 # BLOCK LEVEL |
298 # BLOCK LEVEL |
299 # ============================================================================= |
299 # ============================================================================= |