anyAttr-derive-errors1_0.xsd 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223
  1. <?xml version="1.0" encoding="ISO-8859-1"?>
  2. <xsd:schema xmlns:foo="http://FOO" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:import="http://IMPORT"
  3. targetNamespace="http://FOO" elementFormDefault="qualified">
  4. <xsd:import namespace="http://IMPORT" schemaLocation="anyAttr.importA.1_0.xsd"/>
  5. <xsd:import schemaLocation="anyAttr.importB.1_0.xsd"/>
  6. <xsd:element name="foo">
  7. <xsd:complexType>
  8. <xsd:sequence>
  9. <!-- Attribute Wildcard Union -->
  10. <xsd:element name="derive.1_1" type="foo:type.1_1"/>
  11. <xsd:element name="derive.1_4" type="foo:type.1_4"/>
  12. <xsd:element name="derive.2_1" type="foo:type.2_1"/>
  13. <xsd:element name="derive.3_1" type="foo:type.3_1"/>
  14. <xsd:element name="derive.4_1" type="foo:type.4_1"/>
  15. <xsd:element name="derive.5_1_a" type="foo:type.5_1_a"/>
  16. <xsd:element name="derive.5_1_b" type="foo:type.5_1_b"/>
  17. <xsd:element name="derive.5_2_a" type="foo:type.5_2_a"/>
  18. <xsd:element name="derive.5_2_b" type="foo:type.5_2_b"/>
  19. <xsd:element name="derive.5_4_a" type="foo:type.5_4_a"/>
  20. <xsd:element name="derive.5_4_b" type="foo:type.5_4_b"/>
  21. <xsd:element name="derive.6_1" type="foo:type.6_1"/>
  22. <xsd:element name="derive.6_2" type="foo:type.6_2"/>
  23. </xsd:sequence>
  24. </xsd:complexType>
  25. </xsd:element>
  26. <!-- Attribute Wildcard Union -->
  27. <!-- 1. If O1 and O2 are the same value, then that value must be the value. -->
  28. <xsd:complexType name="type.1_1">
  29. <xsd:complexContent>
  30. <xsd:extension base="foo:type.base.1_1">
  31. <xsd:anyAttribute namespace="##any" processContents="lax"/>
  32. </xsd:extension>
  33. </xsd:complexContent>
  34. </xsd:complexType>
  35. <xsd:complexType name="type.base.1_1">
  36. <xsd:attributeGroup ref="foo:attrGr.1_1"/>
  37. <xsd:anyAttribute namespace="##any" processContents="lax"/>
  38. </xsd:complexType>
  39. <xsd:attributeGroup name="attrGr.1_1">
  40. <xsd:anyAttribute namespace="##any" processContents="lax"/>
  41. </xsd:attributeGroup>
  42. <xsd:complexType name="type.1_4">
  43. <xsd:complexContent>
  44. <xsd:extension base="foo:type.base.1_4">
  45. <xsd:anyAttribute namespace="http://BAR ##local http://FOO" processContents="lax"/>
  46. </xsd:extension>
  47. </xsd:complexContent>
  48. </xsd:complexType>
  49. <xsd:complexType name="type.base.1_4">
  50. <xsd:attributeGroup ref="foo:attrGr.1_4"/>
  51. <xsd:anyAttribute namespace="##local http://BAR ##targetNamespace " processContents="lax"/>
  52. </xsd:complexType>
  53. <xsd:attributeGroup name="attrGr.1_4">
  54. <xsd:anyAttribute namespace=" http://FOO http://BAR ##local"/>
  55. </xsd:attributeGroup>
  56. <!-- 2. If either O1 or O2 is any, then any must be the value. -->
  57. <xsd:complexType name="type.2_1">
  58. <xsd:complexContent>
  59. <xsd:extension base="foo:type.base.2_1">
  60. <xsd:anyAttribute namespace="##any" processContents="lax"/>
  61. </xsd:extension>
  62. </xsd:complexContent>
  63. </xsd:complexType>
  64. <xsd:complexType name="type.base.2_1">
  65. <xsd:attributeGroup ref="foo:attrGr.2_1"/>
  66. <xsd:anyAttribute namespace="##any" processContents="lax"/>
  67. </xsd:complexType>
  68. <xsd:attributeGroup name="attrGr.2_1">
  69. <xsd:anyAttribute namespace="##local ##targetNamespace"/>
  70. </xsd:attributeGroup>
  71. <!-- 3. If both O1 and O2 are sets of (namespace names or ·absent·),
  72. then the union of those sets must be the value. -->
  73. <xsd:complexType name="type.3_1">
  74. <xsd:complexContent>
  75. <xsd:extension base="foo:type.base.3_1">
  76. <xsd:anyAttribute namespace="##targetNamespace http://DOO" processContents="lax"/>
  77. </xsd:extension>
  78. </xsd:complexContent>
  79. </xsd:complexType>
  80. <xsd:complexType name="type.base.3_1">
  81. <xsd:attributeGroup ref="foo:attrGr.3_1"/>
  82. <xsd:anyAttribute namespace="##local" processContents="lax"/>
  83. </xsd:complexType>
  84. <xsd:attributeGroup name="attrGr.3_1">
  85. <xsd:anyAttribute namespace="##local ##targetNamespace http://BAR"/>
  86. </xsd:attributeGroup>
  87. <!-- 4 If the two are negations of different values (namespace
  88. names or ·absent·), then a pair of not and ·absent· must be the value. -->
  89. <xsd:complexType name="type.4_1">
  90. <xsd:complexContent>
  91. <xsd:extension base="imp.type.base.derive.4_1">
  92. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  93. </xsd:extension>
  94. </xsd:complexContent>
  95. </xsd:complexType>
  96. <!-- 5 If either O1 or O2 is a pair of not and a namespace name and
  97. the other is a set of (namespace names or ·absent·) (call this set S),
  98. then The appropriate case among the following must be true: -->
  99. <!-- 5.1 If the set S includes both the negated namespace name and
  100. ·absent·, then any must be the value. -->
  101. <xsd:complexType name="type.5_1_a">
  102. <xsd:complexContent>
  103. <xsd:extension base="foo:type.base.5_1_a">
  104. <xsd:anyAttribute namespace="##local ##targetNamespace" processContents="lax"/>
  105. </xsd:extension>
  106. </xsd:complexContent>
  107. </xsd:complexType>
  108. <xsd:complexType name="type.base.5_1_a">
  109. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  110. </xsd:complexType>
  111. <xsd:complexType name="type.5_1_b">
  112. <xsd:complexContent>
  113. <xsd:extension base="foo:type.base.5_1_b">
  114. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  115. </xsd:extension>
  116. </xsd:complexContent>
  117. </xsd:complexType>
  118. <xsd:complexType name="type.base.5_1_b">
  119. <xsd:anyAttribute namespace="##local ##targetNamespace" processContents="lax"/>
  120. </xsd:complexType>
  121. <!-- 5.2 If the set S includes the negated namespace name but not ·absent·,
  122. then a pair of not and ·absent· must be the value. -->
  123. <xsd:complexType name="type.5_2_a">
  124. <xsd:complexContent>
  125. <xsd:extension base="foo:type.base.5_2_a">
  126. <xsd:anyAttribute namespace="##targetNamespace http://BAR" processContents="lax"/>
  127. </xsd:extension>
  128. </xsd:complexContent>
  129. </xsd:complexType>
  130. <xsd:complexType name="type.base.5_2_a">
  131. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  132. </xsd:complexType>
  133. <xsd:complexType name="type.5_2_b">
  134. <xsd:complexContent>
  135. <xsd:extension base="foo:type.base.5_2_b">
  136. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  137. </xsd:extension>
  138. </xsd:complexContent>
  139. </xsd:complexType>
  140. <xsd:complexType name="type.base.5_2_b">
  141. <xsd:anyAttribute namespace="##targetNamespace http://BAR" processContents="lax"/>
  142. </xsd:complexType>
  143. <!-- 5.3 If the set S includes ·absent· but not the negated namespace name,
  144. then the union is not expressible. -->
  145. <!--
  146. <xsd:complexType name="type.5_3_a">
  147. <xsd:complexContent>
  148. <xsd:extension base="foo:type.base.5_3_a">
  149. <xsd:anyAttribute namespace="##local http://BAR" processContents="lax"/>
  150. </xsd:extension>
  151. </xsd:complexContent>
  152. </xsd:complexType>
  153. <xsd:complexType name="type.base.5_3_a">
  154. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  155. </xsd:complexType>
  156. <xsd:complexType name="type.5_3_b">
  157. <xsd:complexContent>
  158. <xsd:extension base="foo:type.base.5_3_b">
  159. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  160. </xsd:extension>
  161. </xsd:complexContent>
  162. </xsd:complexType>
  163. <xsd:complexType name="type.base.5_3_b">
  164. <xsd:anyAttribute namespace="##local http://BAR" processContents="lax"/>
  165. </xsd:complexType>
  166. -->
  167. <!-- 5.4 If the set S does not include either the negated namespace name
  168. or ·absent·, then whichever of O1 or O2 is a pair of not and a namespace
  169. name must be the value. -->
  170. <xsd:complexType name="type.5_4_a">
  171. <xsd:complexContent>
  172. <xsd:extension base="foo:type.base.5_4_a">
  173. <xsd:anyAttribute namespace="http://BAR" processContents="lax"/>
  174. </xsd:extension>
  175. </xsd:complexContent>
  176. </xsd:complexType>
  177. <xsd:complexType name="type.base.5_4_a">
  178. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  179. </xsd:complexType>
  180. <xsd:complexType name="type.5_4_b">
  181. <xsd:complexContent>
  182. <xsd:extension base="foo:type.base.5_4_b">
  183. <xsd:anyAttribute namespace="##other" processContents="lax"/>
  184. </xsd:extension>
  185. </xsd:complexContent>
  186. </xsd:complexType>
  187. <xsd:complexType name="type.base.5_4_b">
  188. <xsd:anyAttribute namespace="http://BAR" processContents="lax"/>
  189. </xsd:complexType>
  190. <!-- 6 If either O1 or O2 is a pair of not and ·absent· and the other is a
  191. set of (namespace names or ·absent·) (again, call this set S), then The
  192. appropriate case among the following must be true: -->
  193. <!-- 6.1 If the set S includes ·absent·, then any must be the value. -->
  194. <xsd:complexType name="type.6_1">
  195. <xsd:complexContent>
  196. <xsd:extension base="imp.type.base.derive.6">
  197. <xsd:anyAttribute namespace="##local http://BAR" processContents="lax"/>
  198. </xsd:extension>
  199. </xsd:complexContent>
  200. </xsd:complexType>
  201. <!-- 6.2 If the set S does not include ·absent·, then a pair of not and ·absent·
  202. must be the value. -->
  203. <xsd:complexType name="type.6_2">
  204. <xsd:complexContent>
  205. <xsd:extension base="imp.type.base.derive.6">
  206. <xsd:anyAttribute namespace="http://BAR http://DOO" processContents="lax"/>
  207. </xsd:extension>
  208. </xsd:complexContent>
  209. </xsd:complexType>
  210. </xsd:schema>