RFR: 8248862: Implement Enhanced Pseudo-Random Number Generators [v31]

[Jim Laskey]

On Thu, 18 Mar 2021 12:57:16 GMT, Jim Laskey <jlaskey at openjdk.org> wrote:

>> src/java.base/share/classes/jdk/internal/util/random/RandomSupport.java line 62:
>> 
>>> 60:     @Retention(RetentionPolicy.RUNTIME)
>>> 61:     @Target(ElementType.TYPE)
>>> 62:     public @interface RandomGeneratorProperties {
>> 
>> Should the is-deprecated information be stored here?
>
> I don't think so. That would require the deprecation state be stored in two places. I think it's sufficient to rely on the presence of @Deprecated.

isDeprecated was added

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

PR: https://git.openjdk.java.net/jdk/pull/1292