[Bug 4147] MS Particles tests: particlesV020 from bugzilla@wiggum.w3.org on 2007-01-24 (public-xml-schema-testsuite@w3.org from January 2007)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 24 Jan 2007 18:31:59 +0000
To: public-xml-schema-testsuite@w3.org
CC:
Message-Id: <E1H9mud-0003Tj-Ae@wiggum.w3.org>

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





------- Comment #1 from zafara@microsoft.com  2007-01-24 18:31 -------
Actually you have to wrap the derived element particle in a <choice> group
itself to check a valid restriction as per Elt:All/Choice/Sequence --
RecurseAsIfGroup. So it comes down the question if 

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

is a valid restriction of:

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

which is clearly is not as the bar in the derived type is not a valid
restriction of the one in the base type as it fails occurence range check.

Received on Wednesday, 24 January 2007 18:32:05 UTC