[Bug 4585] outcome of test-cases with high precision decimal literals implementation-defined

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

           Summary: outcome of test-cases with high precision decimal
                    literals implementation-defined
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: trivial
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: MAILanTobias@gmx.de
         QAContact: public-qt-comments@w3.org


The following test-cases use decimal literals of a precision higher than 18
totalDigits (minimum requirement):

op-logical-and-066
op-logical-and-068
op-logical-or-066
op-logical-or-068

err:FOCA0006 should be added to the possible outcome of the test-cases or
literals of lower precision should be used, because casting to xs:decimal is
implementation-defined if the value cannot be represented accurately with the
number of decimal digits available to the implementation:

FO § 17.1.1:
In casting to xs:decimal or to a type derived from xs:decimal, if the value is
not too large or too small but nevertheless cannot be represented accurately
with the number of decimal digits available to the implementation, the
implementation may round to the nearest representable value or may raise a
dynamic error [err:FOCA0006].
The choice of rounding algorithm and the choice between rounding and error
behavior and is implementation-defined.

XQ § 3.1.1 Literals:
The value of a numeric literal containing an e or E character is an atomic
value of type xs:double.
The value of the numeric literal is determined by casting it to the appropriate
type according to the rules for casting from xs:untypedAtomic to a numeric type
as specified in Section 17.1.1 Casting from xs:string and xs:untypedAtomic
[FO].

Received on Saturday, 26 May 2007 10:35:50 UTC