W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > July to September 2005

[Bug 2012] R-034: Potential problem with description of final for simpleType in Structures

From: <bugzilla@wiggum.w3.org>
Date: Wed, 07 Sep 2005 20:08:54 +0000
To: www-xml-schema-comments@w3.org
Cc:
Message-Id: <E1ED6E2-0004TV-Sv@wiggum.w3.org>

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

           Summary: R-034: Potential problem with description of final for
                    simpleType in Structures
           Product: XML Schema
           Version: 1.0
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSD Part 1: Structures
        AssignedTo: ht@w3.org
        ReportedBy: sandygao@ca.ibm.com
         QAContact: www-xml-schema-comments@w3.org


Section 3.14.6 of Structures states the following for bullet 4:

If the {base type definition} is not the simple ur-type definition, all of the 
following must be true:

4.1 The definition must be a valid restriction as defined in Derivation Valid 
(Restriction, Simple).

4.2 If {variety} is not atomic, then the appropriate case among the following 
must be true:

4.2.1 If the {variety} is list, then the {final} of the {base type definition} 
must not contain list. 
4.2.2 If the {variety} is union, then the {final} of the {base type definition} 
must not contain union. 
However, lists and unions have the ur-type definition as a base.

And, shouldn't the following rules be stated?

If the {variety} is list, then the {final} of the {item type definition} must 
not contain list. 
If the {variety} is union, then the {final} of all the {member type 
definitions} must not contain union.

See
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0294.html

Henry's response:
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0296.html
Received on Wednesday, 7 September 2005 20:09:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:09 GMT