RE: [F+O] Casting to subtypes of xs:integer

Make sure that you have rules that cover xdt:untypedAtomic when you
remove the xs:anySimpleType rules.

Best regards
Michael

> -----Original Message-----
> From: public-qt-comments-request@w3.org [mailto:public-qt-comments-
> request@w3.org] On Behalf Of Ashok Malhotra
> Sent: Wednesday, December 10, 2003 7:36 AM
> To: Kay, Michael; public-qt-comments@w3.org
> Subject: RE: [F+O] Casting to subtypes of xs:integer
> 
> 
> The special rules should also apply to subtypes of integer. But it's
not
> clear where such a clarification should go since 17.8.4 discusses only
> casting to integer.
> 
> In section 17.4 which discusses casting to derived types there is a
> paragraph that reads:
> 
> "In some cases, casting from a parent type to a derived type requires
> special rules. See 17.8 Casting to numeric types for rules regarding
> casting to xs:integer and 17.9 Casting to duration types for rules
> regarding casting to xdt:yearMonthDuration and xdt:dayTimeDuration."
> 
> Should we add wording to this para that clarifies that the special
rules
> apply to subtypes as well?
> 
> I'll remove the references to xs:anySimpleType.
> 
> 
> All the best, Ashok
> 
> -----Original Message-----
> From: public-qt-comments-request@w3.org
> [mailto:public-qt-comments-request@w3.org] On Behalf Of Kay, Michael
> Sent: Wednesday, December 10, 2003 5:19 AM
> To: public-qt-comments@w3.org
> Subject: [F+O] Casting to subtypes of xs:integer
> 
> 
> The normal rules for casting to a derived type are that the value must
> satisfy all the facets of the target type. But there are special rules
> in
> section 17.8.4 for xs:integer, which cause the supplied value to be
> truncated towards zero.
> 
> It's not clear whether or not these special rules also apply if the
> target
> type is a subtype of xs:integer. For example, xs:short(4.3).
> 
> I think they should apply. But the rules then need to be modified to
> allow
> this. For example, the clause "and TV is xs:integer(IV)" is wrong.
> 
> Michael Kay
> 
> PS: these rules still have references to xs:anySimpleType. This
doesn't
> belong in the casting rules because it's not an atomic type. It's gone
> from
> the table, but not from the text.
>