RFR: 8303480: Miscellaneous fixes to mostly invisible doc comments [v2]
Jonathan Gibbons
jjg at openjdk.org
Mon Mar 6 20:31:18 UTC 2023
On Fri, 3 Mar 2023 11:31:04 GMT, Alexey Ivanov <aivanov at openjdk.org> wrote:
>> Yes, iff means if-and-only-if and is used for extra precision in formal logic, mathematics. As @pavelrappo points out it's a relatively common occurrence in the OpenJDK sources, though perhaps not in the public javadocs. Perhaps a bit pretentious, but mostly a terse way to say "return true if the BSM method type exactly matches X, otherwise false".
>>
>> The broken link stems from the fact that the method I was targeting (a way to use condy for lambda proxy singletons rather than a `MethodHandle.constant`) was never integrated. We'll look at either getting that done (@briangoetz suggested the time might be ready for it) or remove this currently pointless static bootstrap specialization test.
>
>> Yes, iff means if-and-only-if and is used for extra precision in formal logic, mathematics.
>
> I've never come across it before. With your explanations, it makes perfect sense.
I would recommend (separately) changing `iff` to the expanded form `if and only if`
-------------
PR: https://git.openjdk.org/jdk/pull/12826
More information about the ide-support-dev
mailing list