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 4064 - stZ041 - simpleType with final=extension
Summary: stZ041 - simpleType with final=extension
Status: RESOLVED FIXED
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 2010-07-05
Keywords:
Depends on:
Blocks:
 
Reported: 2006-12-10 14:06 UTC by Michael Kay
Modified: 2010-07-05 13:53 UTC (History)
2 users (show)

See Also:

Attachments

Description Michael Kay 2006-12-10 14:06:27 UTC 
In the Microsoft SimpleType test set, testGroup stZ041, the schema stZ041.xsd has:

<xs:simpleType name="myType" final="extension">

Part 2 section 4.1.2 gives the content model as:

<simpleType
  final = (#all | List of (list | union | restriction)) 

The schema is therefore invalid, but it is labelled as valid.
Comment 1 Zafar Abbas 2007-01-22 22:13:12 UTC 
The question of the final attribute supporting 'extension' is an old one, please see http://lists.w3.org/Archives/Public/xmlschema-dev/2001Jun/0047.html.
The structures and datatypes spec are in conflict here, it is more likely that it was eliminated from the datatypes BNF as a typo. At other places in the normative spec it clearly talks about supporting extension on final attribute on simple types.
Comment 2 Michael Kay 2008-06-22 14:47:04 UTC 
In 1.1 (notwithstanding the typo documented in bug #5782) the {final} property of simpleType allows "extension", making the test valid.

Bug #5783 has been raised documenting the inconsistency between Part 1 and Part 2, and this bug will be marked as dependent on the resolution of #5783
Comment 3 Tobias Koenig 2008-11-17 16:08:18 UTC 
Even if the extension is allowed in the final attribute, shouldn't the test be marked as invalid anyway? ct tries to derive from myType by extension but extension is blocked by myType...
Comment 4 David Ezell 2010-04-09 15:43:58 UTC 
WG agreed that either way the test is invalid.
Comment 5 Henry S. Thompson 2010-04-09 15:45:10 UTC 
Removed dependency because Tobias's analysis is correct