net.jqwik.api

Interface RandomDistribution.RandomNumericGenerator

Enclosing interface:

RandomDistribution

@API(status=INTERNAL)
public static interface RandomDistribution.RandomNumericGenerator

Generator for BigInteger values which are behind all generated numeric values in jqwik.

Method Summary

Modifier and Type	Method and Description
java.math.BigInteger	next(java.util.Random random) Generate next random number within the specified range given on creation of the generator.

Method Detail

next

java.math.BigInteger next(java.util.Random random)

Generate next random number within the specified range given on creation of the generator.

Parameters:

random - A random value to use for random generation

Returns:

an instance of BigInteger. Never null.