This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4067 - ctG001: type subsumption and processContents
Summary: ctG001: type subsumption and processContents
Status: RESOLVED INVALID
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Microsoft tests (show other bugs)
Version: 2006-11-06
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Henry S. Thompson
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard: metadata updated 2009-01-15
Keywords:
Depends on:
Blocks:
 
Reported: 2006-12-11 00:33 UTC by Michael Kay
Modified: 2009-01-15 18:14 UTC (History)
0 users

See Also:

Attachments

Description Michael Kay 2006-12-11 00:33:18 UTC 
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.
Comment 1 Zafar Abbas 2007-02-02 19:17:22 UTC 
The test is valid per spec, the WG should address this issue as intuitively the derived type does not fit within the bounds of the base type.
Comment 2 Michael Kay 2008-06-22 15:23:16 UTC 
Agreed, we might not like the 1.0 spec, but that's the way it's written, so the test should stand. Note however that in 1.1 the schema will be invalid.

The bug is therefore classed as INVALID.
Comment 3 Henry S. Thompson 2009-01-15 18:14:16 UTC 
This non-bug has been extended to non-cover ctG007--ctG011 as well