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


           Summary: disallowedSubst00503m3,4,5 should be invalid for XSD
           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 UTC