- From: Kasimier Buchcik <K.Buchcik@4commerce.de>
- Date: Fri, 07 Oct 2005 13:13:50 +0200
- To: Kasimier Buchcik <kbuchcik@4commerce.de>
- Cc: ML-xml-schema-dev <xmlschema-dev@w3.org>
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 Friday, 7 October 2005 11:13:57 UTC