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

[Bug 4067] ctG001: type subsumption and processContents

From: <bugzilla@wiggum.w3.org>
Date: Mon, 11 Dec 2006 00:33:18 +0000
CC:
To: public-xml-schema-testsuite@w3.org
Message-Id: <E1GtZ6c-0007a1-Bu@wiggum.w3.org>

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

           Summary: ctG001: type subsumption and processContents
           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 ComplexType test set, test group ctG001 illustrates what is
probably a problem in the spec rather than in the test itself.

In the schema, fooType is a restriction of myType. fooType has the particle
<element name="myElement"/> where myType has <any processContents="strict"/>.
Since there is no global element declaration for myElement, an instance
containing myElement would conform to the subtype but not to the base type,
meaning that type subsumption is violated.

I suspect, though I have not checked carefully, that this is a problem in the
specification rather than in the test. Other examples are ctG007-011.
Received on Monday, 11 December 2006 00:33:39 GMT

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