abstract=true in a localElement

Hi all,
	As per the test case particlesDa010 of
http://www.w3.org/XML/2001/05/xmlschema-test-collection/result-ms-Particles.
htm the following schema is expected to be correct. It passes both the
Microsoft's and XERCES's tests.

	However Item 2, "3.3.4 Element Declaration Validation Rules" of
Part1 and subsequent Comments in xmlschema-rec-comments#pfiElemValidType
says that "element may not have {abstract} = true".

	So, is this schema invalid or am I missing something?

Thanks in advance,
Ajay

<?xml version="1.0"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
targetNamespace="http://xsdtesting" xmlns:x="http://xsdtesting"
elementFormDefault="qualified">
	<xsd:element name="doc">
		<xsd:complexType>
			<xsd:sequence>
				<xsd:element name="elem1"/>
				<xsd:element abstract="true" name="elem2"/>
			</xsd:sequence>
		</xsd:complexType>
	</xsd:element>
	<xsd:complexType name="A">
		<xsd:choice>
			<xsd:element name="a1"/>
			<xsd:element name="a2"/>
		</xsd:choice>
	</xsd:complexType>
	<xsd:element name="foo"/>
</xsd:schema>

Received on Friday, 14 June 2002 05:57:48 UTC