On Thu, 26 Nov 2020 15:41:16 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>> 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. Done ------------- PR: https://git.openjdk.java.net/jdk/pull/1292