RFR: JDK-8294539: Augment discussion of equivalence relations on floating-point values [v2]

[Joe Darcy]

On Fri, 30 Sep 2022 20:08:36 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

>> Joe Darcy has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Add discussion of numerical equality.
>>  - Fix typo.
>
> src/java.base/share/classes/java/lang/Double.java line 166:
> 
>> 164:  * equivalence relation for {@code double} values {@code a} and {@code b} is
>> 165:  * implemented by the expression
>> 166:  * <br>{@code Double.doubleTo}<code><b>Raw</b></code>{@code LongBits(a) == Double.doubleTo}<code><b>Raw</b></code>{@code LongBits(b)}<br>
> 
> Place in a code snippet since it's hard to read in source otherwise? Snippets allow for highlighting e.g.
> 
> /**
>  * {@snippet :
>  * Double.doubleToRawLongBits(a) == Double.doubleToRawLongBits(b) // @highlight substring="Raw"
>  * }
>  */

Before sending out the PR, I used a snippet, but it formatted the code using too much vertical space for the definition list. I didn't look to see if there was a "compact" styling option that could be used.

-------------

PR: https://git.openjdk.org/jdk/pull/10498