equal
deleted
inserted
replaced
77 & identifier* |
77 & identifier* |
78 & language? |
78 & language? |
79 & copyright? |
79 & copyright? |
80 & author* |
80 & author* |
81 & publisher? |
81 & publisher? |
82 & source? |
|
83 & cover? |
82 & cover? |
84 division.head.content = |
83 division.head.content = |
85 (title, subtitle?)? |
84 (title, subtitle?)? |
86 & language? |
85 & language? |
87 |
86 |
157 |
156 |
158 # ~~~~~~ label |
157 # ~~~~~~ label |
159 label = element label { label.content } |
158 label = element label { label.content } |
160 |
159 |
161 label.content = inlines |
160 label.content = inlines |
162 |
|
163 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
164 |
|
165 # ~~~~~~ source |
|
166 source = element source { |
|
167 ( (attribute type { "book" }, source.content.book) |
|
168 | (attribute type { "file" }, source.content.file)) |
|
169 } |
|
170 |
|
171 source.content.book = |
|
172 identifier.ean, |
|
173 title?, |
|
174 pagenumber* |
|
175 source.content.file = |
|
176 identifier.uri |
|
177 |
|
178 # ~~~~~~ pagenumber |
|
179 pagenumber = element pagenumber { pagenumber.attributes } |
|
180 |
|
181 pagenumber.attributes = |
|
182 pagenumber.value.attribute |
|
183 pagenumber.value.attribute = attribute value { pagenumber.value.enumeration } |
|
184 pagenumber.value.enumeration = xsd:positiveInteger |
|
185 |
161 |
186 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
162 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
187 |
163 |
188 cover = element cover { cover.content } |
164 cover = element cover { cover.content } |
189 |
165 |