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.