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

[Bug 2057] R-068: Contradiction in Structures re: base for complexTypes with simpleContent

From: <bugzilla@wiggum.w3.org>
Date: Fri, 09 Sep 2005 02:33:56 +0000
To: www-xml-schema-comments@w3.org
Cc:
Message-Id: <E1EDYiC-0003It-1x@wiggum.w3.org>

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

           Summary: R-068: Contradiction in Structures re: base for
                    complexTypes with simpleContent
           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


There appears to be a contradiction in Structures as to whether a complexType 
with simpleContent is allowed to be derived by restriction from a mixed type.

The property mapping rules for complex type with simple content state the 
following for content type when restriction is chosen:

"1 if the type definition resolved to by the actual value of the base 
[attribute] is a complex type definition (whose own {content type} must be a 
simple type definition, see below) and the restriction alternative is 
chosen ...".

In addition, Schema Representation Constraint: Complex Type Definition 
Representation OK states:

"If the <simpleContent> alternative is chosen, the type definition resolved to 
by the actual value of the base [attribute] must be either a complex type 
definition whose {content type} is a simple type definition or, only if the 
<extension> alternative is also chosen, a simple type definition; "

However, "Schema Component Constraint: Derivation Valid (Restriction, Complex)" 
states:

"5.1 If the {content type} of the complex type definition is a simple type 
definition, then one of the following must be true:

5.1.1 The {content type} of the {base type definition} must be a simple type 
definition of which the {content type} is a valid restriction as defined in 
Derivation Valid (Restriction, Simple).

5.1.2 The {base type definition} must be mixed and have a particle which is 
emptiable as defined in Particle Emptiable). "

See: http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2001Jun/0047.html
Received on Friday, 9 September 2005 02:34:01 GMT

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