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


           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