Package net.jqwik.api

Schnittstelle RandomDistribution.RandomNumericGenerator

Umschließende Schnittstelle:
RandomDistribution
@API(status=INTERNAL) public static interface RandomDistribution.RandomNumericGenerator
Generator for BigInteger values which are behind all generated numeric values in jqwik.

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    BigInteger
    next(Random random)
    Generate next random number within the specified range given on creation of the generator.

  • Methodendetails

    • next

      BigInteger next(Random random)
      Generate next random number within the specified range given on creation of the generator.
      Parameter:
      random - A random value to use for random generation
      Gibt zurück:
      an instance of BigInteger. Never null.