This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 14556 - WildZ013 is valid under XSD 1.1
Summary: WildZ013 is valid under XSD 1.1
Status: RESOLVED FIXED
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Microsoft tests (show other bugs)
Version: 2006-11-06
Hardware: PC All
: P2 normal
Target Milestone: XSD 1.1 PR
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard:
Keywords: decided
Depends on:
Blocks:
 
Reported: 2011-10-25 08:19 UTC by Michael Kay
Modified: 2011-11-30 09:20 UTC (History)
1 user (show)

See Also:


Attachments

Description Michael Kay 2011-10-25 08:19:30 UTC
Microsoft test WildZ013 purports to be an invalid schema (it requires an inexpressible wildcard union). This union becomes expressible in XSD 1.1 (indeed, all unions are expressible in XSD 1.1), and the validity therefore needs to change.

Note: the schema test file is named test328873i.xsd. The union in question is between the two attribute groups:

<xs:attributeGroup name="attG1-54">
     <xs:anyAttribute namespace="##other" processContents="lax"/>
 </xs:attributeGroup>

 <xs:attributeGroup name="attG2-54">
     <xs:anyAttribute namespace="##local b c" processContents="lax"/>
 </xs:attributeGroup>

and the union is constructed under clause 5.2 of 3.10.6.3 Attribute Wildcard Union, and is effectively not(a).
Comment 1 David Ezell 2011-11-04 15:56:25 UTC
add a schema validity result for 1.1 that shows this construct is allowed.
Comment 2 Michael Kay 2011-11-30 09:20:25 UTC
Fixed the test as suggested