equal
deleted
inserted
replaced
172 identifier = element identifier { |
172 identifier = element identifier { |
173 (attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"}) |
173 (attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"}) |
174 | (attribute type { "uri" }, for.attribute?, xsd:anyURI) |
174 | (attribute type { "uri" }, for.attribute?, xsd:anyURI) |
175 } |
175 } |
176 |
176 |
|
177 for.attribute = attribute for { xsd:NCName } |
|
178 |
177 # ~~~~~~ identifier.ean |
179 # ~~~~~~ identifier.ean |
178 identifier.ean = element identifier { |
180 identifier.ean = element identifier { |
179 attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"} |
181 attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"} |
180 } |
182 } |
181 |
183 |