W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > January to March 2001

{item type description} of lists derived by restriction

From: Helena Cavanagh <helena.cavanagh@usa.net>
Date: Tue Jan 16 09:51:06 2001
Message-ID: <20010116145104.6324.qmail@nwcst338.netaddress.usa.net>
To: www-xml-schema-comments@w3.org
Hello,

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"
elementFormDefault="qualified">

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

</xsd:schema>

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

"{variety}
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
list)


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:12:49 GMT