Hi,

On Tue, 2005-06-07 at 17:58 +0200, Kasimier Buchcik wrote:
> 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

Additional results:

  Saxon             invalid  invalid  valid
  SQC               invalid  valid    valid
  Libxml2           invalid  invalid  invalid

Implementing this behaviour in Libxml2 resulted
in some more failures (> 20) in the MS (ModelGroups)
part of the W3C XML Schema test suite on my side.
This means that those tests are probably broken.

Regards,

Kasimier

> 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
> 

From K.Buchcik@4... Fri Oct 07 11:48:50 2005
Received: from lisa.w3.org ([128.30.52.41])
	by frink.w3.org with esmtp (Exim 4.50)
	id 1ENqiY-0