W3C home > Mailing lists > Public > public-xml-schema-testsuite@w3.org > January 2007

[Bug 4143] Microsoft Particles test particlesIg003

From: <bugzilla@wiggum.w3.org>
Date: Wed, 03 Jan 2007 14:29:21 +0000
CC:
To: public-xml-schema-testsuite@w3.org
Message-Id: <E1H277J-0001n4-WA@wiggum.w3.org>

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

           Summary: Microsoft Particles test particlesIg003
           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 group="particlesIg003" name="particlesIg003.v"/>

the instance document is described in the metadata as valid. I believe it is
invalid.

The instance contains the element 

<a:e2 xsi:type="a:ext"><a:e1/></a:e2>

which is validated against the local element declaration

<xsd:element name="e2" block="restriction"/>

This is valid only if the complex type a:ext is validly derived from xs:anyType
given {restriction}. Since a:ext is derived from x:base by extension, and
x:base is derived from xs:anyType (implicitly) by restriction, I believe that
this is not the case.
Received on Wednesday, 3 January 2007 14:29:43 GMT

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