[Bug 11092] Error in S4SD: complexType name="all" is not a valid restriction

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

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsDrafting               |needsReview

--- Comment #2 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-01-13 23:43:03 UTC ---
Proposed fix:  in the declaration for group xs:allModel, change the anonymous
complex type for xs:group to use xs:groupRef as its base type, not (implicitly)
xs:anyType.  The declarations for unchanged attributes (@ref, and the attribute
wildcard) can also be dropped because the attributes will be inherited.  

So the declaration of the xs:group element will no longer read:

        <xs:element name="group">
          <xs:complexType>
            <xs:sequence>
              <xs:element ref="xs:annotation" minOccurs="0"/>
            </xs:sequence>
            <xs:attribute name="ref" type="xs:QName" use="required"/>
            <xs:attribute name="minOccurs" fixed="1"
type="xs:nonNegativeInteger"/>
            <xs:attribute name="maxOccurs" fixed="1"
type="xs:nonNegativeInteger"/>
            <xs:anyAttribute namespace="##other" processContents="lax"/>
          </xs:complexType>
        </xs:element>

but instead:

        <xs:element name="group">
          <xs:complexType>
        <xs:complexContent>
          <xs:restriction base="xs:groupRef"> 
        <xs:sequence>
          <xs:element ref="xs:annotation" minOccurs="0"/>
        </xs:sequence>
        <xs:attribute name="minOccurs" fixed="1" type="xs:nonNegativeInteger"/>
        <xs:attribute name="maxOccurs" fixed="1" type="xs:nonNegativeInteger"/>
          </xs:restriction>
        </xs:complexContent>
      </xs:complexType> 
        </xs:element>

I can confirm that Saxon stops complaining about this problem when this change
is made.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 13 January 2011 23:43:06 UTC