equal
deleted
inserted
replaced
124 # FILE LEVEL |
124 # FILE LEVEL |
125 # ============================================================================= |
125 # ============================================================================= |
126 |
126 |
127 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ file ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
127 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ file ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
128 |
128 |
129 composition.file = element file { composition.file.attributes } |
129 composition.file = element file { composition.file.attributes, file.content } |
130 selection.file = element file { selection.file.attributes, file.content } |
130 selection.file = element file { selection.file.attributes, file.content } |
131 |
131 |
132 composition.file.attributes = |
132 composition.file.attributes = |
133 name.attribute |
133 path.attribute? |
134 & path.attribute? |
|
135 & (xpath.attribute | xslt.attribute)? |
134 & (xpath.attribute | xslt.attribute)? |
136 selection.file.attributes = |
135 selection.file.attributes = |
137 name.attribute |
136 path.attribute? |
138 & uri.attribute? |
137 |
139 name.attribute = attribute name { xsd:anyURI } |
138 file.content = xsd:anyURI |
140 |
|
141 file.content = inlines |
|
142 |
139 |
143 |
140 |
144 # ============================================================================= |
141 # ============================================================================= |
145 # BLOCK LEVEL |
142 # BLOCK LEVEL |
146 # ============================================================================= |
143 # ============================================================================= |