RE: unhandled cos-all-limited 1.2

Hi,

On Fri, 2005-10-07 at 10:05 -0700, Zafar Abbas wrote:
> Kasimier, I tried these three schemas with MSXML 4 SP2, which did not
> accept them; so they are correctly treated as Invalid.
> 
> Thanks,
> Zafar

I ran the test on a MS Windows Server 2003 Enterprise Edition, updated
to MSXML 4.0 SP2 and true, the behaviour has changed.

Great! Thanks for the information.
The fixed handling of <xs:all> is even mentioned in the release notes
of MSXML 4.0 SP2.

By the way: MS has contributed many XML Schema tests some years ago.
Some of the tests are unfortunately now a bit outdated, i.e. broken
with regard to the current XML Schema 1.0 spec. I assume MS has
fixed those tests for its own good on its side. Do plans exist to
contribute the fixed tests to the W3C XML Schema test collection?

Regards & thanks

Kasimier


> -----Original Message-----
> From: xmlschema-dev-request@w3.org [mailto:xmlschema-dev-request@w3.org]
> On Behalf Of Kasimier Buchcik
> Sent: Friday, October 07, 2005 4:14 AM
> To: Kasimier Buchcik
> Cc: ML-xml-schema-dev
> Subject: Re: unhandled cos-all-limited 1.2
> 
> 
> 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
> > 
>

Received on Monday, 10 October 2005 08:53:44 UTC