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 4070 - particlesOb001 et seq - invalid derivation for wildcards
Summary: particlesOb001 et seq - invalid derivation for wildcards
Status: RESOLVED FIXED
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Microsoft tests (show other bugs)
Version: 2006-11-06
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Henry S. Thompson
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-12-11 23:41 UTC by Michael Kay
Modified: 2010-04-05 17:22 UTC (History)
0 users

See Also:

Attachments

Description Michael Kay 2006-12-11 23:41:24 UTC 
In the Microsoft Particles test set, test groups particlesOb001 et seq (note the first O is a letter):

I believe:

particlesOb001.xsd should be invalid: 

  The content model of the complex type R is not a valid restriction of the content model of the type B. Restricted type allows xs:any content that is not allowed by the base type. The xs:any wildcard in the restricted type has a processContents that is less strict than the processContents in the base type

The following tests are invalid for the same reason:

particlesOb002.xsd 

particlesOb004.xsd 

particlesOb008.xsd 

particlesOb009.xsd 

particlesOb013.xsd 

particlesOb018.xsd 

The last two are also invalid because the wildcard permits namespaces that are not permitted in the base type.
Comment 1 Zafar Abbas 2007-01-22 23:13:27 UTC 
This test should indeed be invalid. This is due a bug in the packaging process of Microsoft schema tests.
Comment 2 Michael Kay 2008-06-22 15:29:31 UTC 
Agreed, the schemas in these tests are invalid, and the metadata will be changed to mark them as such.