[Bug 11897] New: Invalid particle restriction in all237

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

           Summary: Invalid particle restriction in all237
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Saxon tests
        AssignedTo: cmsmcq@blackmesatech.com
        ReportedBy: sandygao@ca.ibm.com
         QAContact: public-xml-schema-testsuite@w3.org


saxonData/All/all237.xsd is meant to be a test for valid particle restriction.

The type "b" has ("one", "two", and "three" are wildcard namespaces):

( (one|two){5,U} & three{0,2} )

and the restriction type "r" has

( one{3,U} & (two|three){2,2} )

Now it seems a sequence of 3 "one"s and 2 "three"s is allowed by "r" but not
"b". Suggest to change "one" in "r" to {5,U}.

Attached below is the offending fragment:

    <xs:complexType name="b">
       <xs:all>     
         <xs:any namespace="http://one.uri/ http://two.uri/" minOccurs="5"
maxOccurs="unbounded"/>
         <xs:any namespace="http://three.uri/" minOccurs="0" maxOccurs="2"/>
       </xs:all>
    </xs:complexType>

    <xs:complexType name="r">
      <xs:complexContent>
        <xs:restriction base="b">
         <xs:all>     
           <xs:any namespace="http://one.uri/" minOccurs="3"
maxOccurs="unbounded"/>
           <xs:any namespace="http://two.uri/ http://three.uri/" minOccurs="2"
maxOccurs="2"/>
         </xs:all>
        </xs:restriction>
      </xs:complexContent>
    </xs:complexType>

-- 
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, 27 January 2011 20:07:11 UTC