On 07/22/2014 09:23 AM, Georgiy Rakov wrote:
On 22.07.2014 20:12, Joe Darcy wrote:
Hello Georgiy,
On 07/22/2014 08:49 AM, Georgiy Rakov wrote:
Hello Joe,
following assertion seems to me too loose:
* Because of the unspecified order of operations and the
* possibility of using differing summation schemes, the output of
* this method may vary on the same input values.
as I see it this assertion imposes no constraints on how the sum can
be varied. Strictly speaking, I'm afraid from conformance point of
view it can cause the entire method to become untestable.
Thank you,
Georgiy.
I would argue the statement above is just a clarification of the
existing (non) specification of how the method can operate.
Ideally, the sum method would state an error bound for its operation.
There are bugs in this subcomponent mentioning adding such a bound,
which may be done later in JDK 9.
Do I understand correctly that your opinion is that for the present
moment this method is actually untestable from conformance point of view?
Whatever the testability status of the method is as of Java SE 8, I
believe is unchanged by the addition of the sentence in question.
Cheers,
-Joe
