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

Class RandomGenerators

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.RandomGenerators

public class RandomGenerators
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_COLLECTION_SIZE

Constructor Summary

Constructors

Constructor	Description
RandomGenerators()

Method Summary

Modifier and Type	Method	Description
static net.jqwik.api.RandomGenerator<java.math.BigDecimal>	bigDecimals(Range<java.math.BigDecimal> range, int scale, java.math.BigDecimal shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
static net.jqwik.api.RandomGenerator<java.math.BigInteger>	bigIntegers(java.math.BigInteger min, java.math.BigInteger max, java.math.BigInteger shrinkingTarget, net.jqwik.api.RandomDistribution distribution)
static net.jqwik.api.RandomGenerator<java.lang.Character>	chars(char min, char max)
static net.jqwik.api.RandomGenerator<java.lang.Character>	choose(char[] characters)
static <U> net.jqwik.api.RandomGenerator<U>	choose(java.util.List<U> values)
static <U> net.jqwik.api.RandomGenerator<U>	choose(U[] values)
static <U> U	chooseValue(java.util.List<U> values, java.util.Random random)
static int	defaultCutoffSize(int minSize, int maxSize, int genSize)
static <T> net.jqwik.api.RandomGenerator<T>	fail(java.lang.String message)
static <T> net.jqwik.api.RandomGenerator<T>	frequency(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,T>> frequencies)
static <T> net.jqwik.api.RandomGenerator<T>	frequencyOf(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,net.jqwik.api.Arbitrary<T>>> frequencies, int genSize)
static net.jqwik.api.RandomGenerator<java.lang.Integer>	integers(int min, int max)
static <T> net.jqwik.api.RandomGenerator<java.util.List<T>>	list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize)
static <T> net.jqwik.api.RandomGenerator<java.util.List<T>>	list(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int cutoffSize)
static <T> net.jqwik.api.RandomGenerator<T>	oneOf(java.util.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(java.util.List<net.jqwik.api.Shrinkable<T>> samples)
static <T> net.jqwik.api.RandomGenerator<java.util.Set<T>>	set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize)
static <T> net.jqwik.api.RandomGenerator<java.util.Set<T>>	set(net.jqwik.api.RandomGenerator<T> elementGenerator, int minSize, int maxSize, int cutoffSize)
static <T> net.jqwik.api.RandomGenerator<java.util.List<T>>	shuffle(java.util.List<T> values)
static net.jqwik.api.RandomGenerator<java.lang.String>	strings(net.jqwik.api.RandomGenerator<java.lang.Character> elementGenerator, int minLength, int maxLength)
static net.jqwik.api.RandomGenerator<java.lang.String>	strings(net.jqwik.api.RandomGenerator<java.lang.Character> elementGenerator, int minLength, int maxLength, int cutoffLength)
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 Detail

DEFAULT_COLLECTION_SIZE

public static final int DEFAULT_COLLECTION_SIZE

See Also:

Constant Field Values

Constructor Detail

RandomGenerators

public RandomGenerators()

Method Detail

choose

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

chooseValue

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

choose

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

choose

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

chars

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

integers

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

bigIntegers

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

bigDecimals

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

list

public static <T> net.jqwik.api.RandomGenerator<java.util.List<T>> list(net.jqwik.api.RandomGenerator<T> elementGenerator,
                                                                        int minSize,
                                                                        int maxSize)

list

public static <T> net.jqwik.api.RandomGenerator<java.util.List<T>> list(net.jqwik.api.RandomGenerator<T> elementGenerator,
                                                                        int minSize,
                                                                        int maxSize,
                                                                        int cutoffSize)

oneOf

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

shuffle

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

strings

public static net.jqwik.api.RandomGenerator<java.lang.String> strings(net.jqwik.api.RandomGenerator<java.lang.Character> elementGenerator,
                                                                      int minLength,
                                                                      int maxLength,
                                                                      int cutoffLength)

strings

public static net.jqwik.api.RandomGenerator<java.lang.String> strings(net.jqwik.api.RandomGenerator<java.lang.Character> elementGenerator,
                                                                      int minLength,
                                                                      int maxLength)

set

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

set

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

samplesFromShrinkables

public static <T> net.jqwik.api.RandomGenerator<T> samplesFromShrinkables(java.util.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(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,T>> frequencies)

frequencyOf

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

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(java.lang.String message)

defaultCutoffSize

public static int defaultCutoffSize(int minSize,
                                    int maxSize,
                                    int genSize)