RFR: 8248862: Implement Enhanced Pseudo-Random Number Generators [v17]
Rémi Forax
github.com+828220+forax at openjdk.java.net
Tue Feb 16 15:56:48 UTC 2021
On Tue, 16 Feb 2021 14:03:56 GMT, Jim Laskey <jlaskey at openjdk.org> wrote:
>> src/java.base/share/classes/jdk/internal/util/random/RandomSupport.java line 1548:
>>
>>> 1546: * @return a stream of (pseudo)randomly chosen {@code int} values
>>> 1547: */
>>> 1548:
>>
>> Is `@Override` intentionally omitted?
>
> The interface method is a default method, so not technically an override.
It's not an override but @Override has a broader semantics than just overriding an existing method.
Given that it helps to understand that this method is part of a larger algorithm, i think this method should be tagged with @Override
-------------
PR: https://git.openjdk.java.net/jdk/pull/1292
More information about the security-dev
mailing list