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

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 UTC