W3C home > Mailing lists > Public > public-xml-schema-testsuite@w3.org > January 2011

[Bug 11897] New: Invalid particle restriction in all237

From: <bugzilla@jessica.w3.org>
Date: Thu, 27 Jan 2011 20:07:10 +0000
To: public-xml-schema-testsuite@w3.org
Message-ID: <bug-11897-1590@http.www.w3.org/Bugs/Public/>

           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:any namespace="http://one.uri/ http://two.uri/" minOccurs="5"
         <xs:any namespace="http://three.uri/" minOccurs="0" maxOccurs="2"/>

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

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:08:49 UTC