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
To: public-xml-schema-testsuite@w3.org
Message-Id: <E1Gtulx-0001wZ-6b@wiggum.w3.org>


           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:







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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:08:48 UTC