[Bug 14559] New: Test stZ007, stZ047, stZ055 (xs:anySimpleType) invalid in XSD 1.1

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

           Summary: Test stZ007, stZ047, stZ055 (xs:anySimpleType) invalid
                    in XSD 1.1
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Microsoft tests
        AssignedTo: cmsmcq@blackmesatech.com
        ReportedBy: mike@saxonica.com
         QAContact: public-xml-schema-testsuite@w3.org


I believe the schemas used by these tests are invalid in XSD 1.1. (I think they
should be invalid in 1.0 too, but the spec isn't clear).

In all three cases the schema defines a type that is effectively;

    <xs:complexType name="t2">
    <xs:simpleContent>
         <xs:restriction base="t1" >
         </xs:restriction>
        </xs:simpleContent>
    </xs:complexType>

where t1 is a complex type with simple content, whose simple content type is
xs:anySimpleType.

I believe this violates the rule in Part 2 section 2.4.2.1: "The ·base type· of
a ·facet-based restriction· must be a ·primitive· or ·ordinary· datatype."

(Note that facet-based restriction is defined in terms of restriction using
zero or more facets. The absence of an explicit facet therefore does not affect
the argument. I assume the rule is meant to be read as "The ·base type· of a
simple type derived by ·facet-based restriction· must be a ·primitive· or
·ordinary· datatype." The rules for complex types with simple content mean that
the simple content type of t2 is a simple type derived by facet-based
restriction from the simple content type of t1, which is xs:anySimpleType.).

Note that xsZ047 and stZ055 use the same schema (test107331_e.xsd)

-- 
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 Tuesday, 25 October 2011 15:17:15 UTC