Package net.jqwik.api

Interface RandomGenerator<T extends @Nullable Object>

@API(status=STABLE,
     since="1.0")
public interface RandomGenerator<T extends @Nullable Object>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	RandomGenerator.RandomGeneratorFacade

Method Summary

Modifier and Type	Method	Description
default RandomGenerator<List<T>>	collect(Predicate<? super List<? extends T>> until)
default RandomGenerator<T>	dontShrink()
default RandomGenerator<T>	filter(Predicate<? super T> filterPredicate, int maxMisses)
default <U extends @Nullable Object> RandomGenerator<U>	flatMap(Function<? super T,? extends Arbitrary<U>> mapper, int genSize, boolean withEmbeddedEdgeCases)
default <U extends @Nullable Object> RandomGenerator<U>	flatMap(Function<? super T,? extends RandomGenerator<U>> mapper)
default RandomGenerator<T>	ignoreExceptions(int maxThrows, Class<? extends Throwable>[] exceptionTypes)
default RandomGenerator<T>	injectDuplicates(double duplicateProbability)
default <U extends @Nullable Object> RandomGenerator<U>	map(Function<? super T,? extends U> mapper)
default <U extends @Nullable Object> RandomGenerator<U>	mapShrinkable(Function<? super Shrinkable<T>,? extends Shrinkable<U>> mapper)
Shrinkable<T>	next(Random random)
default Stream<Shrinkable<T>>	stream(Random random)
default RandomGenerator<T>	withEdgeCases(int genSize, EdgeCases<T> edgeCases)

Method Details

next

Shrinkable<T> next(Random random)

Parameters:

random - the source of randomness. Injected by jqwik itself.

Returns:

the next generated value wrapped within the Shrinkable interface. The method must ALWAYS return a next value.

map

@API(status=INTERNAL)
default <U extends @Nullable Object>
RandomGenerator<U> map(Function<? super T,? extends U> mapper)

mapShrinkable

@API(status=INTERNAL)
default <U extends @Nullable Object>
RandomGenerator<U> mapShrinkable(Function<? super Shrinkable<T>,? extends Shrinkable<U>> mapper)

flatMap

@API(status=INTERNAL)
default <U extends @Nullable Object>
RandomGenerator<U> flatMap(Function<? super T,? extends RandomGenerator<U>> mapper)

flatMap

@API(status=INTERNAL)
default <U extends @Nullable Object>
RandomGenerator<U> flatMap(Function<? super T,? extends Arbitrary<U>> mapper,
 int genSize,
 boolean withEmbeddedEdgeCases)

filter

@API(status=INTERNAL)
default RandomGenerator<T> filter(Predicate<? super T> filterPredicate,
 int maxMisses)

withEdgeCases

@API(status=INTERNAL)
default RandomGenerator<T> withEdgeCases(int genSize,
 EdgeCases<T> edgeCases)

stream

@API(status=INTERNAL)
default Stream<Shrinkable<T>> stream(Random random)

collect

@API(status=INTERNAL)
default RandomGenerator<List<T>> collect(Predicate<? super List<? extends T>> until)

injectDuplicates

@API(status=INTERNAL)
default RandomGenerator<T> injectDuplicates(double duplicateProbability)

ignoreExceptions

@API(status=INTERNAL)
default RandomGenerator<T> ignoreExceptions(int maxThrows,
 Class<? extends Throwable>[] exceptionTypes)

dontShrink

@API(status=INTERNAL)
default RandomGenerator<T> dontShrink()