unhandled cos-all-limited 1.2

Hi,

FYI, the following schemata should all be invalid - at least I
think so - according to cos-all-limited (1.2).

Results of some schema processors:

processor         A        B        C
Xerces-J 2.6.2    invalid  invalid  valid
MSXML 4.0         valid    valid    valid
XSV 2.10          valid    valid    valid

schema A
--------
<!-- extension, results in (xs:sequence(xs:all, xs:sequence))-->
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	targetNamespace="urn:test:foo"
	xmlns:f="urn:test:foo"
	elementFormDefault="qualified">

	<xsd:complexType name="typeA">
		<xsd:all>
			<xsd:element name="boo"/>
		</xsd:all>
	</xsd:complexType>
	<xsd:complexType name="typeB">
		<xsd:complexContent>
			<xsd:extension base="f:typeA">
				<xsd:sequence>		
					<xsd:element name="moo"/>
				</xsd:sequence>
			</xsd:extension>
		</xsd:complexContent>
	</xsd:complexType>
	<xsd:element name="foo" type="f:typeB"/>

</xsd:schema>

schema B
--------
<!-- group ref., results in (xs:sequence(xs:all)) -->
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	targetNamespace="urn:test:foo"
	xmlns:f="urn:test:foo"
	elementFormDefault="qualified">

	<xsd:group name="group">
		<xsd:all>
			<xsd:element name="boo"/>
		</xsd:all>
	</xsd:group>
	<xsd:complexType name="type">
		<xsd:sequence>
			<xsd:group ref="f:group"/>
		</xsd:sequence>
	</xsd:complexType>
	<xsd:element name="foo" type="f:type"/>

</xsd:schema>

schema C
--------
<!-- group ref., particle with maxOccurs of 5 -->
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
	targetNamespace="urn:test:foo"
	xmlns:f="urn:test:foo"
	elementFormDefault="qualified">

	<xsd:group name="group">
		<xsd:all>
			<xsd:element name="boo"/>
		</xsd:all>
	</xsd:group>
	<xsd:complexType name="type">
		<xsd:group ref="f:group" maxOccurs="5"/>		
	</xsd:complexType>
	<xsd:element name="foo" type="f:type"/>

</xsd:schema>

Regards,

Kasimier

Received on Tuesday, 7 June 2005 15:58:41 UTC