W3C home > Mailing lists > Public > public-xml-schema-testsuite@w3.org > February 2012

[Bug 16161] New: disallowedSubst00503m3,4,5 should be invalid for XSD 1.1

From: <bugzilla@jessica.w3.org>
Date: Wed, 29 Feb 2012 16:58:27 +0000
To: public-xml-schema-testsuite@w3.org
Message-ID: <bug-16161-1590@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16161

           Summary: disallowedSubst00503m3,4,5 should be invalid for XSD
                    1.1
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Sun Tests
        AssignedTo: cmsmcq@blackmesatech.com
        ReportedBy: am_spamfaenger@gmx.at
         QAContact: public-xml-schema-testsuite@w3.org


In my opinion the expected result of the test cases disallowedSubst00503m3,
disallowedSubst00503m4 and disallowedSubst00503m5 of set ElemDecl should be
invalid for XSD 1.1 because they violate clause 4 of Schema Component
Constraint: Element Declaration Properties Correct.

As described in http://www.w3.org/TR/xmlschema11-1/#key-val-sub-type a complex
type definition S is validly substitutable for another complex type definition
T if: "S is validly derived from T subject to the blocking keywords in the
union of K and T. {prohibited substitutions}, as defined in Type Derivation OK
(Complex) (ยง3.4.6.5)"

So in difference to XSD 1.0 this also considers the prohibited substitutions of
T (i.e. the value of the block attribute of the complex type definition "Type"
in the concrete examples).

-- 
Configure bugmail: https://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 Wednesday, 29 February 2012 16:58:28 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 29 February 2012 16:58:29 GMT