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 and Description
static int	DEFAULT_COLLECTION_SIZE

Constructor Summary

Constructors

Constructor and Description
RandomGenerators()

Method Summary

Modifier and Type	Method and Description
static net.jqwik.api.RandomGenerator<java.math.BigDecimal>	bigDecimals(java.math.BigDecimal min, java.math.BigDecimal max, int scale, java.util.function.Function<java.math.BigDecimal,java.math.BigDecimal> shrinkingTargetCalculator, java.math.BigDecimal... partitionPoints)
static net.jqwik.api.RandomGenerator<java.math.BigInteger>	bigIntegers(java.math.BigInteger min, java.math.BigInteger max, java.util.function.Function<java.math.BigInteger,java.math.BigInteger> shrinkingTargetCalculator, java.math.BigInteger... partitionPoints)
static net.jqwik.api.RandomGenerator<java.lang.Byte>	bytes(byte min, byte max)
static java.math.BigDecimal[]	calculateDefaultPartitionPoints(int genSize, java.math.BigDecimal min, java.math.BigDecimal max)
static java.math.BigInteger[]	calculateDefaultPartitionPoints(int genSize, java.math.BigInteger min, java.math.BigInteger max)
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 <T extends java.lang.Enum<T>> net.jqwik.api.RandomGenerator<T>	choose(java.lang.Class<T> enumClass)
static <U> net.jqwik.api.RandomGenerator<U>	choose(java.util.List<U> values)
static <U> net.jqwik.api.RandomGenerator<U>	choose(U[] values)
static <T> net.jqwik.api.RandomGenerator<T>	chooseShrinkable(java.util.List<net.jqwik.api.Shrinkable<T>> shrinkables)
static int	defaultCutoffSize(int minSize, int maxSize, int genSize)
static java.util.function.Function<java.math.BigDecimal,java.math.BigDecimal>	defaultShrinkingTargetCalculator(java.math.BigDecimal min, java.math.BigDecimal max)
static java.util.function.Function<java.math.BigInteger,java.math.BigInteger>	defaultShrinkingTargetCalculator(java.math.BigInteger min, java.math.BigInteger max)
static net.jqwik.api.RandomGenerator<java.lang.Double>	doubles(double min, double max, int scale)
static <T> net.jqwik.api.RandomGenerator<T>	fail(java.lang.String message)
static net.jqwik.api.RandomGenerator<java.lang.Float>	floats(float min, float max, int scale)
static <T> net.jqwik.api.RandomGenerator<T>	frequency(java.util.List<net.jqwik.api.Tuple.Tuple2<java.lang.Integer,T>> frequencies)
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 net.jqwik.api.RandomGenerator<java.lang.Long>	longs(long min, long max)
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 net.jqwik.api.RandomGenerator<java.lang.Short>	shorts(short min, short max)
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, java.util.List<net.jqwik.api.Shrinkable<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)

choose

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

choose

public static <T extends java.lang.Enum<T>> net.jqwik.api.RandomGenerator<T> choose(java.lang.Class<T> enumClass)

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)

bytes

public static net.jqwik.api.RandomGenerator<java.lang.Byte> bytes(byte min,
                                                                  byte max)

shorts

public static net.jqwik.api.RandomGenerator<java.lang.Short> shorts(short min,
                                                                    short max)

integers

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

longs

public static net.jqwik.api.RandomGenerator<java.lang.Long> longs(long min,
                                                                  long max)

bigIntegers

public static net.jqwik.api.RandomGenerator<java.math.BigInteger> bigIntegers(java.math.BigInteger min,
                                                                              java.math.BigInteger max,
                                                                              java.util.function.Function<java.math.BigInteger,java.math.BigInteger> shrinkingTargetCalculator,
                                                                              java.math.BigInteger... partitionPoints)

doubles

public static net.jqwik.api.RandomGenerator<java.lang.Double> doubles(double min,
                                                                      double max,
                                                                      int scale)

floats

public static net.jqwik.api.RandomGenerator<java.lang.Float> floats(float min,
                                                                    float max,
                                                                    int scale)

bigDecimals

public static net.jqwik.api.RandomGenerator<java.math.BigDecimal> bigDecimals(java.math.BigDecimal min,
                                                                              java.math.BigDecimal max,
                                                                              int scale,
                                                                              java.util.function.Function<java.math.BigDecimal,java.math.BigDecimal> shrinkingTargetCalculator,
                                                                              java.math.BigDecimal... partitionPoints)

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)

chooseShrinkable

public static <T> net.jqwik.api.RandomGenerator<T> chooseShrinkable(java.util.List<net.jqwik.api.Shrinkable<T>> shrinkables)

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)

withEdgeCases

public static <T> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self,
                                                                 int genSize,
                                                                 java.util.List<net.jqwik.api.Shrinkable<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)

defaultShrinkingTargetCalculator

public static java.util.function.Function<java.math.BigInteger,java.math.BigInteger> defaultShrinkingTargetCalculator(java.math.BigInteger min,
                                                                                                                      java.math.BigInteger max)

defaultShrinkingTargetCalculator

public static java.util.function.Function<java.math.BigDecimal,java.math.BigDecimal> defaultShrinkingTargetCalculator(java.math.BigDecimal min,
                                                                                                                      java.math.BigDecimal max)

calculateDefaultPartitionPoints

public static java.math.BigInteger[] calculateDefaultPartitionPoints(int genSize,
                                                                     java.math.BigInteger min,
                                                                     java.math.BigInteger max)

calculateDefaultPartitionPoints

public static java.math.BigDecimal[] calculateDefaultPartitionPoints(int genSize,
                                                                     java.math.BigDecimal min,
                                                                     java.math.BigDecimal max)