{item type description} of lists derived by restriction


I have a question regarding the {item type definition} of a list simple type
derived by restriction (section 4.3.11 of Part I).

If I have the following simple type definitions:

<xsd:schema xmlns:xsd="http://www.w3.org/2000/10/XMLSchema"

	<xsd:simpleType name="myList">
		<xsd:list itemType="xsd:integer"/>
	<xsd:simpleType name="myOtherList">
		<xsd:restriction base="myList">
			<xsd:maxLength value="10"/>


the {variety} of myList and myOtherList is list, since the correspondence
between {variety} and the properties of the simpleType element information
item is:

If there is a list among the [children], then list, otherwise if there is a
union among the [children], then union, otherwise (there is a restriction
among the [children]), then the {variety} of the {base type definition}"      

(the {base type definition} of myOtherList is myList, whose {variety} is

In the tableau for List Simple Type Definition Schema Component it says that:

"if the {variety} is list (...)

{item type definition}:
Starting from the list among the [children] of simpleType or the list among
the [children] of restriction, whichever is present, the type definition
resolved to by the normalized value of the itemType [attribute], if present,
otherwise the type definition corresponding
to the simpleType among the [children]."

This assumes that either:
* there is a list among the [children] of simpleType, or
* there is a list among the [children] of restriction ([*] see below)

However, in the definition of myOtherList there is neither. Then, what is the
{item type description} for myOtherList?

Thank you,

Helena Cavanagh.

[*] Is this possible? Mustn't [children] be _immediately_ within the
<restriction> element information item? There can't be a <list> immediately
under <restriction>, right?

Get free email and a permanent address at http://www.netaddress.com/?N=1

Received on Tuesday, 16 January 2001 09:51:06 UTC