A number of tests, both valid and invalid, demonstrating use of the new XSD 1.1 features for wildcards, for example the notNamespace and notQName attributes. Allows any attribute except for two designated namespaces Valid, no attributes present. Valid, permitted attributes present. Invalid, disallowed attributes present. Invalid, disallowed attributes present. Allows any attribute except for two designated namespaces Valid, no children present. Valid, permitted children present. Invalid, disallowed children present. Invalid, disallowed atchildrentributes present. Allows any attribute so long as it's in a namespace Valid, no attributes present. Valid, permitted attributes present. Invalid, disallowed attribute present. Allows any child so long as it's in a namespace Valid, no children present. Valid, permitted child present. Invalid, disallowed child present. Allows any attribute so long as it's in a namespace Valid, no attributes present. Valid, permitted attributes present. Invalid, disallowed attribute present. Allows any child so long as it's in a namespace Valid, no children present. Valid, permitted child present. Invalid, disallowed child present. Invalid schema Invalid schema Allows any attribute so long as it's in a namespace other than target Valid, no attributes present. Valid, permitted attributes present. Invalid, disallowed attribute present. Invalid, disallowed attribute present. Allows any child so long as it's in a namespace other than target Valid, no children present. Valid, permitted children present. Invalid, disallowed children present. Invalid, disallowed children present. Allows any attribute so long as it's in a namespace other than target Valid, no attributes present. Valid, permitted attributes present. Invalid, disallowed attribute present. Invalid, disallowed attribute present. Allows any child so long as it's in a namespace other than target Valid, no children present. Valid, permitted children present. Invalid, disallowed children present. Invalid, disallowed children present. The union allows anything Valid, all attributes are permitted. The union allows abel but not cain Valid, abel is permitted. Invalid, cain is banished. The union allows adam, eve, and abel but not cain Valid, all three attributes permitted. Invalid, cain is banished. The union allows adam, eve, and abel but not cain. Inversion of wild015.xsd. Valid, all three attributes permitted. Invalid, cain is banished. Restricted type disallows more namespaces than the base type disallows Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Restricted type disallows more namespaces than the base type disallows Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Restricted type disallows more namespaces than the base type disallows Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Restricted type allows more namespaces than base type Restricted type allows more namespaces than base type Restricted type allows more namespaces than base type Type allows anything allowed by all the attribute wildcards Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in no namespace. Type allows anything allowed by all the attribute wildcards Valid, attribute permitted. Valid, attribute in no namespace. Invalid, attribute in disallowed namespace. Type allows anything allowed by all the attribute wildcards Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Type allows anything allowed by all the attribute wildcards Valid, attribute permitted. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Invalid, attribute in disallowed namespace. Allows any attribute except for xml:space or xml:id Valid, only permitted attributes present. Invalid, disallowed xml:space attribute present. Invalid, disallowed xml:id attribute present. Allows any child element except for xml:space or xml:id Valid, only permitted elements present. Invalid, disallowed xml:space element present. Invalid, disallowed xml:id element present. Allows any child element except for a Valid, only permitted elements present. Invalid, disallowed element present. Invalid, not element present to match the wildcard. No speaker element allowed on the subtype Valid, only permitted elements present. Valid, valid instance of the subtype. Invalid, disallowed element "speaker" is present. Violates rule 4 of 3.10.6.1 Wildcard Properties Correct Violates rule 4 of 3.10.6.1 Wildcard Properties Correct Violates rule 4 of 3.10.6.1 Wildcard Properties Correct Violates rule 4 of 3.10.6.1 Wildcard Properties Correct Violates rule 4 of 3.10.6.1 Wildcard Properties Correct invalid QName in notQName attribute invalid QName in notQName attribute invalid QName in notQName attribute invalid QName in notQName attribute xsi:type is validated without reference to attribute uses or wildcards Valid, xsi:type is permitted despite the wildcard. Invalid, xsi:type has to conform to the standard rules regardless of processContents=skip. Error: see 3.2.6.4 xsi: not allowed There's no rule to stop non-standard attributes in the xsi namespace being introduced by wildcard Valid, xsi:banana is permitted by the wildcard. Invalid, xsi:nil is governed by the built-in type definition, not the wildcard. disallows the union of the disallowed QNames Valid, attribute f is permitted by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. disallows the union of the disallowed QNames Valid, attribute f is permitted by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. disallows the intersection of the disallowed QNames Valid, attribute a is permitted by the wildcard. Valid, attribute d is permitted by the wildcard. Invalid, attribute c is excluded by the wildcard. Invalid, attribute xml:space is excluded by the wildcard. disallows the intersection of the disallowed QNames Valid, attribute a is permitted by the wildcard. Valid, attribute d is permitted by the wildcard. Invalid, attribute c is excluded by the wildcard. Invalid, attribute xml:lang is excluded by the wildcard. disallows the intersection of the disallowed QNames Valid, child is permitted by the wildcard. Invalid, child element is excluded by the wildcard. Base type disallows QNames that the restricted type does not disallow Restricted type disallows all QNames that the base type disallows Restricted type disallows all QNames that the base type disallows Restricted type does not disallow all QNames that the base type disallows Basic test of ##defined Valid, child is permitted by the wildcard. Valid, child is permitted by the wildcard. Invalid, child element is excluded by the wildcard. Invalid, child element is excluded by the wildcard. Basic test of ##defined with multiple namespaces Valid, child is permitted by the wildcard. Valid, child is permitted by the wildcard. Invalid, child element is excluded by the wildcard. Invalid, child element is excluded by the wildcard. Basic test of ##defined Valid, attribute is permitted by the wildcard. Valid, attribute is permitted by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Valid restriction of wildcard Valid, attributes are permitted by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Valid restriction of wildcard Valid, attributes are permitted by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid, attribute is excluded by the wildcard. Invalid restriction of wildcard Both wildcards specify notQName="##defined" Valid, attributes are permitted by the wildcard. Invalid, attribute is specifically excluded by the wildcard. Invalid, attribute is excluded by the wildcard, it's a global attribute declaration. One wildcard specifies notQName="##defined" Valid, attributes are permitted by the wildcard. Invalid, attribute is specifically excluded by the wildcard. Invalid, zong attribute is not present in the intersection of the attribute groups. Both wildcards specify notQName="##defined" so union is expressible Valid, attributes are permitted by the wildcard. Valid, attribute is allowed in the union wildcard. Invalid, attribute is excluded by the wildcard, it's a global attribute declaration. Schema is valid, instance is not Invalid in 1.1, second e element fails dynamic EDC test. Schema is valid, instance is not Valid, g element is skipped. Invalid in 1.1, second e element fails dynamic EDC test. Invalid in 1.1, second e element fails dynamic EDC test because of xsi:type Invalid in 1.1, second f element fails dynamic EDC test because of xsi:type Schema is valid, instance is not Valid, second e element is OK. Valid, second f element is OK. Invalid in 1.1, second e element fails dynamic EDC test. Invalid in 1.1, second e element fails dynamic EDC test because of xsi:type Schema is valid, instance is not Valid, g element is OK. Valid, second e element is OK because of xsi:type Invalid in 1.1, second e element fails dynamic EDC test. Schema is valid, instance is not Valid, g element is OK because of xsi:type. Invalid in 1.1, g element fails dynamic EDC test. Substitutability involving a union Valid, e element is OK, belongs to a member of the union. Substitutability involving a union Valid, e element is not OK, belongs not to a member of the union. Context determined type comes from base type of restriction Valid, e element is not OK, clashes with element particle e defined in base type. Context determined type comes from base type of restriction notQName=##definedSibling in a sequence content model Valid. Invalid, a element is not OK, clashes with a defined sibling. Invalid, a element is not OK, clashes with a defined sibling. notQName=##definedSibling in a sequence content model Valid. Invalid, a element is not OK, clashes with a defined sibling. Invalid, a element is not OK, clashes with a defined sibling. notQName=##definedSibling in an xs:all content model Valid. Invalid, a element is not OK, clashes with a defined sibling. Invalid, a element is not OK, clashes with a defined sibling. Variant of wild072 without the ##definedSibling, for comparison Valid. Invalid, a element is not OK, clashes with a defined sibling. Invalid, a element is not OK, clashes with a defined sibling. Open Content with ##definedSibling Valid. Invalid, a element is not OK, clashes with a defined sibling. Invalid, a element is not OK, clashes with a defined sibling. Violation of Element Locally Valid (Complex Type) Rule 5 Valid. Invalid, a element is not OK, clashes with type of a sibling. Violation of Element Locally Valid (Complex Type) Rule 5 Valid. Invalid, a element is not OK, clashes with type of a sibling. Violation of Element Locally Valid (Complex Type) Rule 5, not a problem with a skip wildcard Valid. Valid, element is OK because it's a skip wildcard. Violation of Element Declarations Consistent (type tables differ) Violation of Element Declarations Consistent No violation of Element Declarations Consistent with a skip wildcard Valid, element is OK because it's a skip wildcard. Violation of Element Declarations Consistent (type tables differ) No violation of Element Declarations Consistent because the type tables are "the same" Valid, element is OK. Tests the spec note: Note: When one of the wildcards has defined in {disallowed names} and the other does not, then defined is not included in the union. This may allow QNames that are not allowed by either wildcard. This is to ensure that all unions are expressible. If defined is intended to be included, then it is necessary to have it in both wildcards. Valid, attribute is permitted by the wildcard. Invalid, attribute is excluded by the wildcard.