[Bug 4147] MS Particles tests: particlesV020

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

           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 

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

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