W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2008

[Bug 5694] K2-SeqExprCast-22,78,90 may raise FOAR0002

From: <bugzilla@farnsworth.w3.org>
Date: Tue, 20 May 2008 17:06:41 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JyVIP-0003wl-EG@farnsworth.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5694





------- Comment #2 from vano_msu@mail.ru  2008-05-20 17:06 -------
I'm not sure actually.

It seems that xs:unsignedLong, xs:long. xs:integer built in datatypes don't
have pattern facets defined by default. They have only restrictions through
maxInclusive/minInclusive and similar facets.

So, in K2-SeqExprCast-78 for example we follow the specification (F&O 17.5):

-----------------------------------
"... Casting across the type hierarchy is logically equivalent to three
separate steps performed in order. Errors can occur in either of the latter two
steps.

...
   2.Cast the value to the primitive type of TT, as described in 17.1 Casting
from primitive types to primitive types."
-----------------------------------

It means we should perform the following casting operation in the intermediate
step:

"-9223372036854775809" cast as xs:integer

which may raise FOAR0002.
Received on Tuesday, 20 May 2008 17:07:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 20 May 2008 17:07:18 GMT