Conditional simple type: example based on spec
Simple type of message depends on enumerated kind attribute
Valid, message with kind="date".
Valid, message with kind="time".
Valid, multiple messages at inner level.
Invalid, message with kind="date" but content is a time
Invalid, message with kind="date" at inner level
Conditional complex type with namespaces
Complex type of message depends on enumerated min attribute
Valid, various messages.
Invalid, message with min=1 but no child elements
Conditional complex type with namespaces
Trivial reference to the name of the element
Valid, various messages.
Invalid, message with min=1 but no child elements
Conditional complex type with namespaces
Variant of cta0003 (same instance documents) using xpathDefaultNamespace
Valid, various messages.
Invalid, message with min=1 but no child elements
Conditional complex type with namespaces
Variant of cta0003 (same instance documents) using xpathDefaultNamespace
at the schema level
Valid, various messages.
Invalid, message with min=1 but no child elements
Conditional simple type: selecting a branch of a union
Simple type of message depends on enumerated kind attribute, value is
a QName identifying the branch of a union (xsi:type simulation)
Added conditional results (bug 13455)
Valid messages
Invalid message with kind="xs:int"
Invalid message with kind="xs:QName (namespace not declared"
Variant of cta0006 using xs:error
Chosen alternative has a type of xs:error
Added conditional results (bug 13455)
Invalid message with kind="xs:anyURI" leading to selection of type xs:error
Inline type alternative
Type alternative is an anonymous type defined as child of xs:alternative
Changed 'eq' operator in CTA to '=' to stay within minimal XPath subset.
Bug 13455.
Valid message
inalid message
Type alternative using an inherited attribute
Type alternative is an anonymous type defined as child of xs:alternative
Valid message
Valid message
invalid message
invalid message
Type alternative using an inherited attribute
Type alternative is an anonymous type defined as child of xs:alternative
Valid message
Valid message
invalid message
invalid message
Type alternative using an inherited attribute
Inheritability differs between attribute declaration and use: attribute use wins
Valid message
Valid message
invalid message
invalid message
Type alternative using an inherited attribute
Inheritability differs between attribute declaration and use: attribute use wins
Valid message
invalid message
Type alternative using an inherited attribute
A non-inheritable attribute does not mask an inheritable attribute on an ancestor
Valid message
Valid message
invalid message
invalid message
Type alternative using a simple type
Explicit default alternative as last alternative
Valid message
Valid message
invalid message
invalid message
Type alternative using a simple type
Implicit default alternative as last alternative
Valid message
Valid message
invalid message
invalid message
Type alternative using a simple type
Error in XPath evaluation treated as false
Valid message
Valid message
invalid message
invalid message
Type alternative using a simple type
XPath expression can only access attributes
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
XPath expression sees untyped data
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
XPath expression sees untyped data
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
XPath expression sees name of element node
Valid message
Type alternative using a simple type
XPath expression sees base URI of element node
Added conditional results (bug 13455)
Valid message
Invalid message: base URI does not match the test, so the error alternative is chosen
Type alternative using a simple type
Dynamic context of XPath expression
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
Static context of XPath expression
Valid message
Type alternative using a simple type
Static context of XPath expression
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
Static context of XPath expression
Valid message
Type alternative using a simple type
Static context of XPath expression
Valid message
Type alternative using a simple type
Static context of XPath expression
Added conditional results (bug 13455)
Valid message
Type alternative using a simple type
Static context of XPath expression
Added conditional results (bug 13455)
Valid message
Type alternative - substitutability
Valid substitution in a substitution group
Valid message
Invalid message - appendix dateTime has no timezone
Type alternative - substitutability
Invalid substitution in a substitution group - detected only at validation time, by particular instances
Valid message
Invalid message - appendix dateTime has no timezone, which is OK for an appendix
but not for a chap, making it an invalid substitution.
Element Declarations Consistent
Two particles in a content model have the same name; permitted because they have the same type table
Valid message
Type alternative - substitutability
Invalid substitution in a restricted type - detected only at validation time, by particular instances
Changed status to invalid (and dropped instance tests);
reflects resolution of spec bug 12185 requiring
the type tables of the elements in base type and
derived type content models to be equivalent.
Conditional simple type: example based on spec
Test attribute missing on non-final alternative
Conditional simple type: example based on spec
Invalid XPath expression - reference to undeclared variable (also uses XPath syntax outside the CTA subset)
Error case - reference to user-defined type
User-defined types are not part of the static context
Type alternative using an inherited attribute
Invalid complex type description: inheritability varies between base type and restricted type
Type alternative using an inherited attribute
Invalid complex type description: inheritability varies between base type and restricted type
Type alternative using an inherited attribute
Non-boolean value for "inheritable"
Type alternative using an inherited attribute
Non-boolean value for "inheritable"
Error, alternative is not substitutable for the declared type
Each alternative must be substitutable for declared type
Element Declarations Consistent
Two particles in a content model have the same name; disallowed because they have different type tables
Element Declarations Consistent
Two particles in a content model have the same name; disallowed because they have different type tables