Hi,
On Mon, 2005-09-12 at 16:44 +0200, Kasimier Buchcik wrote:
> Hi,
> 
> On Mon, 2005-09-12 at 16:00 +0200, Kasimier Buchcik wrote:
> > Hi,
> 
> [...]
> 
> > > Now, the error reported by Xerces is wrong but do you see a benefit of 
> > > allowing this? IMO a duplicate attribute element should be an error.
> > 
> > Yes, you are right; I see no benefit, although I would tend to generate
> > a warning instead of an error.
> 
> [...]
> 
> 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:
> 
> <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>
> Kasimier

:-( Once more, a correction: XSV reports a schema error - although
with a misleading explanation.

"attempt to extend with an attribute already declared {{None}:boo}"

Regards,

Kasimier

From henryzab@h... Tue Sep 13 06:10:20 2005
Received: from wiggum.w3.org ([128.30.52.