equal
deleted
inserted
replaced
214 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
214 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
215 |
215 |
216 document = element document { document.attributes, document.content } |
216 document = element document { document.attributes, document.content } |
217 |
217 |
218 document.attributes = |
218 document.attributes = |
219 document.id.attribute |
219 document.id.attribute? |
220 & document.type.attribute? |
220 & document.type.attribute? |
221 & lang.attribute? |
221 & lang.attribute? |
222 document.id.attribute = attribute id { xsd:NMTOKEN } |
222 document.id.attribute = attribute id { xsd:NMTOKEN } |
223 document.type.attribute = attribute type { xsd:NCName } |
223 document.type.attribute = attribute type { xsd:NCName } |
224 lang.attribute = attribute xml:lang { xsd:language } |
224 lang.attribute = attribute xml:lang { xsd:language } |
230 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
230 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
231 |
231 |
232 top.topic = element topic { top.topic.attributes, top.topic.content } |
232 top.topic = element topic { top.topic.attributes, top.topic.content } |
233 |
233 |
234 top.topic.attributes = |
234 top.topic.attributes = |
235 topic.id.attribute |
235 topic.id.attribute? |
236 & topic.type.attribute? |
236 & topic.type.attribute? |
237 & lang.attribute? |
237 & lang.attribute? |
238 topic.id.attribute = attribute id { xsd:NMTOKEN } |
238 topic.id.attribute = attribute id { xsd:NMTOKEN } |
239 topic.type.attribute = attribute type { xsd:NCName } |
239 topic.type.attribute = attribute type { xsd:NCName } |
240 |
240 |