JDK 15 RFR of JDK-8240624: Note mapping of RoundingMode constants to equivalent IEEE 754-2019 policy

[Joe Darcy]

Hi Brian,

On 3/5/2020 1:51 PM, Brian Burkhalter wrote:
> Hi Joe,
>
>> On Mar 5, 2020, at 1:45 PM, Joe Darcy <joe.darcy at oracle.com 
>> <mailto:joe.darcy at oracle.com>> wrote:
>>
>> Where such a mapping exists, it would be helpful to tie the policies 
>> represented by various RoundingMode constants to the equivalent 
>> rounding attribute defined by IEEE 754-2019, the latest version of 
>> the floating-point standard:
>>
>>     JDK-8240624: Note mapping of RoundingMode constants to equivalent 
>> IEEE 754-2019 policy
>> http://cr.openjdk.java.net/~darcy/8240624.0/
>>
> Looks fine. Do you think the IEEE 754-2019 attribute names should have 
> some kind of formatting, e.g., @code or italics?

The IEEE standard uses normal next for those terms, no italics, bold, 
etc. ; in this context, I think preserving that convention is fine.

I'll push with a slightly reworked opening API note:

+ * @apiNote
+ * Five of the rounding modes declared in this class correspond to
+ * rounding direction attributes defined in the <cite>IEEE Standard
+ * for Floating-Point Arithmetic</cite>, IEEE 754-2019. Where present,
+ * this correspondence will be noted in the documentation of the
+ * particular constant.
+ *

Thanks,

-Joe