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

[Bug 4147] MS Particles tests: particlesV020

From: <bugzilla@wiggum.w3.org>
Date: Wed, 03 Jan 2007 17:20:08 +0000
To: public-xml-schema-testsuite@w3.org
Message-Id: <E1H29ma-0001Dd-IV@wiggum.w3.org>


           Summary: MS Particles tests: particlesV020
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Microsoft tests
        AssignedTo: ht@inf.ed.ac.uk
        ReportedBy: mike@saxonica.com
         QAContact: public-xml-schema-testsuite@w3.org

In the Microsoft Particles test set, test 

   <test group="particlesV020" name="particlesV020"/>

the schema is described as invalid. XSV also reports it invalid, but I am not
convinced this is supported by a reading of the spec.

In private correspondence, Henry Thompson suggested that R is not validly
derived from B, because the type of bar is derived from the type of SUB by
extension, not by restriction. However, the rule:

2.1 Any top-level element declaration particle (in R or B) which is the
{substitution group affiliation} of one or more other element declarations and
whose Ěsubstitution groupĚ contains at least one element declaration other than
itself is treated as if it were a choice group whose {min occurs} and {max
occurs} are those of the particle, and whose {particles} consists of one
particle with {min occurs} and {max occurs} of 1 for each of the declarations
in its Ěsubstitution groupĚ.

suggests that it boils down to a question of whether 

<element name="bar" type="x:c2"/>

is validly derived from 

  <element name="SUB" type="x:c1"/>
  <element name="bar" type="x:c2"/>

and it would seem that it is, regardless of the relationship of x:c1 to x:c2.
Received on Wednesday, 3 January 2007 17:20:14 UTC

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