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

[Bug 5079] Type tables and substitution groups

From: <bugzilla@wiggum.w3.org>
Date: Wed, 26 Sep 2007 01:44:57 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1IaLxR-0008W1-Os@wiggum.w3.org>


           Summary: Type tables and substitution groups
           Product: XML Schema
           Version: 1.1 only
          Platform: Macintosh
               URL: http://www.w3.org/TR/2007/WD-xmlschema11-1-20070830/
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: xan.gregg@jmp.com
         QAContact: www-xml-schema-comments@w3.org

It seems that type tables aren't used in the definition of type derivation or
substitutability, allowing for valid substitutions that subvert the type
constraints. For example,

<xs:element name="message" type="messageType">
  <xs:alternative test="@kind='string'" type="messageTypeString"/>
  <xs:alternative test="@kind='base64'" type="messageTypeBase64"/>
  <xs:alternative test="@kind='binary'" type="messageTypeBase64"/>
  <xs:alternative test="@kind='xml'"    type="messageTypeXML"/>
  <xs:alternative test="@kind='XML'"    type="messageTypeXML"/>

<xs:element name="mixed_message" type="messageType"
  <xs:alternative test="@kind='string'" type="messageTypeXML"/>
  <xs:alternative test="@kind='binary'" type="messageTypeString"/>

Is this a problem?
Received on Wednesday, 26 September 2007 01:45:05 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:06 UTC