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 2234 - R-242: Part 1: final attribute of simpleType
Summary: R-242: Part 1: final attribute of simpleType
Status: CLOSED FIXED
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: unspecified
Hardware: All All
: P4 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema comments list
URL:
Whiteboard: medium, hard (need to recover details...
Keywords: resolved
Depends on:
Blocks:
 
Reported: 2005-09-14 19:35 UTC by Sandy Gao
Modified: 2009-04-21 19:21 UTC (History)
1 user (show)

See Also:


Attachments

Description Sandy Gao 2005-09-14 19:35:46 UTC
Section 3.14.1 says the {final} property of simpleType is: 

A subset of {extension, list, restriction, union}. 

I would expect it to say: 

A subset of {list, restriction, union}. 

Section 3.14.2 gives the syntax of the final attribute as: 

final = (#all | (list | union | restriction)) 

I would expect it to be: 

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

See:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2003OctDec/0064.html

Note: the second part of this comment is covered by R-199.
Comment 1 C. M. Sperberg-McQueen 2006-09-23 23:42:47 UTC
Thank you for this comment (and apologies for the slow response).

I'm a little confused by the discrepancies I have just found between
the property values in the component and the attribute values in the
XML, between the Structures and Datatypes specs, and between what
our diffed versions of the spec say was the case in 1.0 and what
the copies of the 1.0 specs on the TR page say.  Clearly some serious
textual archeology is going to be necessary to straighten this out.

The structures spec does assign a meaning to the value 'extension' 
on the {final} property: it blocks the extension of the simple type
into a complex type with simple content.  So it seems to have a 
plausible place in the component display; I don't know now why it's
not included in the XML display.

The second point you raise (missing 'List of' in the description
of the 'final' attribute) is also bug 2192, which was resolved in
erratum E2-56 and in 1.0 Second Edition.  

I don't propose to close this issue, though, until we get a better 
understanding of the discrepancies I've just found, how they came 
about, and how they ought to be resolved. 
 
Comment 2 C. M. Sperberg-McQueen 2007-03-01 01:44:55 UTC
The discrepancies mentioned have been eliminated, and the Structures
Comment 3 C. M. Sperberg-McQueen 2007-03-01 01:48:41 UTC
The discrepancies mentioned have been eliminated, and the Structures
and Datatypes specs are consistent on these topics.  The property
description for {final} reads 

  {final}
  A subset of {extension, restriction, list, union}.

and the XML syntax overview defines the 'final' attribute as

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

Accordingly, I'm marking this issue FIXED.

Michael, as the originator of the issue, I hope that you will indicate
your agreement with the disposition of the issue by changing the status
to CLOSED -- or, if need be, indicate your dissatisfaction by changing
it to REOPENED.   Thanks.