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

Re: [Re: {item type description} of lists derived by restriction]

From: Helena Cavanagh <helena.cavanagh@usa.net>
Date: Tue Jan 16 11:30:26 2001
Message-ID: <20010116163024.3534.qmail@nwcst285.netaddress.usa.net>
To: ht@cogsci.ed.ac.uk (Henry S. Thompson), Helena Cavanagh <helena.cavanagh@usa.net>
CC: www-xml-schema-comments@w3.org
Hello, 
thank you very much for your prompt answer.

>> 	<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> 

(...)

>> 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?

>You're right, this is broken -- thanks.  Should just be the itemType
>attribute of the <list> or the <simpleType> within it.  We'll fix it.

Shouldn't it be:

* if the type is derived by list:
  the itemType attribute of the <list> or the <simpleType> within it
  (what you said)

* if the type is derived by restriction:
  the {base type definition}

(in the case of myOtherList the {item type description} would be myList)

Thank you,

Helena Cavanagh

____________________________________________________________________
Get free email and a permanent address at http://www.netaddress.com/?N=1
Received on Tuesday, 16 January 2001 11:30:26 GMT

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