Package 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
    Description
    BigInteger
    next(Random random)
    Generate next random number within the specified range given on creation of the generator.

  • Method Details

    • next

      BigInteger next(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.