- From: Helena Cavanagh <helena.cavanagh@usa.net>
- Date: Tue Jan 16 09:51:06 2001
- 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 UTC