RFR: 8351565: Implement JEP 502: Stable Values (Preview) [v33]

[Per Minborg]

On Wed, 2 Apr 2025 14:04:52 GMT, Alan Bateman <alanb at openjdk.org> wrote:

>> Per Minborg has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Add info that Map#values and Map#entrySet are stable
>
> src/java.base/share/classes/java/lang/StableValue.java line 649:
> 
>> 647:      * be thrown.
>> 648:      *
>> 649:      * @param inputs   the set of (non-null) allowed input values
> 
> You might get asked what the behavior is when the inputs set contains the null element.

Nice catch. The docs only state that if any _parameter_ is `null`, an NPE is thrown. I've fixed this now.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/23972#discussion_r2026455401