Package net.jqwik.engine.properties.arbitraries.randomized

Class RandomGenerators

java.lang.Object
net.jqwik.engine.properties.arbitraries.randomized.RandomGenerators
public class RandomGenerators extends Object

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final int
    DEFAULT_COLLECTION_SIZE
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    RandomGenerators()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static net.jqwik.api.RandomGenerator<BigDecimal>
    bigDecimals(Range<BigDecimal> range, int scale, BigDecimal shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
     
    static net.jqwik.api.RandomGenerator<BigInteger>
    bigIntegers(BigInteger min, BigInteger max, BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
     
    static net.jqwik.api.RandomGenerator<Character>
    chars(char min, char max)
     
    static net.jqwik.api.RandomGenerator<Character>
    choose(char[] characters)
     
    static <U> net.jqwik.api.RandomGenerator<U>
    choose(List<U> values)
     
    static <U> net.jqwik.api.RandomGenerator<U>
    choose(U[] values)
     
    static <U> U
    chooseValue(List<U> values, Random random)
     
    static int
    collectionMaxSize(int minSize, Integer maxSize)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    fail(String message)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    frequency(List<net.jqwik.api.Tuple.Tuple2<Integer,T>> frequencies)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    frequencyOf(List<net.jqwik.api.Tuple.Tuple2<Integer,net.jqwik.api.Arbitrary<T>>> frequencies, int genSize, boolean withEmbeddedEdgeCases)
     
    static net.jqwik.api.RandomGenerator<Integer>
    integers(int min, int max)
     
    static <T> net.jqwik.api.RandomGenerator<List<T>>
    list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, long maxUniqueElements, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<FeatureExtractor<T>> uniquenessExtractors)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    oneOf(List<net.jqwik.api.RandomGenerator<T>> all)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    samples(T[] samples)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    samplesFromShrinkables(List<net.jqwik.api.Shrinkable<T>> samples)
     
    static <T> net.jqwik.api.RandomGenerator<Set<T>>
    set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize)
     
    static <T> net.jqwik.api.RandomGenerator<Set<T>>
    set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<FeatureExtractor<T>> uniquenessExtractors)
     
    static <T> net.jqwik.api.RandomGenerator<List<T>>
    shuffle(List<T> values)
     
    static net.jqwik.api.RandomGenerator<String>
    strings(net.jqwik.api.RandomGenerator<Character> elementGenerator, int minLength, int maxLength, long maxUniqueChars, int genSize, net.jqwik.api.RandomDistribution lengthDistribution)
     
    static <T> net.jqwik.api.RandomGenerator<T>
    withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • DEFAULT_COLLECTION_SIZE

      public static final int DEFAULT_COLLECTION_SIZE
      See Also:

  • Constructor Details

    • RandomGenerators

      public RandomGenerators()

  • Method Details

    • collectionMaxSize

      public static int collectionMaxSize(int minSize, Integer maxSize)

    • choose

      public static <U> net.jqwik.api.RandomGenerator<U> choose(List<U> values)

    • chooseValue

      public static <U> U chooseValue(List<U> values, Random random)

    • choose

      public static <U> net.jqwik.api.RandomGenerator<U> choose(U[] values)

    • choose

      public static net.jqwik.api.RandomGenerator<Character> choose(char[] characters)

    • chars

      public static net.jqwik.api.RandomGenerator<Character> chars(char min, char max)

    • integers

      public static net.jqwik.api.RandomGenerator<Integer> integers(int min, int max)

    • bigIntegers

      public static net.jqwik.api.RandomGenerator<BigInteger> bigIntegers(BigInteger min, BigInteger max, BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)

    • bigDecimals

      public static net.jqwik.api.RandomGenerator<BigDecimal> bigDecimals(Range<BigDecimal> range, int scale, BigDecimal shrinkingTarget, net.jqwik.api.RandomDistribution distribution)

    • oneOf

      public static <T> net.jqwik.api.RandomGenerator<T> oneOf(List<net.jqwik.api.RandomGenerator<T>> all)

    • shuffle

      public static <T> net.jqwik.api.RandomGenerator<List<T>> shuffle(List<T> values)

    • strings

      public static net.jqwik.api.RandomGenerator<String> strings(net.jqwik.api.RandomGenerator<Character> elementGenerator, int minLength, int maxLength, long maxUniqueChars, int genSize, net.jqwik.api.RandomDistribution lengthDistribution)

    • list

      public static <T> net.jqwik.api.RandomGenerator<List<T>> list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, long maxUniqueElements, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<FeatureExtractor<T>> uniquenessExtractors)

    • set

      public static <T> net.jqwik.api.RandomGenerator<Set<T>> set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize)

    • set

      public static <T> net.jqwik.api.RandomGenerator<Set<T>> set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int genSize, net.jqwik.api.RandomDistribution sizeDistribution, Set<FeatureExtractor<T>> uniquenessExtractors)

    • samplesFromShrinkables

      public static <T> net.jqwik.api.RandomGenerator<T> samplesFromShrinkables(List<net.jqwik.api.Shrinkable<T>> samples)

    • samples

      public static <T> net.jqwik.api.RandomGenerator<T> samples(T[] samples)

    • frequency

      public static <T> net.jqwik.api.RandomGenerator<T> frequency(List<net.jqwik.api.Tuple.Tuple2<Integer,T>> frequencies)

    • frequencyOf

      public static <T> net.jqwik.api.RandomGenerator<T> frequencyOf(List<net.jqwik.api.Tuple.Tuple2<Integer,net.jqwik.api.Arbitrary<T>>> frequencies, int genSize, boolean withEmbeddedEdgeCases)

    • withEdgeCases

      public static <T> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, net.jqwik.api.EdgeCases<T> edgeCases)

    • fail

      public static <T> net.jqwik.api.RandomGenerator<T> fail(String message)