Re: Handling the enumeration facet

Hi Xan,

As I read the specification there is nothing that makes
<test xsi:type="xs:string">10</test>
invalid.

FWIW Xerces reports this as valid, it allows both the integer and the 
string value.

The member types order is significant for validation, but it defines 
only a default, one can specify with xsi:type the specific type. The 
value space is a set of values and I do not find a distinction between 
string 10 and integer 10 in the value space. Let me know if I'm missing 
something.
More, the enumeration value is defined as anySimpleType for which the 
value space is defined as:
***
·value space· consisting of the union of the ·value space·s of all the 
·primitive· datatypes and the set of all lists of all members of the 
·value space·s of all the ·primitive· datatypes.
***
Now the string type is the first defined primitive datatype, so one can 
very well consider 10 to be a string rather than an integer.

I will go for Xerces approach to allow both the string and the integer 
value.

Happy New Year!
George
---------------------------------------------------------------------
George Cristian Bina
<oXygen/> XML Editor, Schema Editor and XSLT Editor/Debugger
http://www.oxygenxml.com


Xan Gregg wrote:
> 
> The example is not valid.  The enumeration needs to be done in a 
> separate step, as follows:
> 
>   <xsd:simpleType name="s1">
>     <xsd:union memberTypes="xsd:integer xsd:string"/>
>   </xsd:simpleType>
> 
>   <xsd:simpleType name="s2">
>     <xsd:restriction base="s1">
>       <xsd:enumeration value="10"/>
>     </xsd:restriction>
>   </xsd:simpleType>
> 
> Now it's more clear that the value space has only the integer 10, since 
> the lexical value "10" corresponds to the integer 10 in s1.
> 
>> But you can change the sequence of evaluation in an instance document 
>> with
>> the attribute xsi:type.
> 
> 
> If test is declared to have type s2, I would expect:
> 
> <test xsi:type="xs:integer">10</test>  <!-- valid -->
> <test xsi:type="xs:string">10</test>  <!-- invalid -->
> 
> xan
>