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

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method 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.