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, net.jqwik.api.Arbitrary<T> elementArbitrary)
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, net.jqwik.api.Arbitrary<T> elementArbitrary)
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, net.jqwik.api.Arbitrary<T> elementArbitrary)
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, net.jqwik.api.Arbitrary<Character> characterArbitrary, boolean uniqueChars)
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:

• Constant Field Values

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,
 net.jqwik.api.Arbitrary<Character> characterArbitrary,
 boolean uniqueChars)

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,
 net.jqwik.api.Arbitrary<T> elementArbitrary)

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.Arbitrary<T> elementArbitrary)

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,
 net.jqwik.api.Arbitrary<T> elementArbitrary)

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)