Hi,

Added results of SQC and Saxon 8.5.1; update of XSV result
(see below).

On Mon, 2005-09-12 at 16:44 +0200, Kasimier Buchcik wrote:
> Hi,

[...]

> Additionally generating a warning if prohibition is used with
> extensions would be good. The following does not produce neither
> a warning nor an error with Xerces-J and XSV:

attr-2.xsd
----------
> <xsd:complexType name="base">
> 	<xsd:attribute name="boo" use="optional"/>
> </xsd:complexType>
> 
> <xsd:complexType name="type-1">
> 	<xsd:complexContent>
> 		<xsd:extension base="f:base">				
> 			<xsd:attribute name="boo" use="prohibited"/>
> 		</xsd:extension>
> 	</xsd:complexContent>
> </xsd:complexType>

attr-2.xml
----------
<foo xmlns="urn:test:foo"
	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	xsi:schemaLocation="urn:test:foo attr-2.xsd" boo="lala"/>

SQC (no errors):

PROCESSING p:\libxml2-lab\tests\2005-09-12\attr-2.xsd time :
2005-09-21T12:02:22 ...
p:\libxml2-lab\tests\2005-09-12\attr-2.xsd (file 1 of 1) now being
read ...
 NO ERROR 
end time = 2005-09-21T12:02:22

Saxon 8.5.1 (error):

Error on line 10 of file:/p:/libxml2-lab/tests/2005-09-12/attr-2.xsd:
  Attribute @boo appears more than once in attribute group
Warning: The schema is invalid
Validation error 
  Cannot validate <foo>: no element declaration available
Validation of source document failed

XSV (error):

<schemaError char="2" line="10" phase="instance"
resource="file:///p:/libxml2-lab/tests/2005-09-12/attr-2.xsd">
attempt to extend with an attribute already declared {{None}:boo}
</schemaError>

And once again, to have it one below the other:

Xerces-j 2.7.1: reports no errors


Regards,

Kasimier


From K.Buchcik@4... Wed Sep 21 10:15:05 2005
Received: from maggie.w3.org ([193.51.208.68])
	by frink.w3.org