On Wed, 25 Nov 2020 14:16:20 GMT, Rémi Forax <github.com+828220+fo...@openjdk.org> wrote:
>> Jim Laskey has updated the pull request incrementally with one additional >> commit since the last revision: >> >> 8248862: Implement Enhanced Pseudo-Random Number Generators >> >> Changes to RandomGeneratorFactory requested by @PaulSandoz > > src/java.base/share/classes/java/util/random/RandomGeneratorFactory.java line > 46: > >> 44: import java.util.stream.Stream; >> 45: import jdk.internal.util.random.RandomSupport.RandomGeneratorProperty; >> 46: > > Instead of calling a method properties to create a Map, it's usually far > easier to use an annotation, > annotation values supports less runtime type so BigInteger is not supported > but using a String instead should be OK. I kind of like the idea - not sure how expressive a BigInteger string is though. I might be able to express as <i, j, k> BigInteger.ONE.shiftLeft(i).subtract(j).shiftLeft(k). Will ponder. ------------- PR: https://git.openjdk.java.net/jdk/pull/1292
