W3C home > Mailing lists > Public > public-xml-schema-testsuite@w3.org > December 2006

[Bug 4070] particlesOb001 et seq - invalid derivation for wildcards

From: <bugzilla@wiggum.w3.org>
Date: Mon, 11 Dec 2006 23:41:25 +0000
CC:
To: public-xml-schema-testsuite@w3.org
Message-Id: <E1Gtulx-0001wZ-6b@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4070

           Summary: particlesOb001 et seq - invalid derivation for wildcards
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Microsoft tests
        AssignedTo: ht@inf.ed.ac.uk
        ReportedBy: mike@saxonica.com
         QAContact: public-xml-schema-testsuite@w3.org


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.
Received on Monday, 11 December 2006 23:41:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:21:55 GMT