Package net.jqwik.api

Interface ExhaustiveGenerator<T extends @Nullable Object>

All Superinterfaces:

Iterable<T>

@API(status=INTERNAL)
public interface ExhaustiveGenerator<T extends @Nullable Object>
extends Iterable<T>

Used only internally to run and compute exhaustive generation of parameters

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	ExhaustiveGenerator.ExhaustiveGeneratorFacade

Field Summary

Fields

Modifier and Type	Field	Description
static final long	MAXIMUM_SAMPLES_TO_GENERATE

Method Summary

Modifier and Type	Method	Description
default ExhaustiveGenerator<T>	filter(Predicate<? super T> filterPredicate, int maxMisses)
default ExhaustiveGenerator<T>	ignoreExceptions(int maxThrows, Class<? extends Throwable>[] exceptionTypes)
default ExhaustiveGenerator<T>	injectNull()
default <U extends @Nullable Object> ExhaustiveGenerator<U>	map(Function<? super T,? extends U> mapper)
long	maxCount()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Field Details

MAXIMUM_SAMPLES_TO_GENERATE

static final long MAXIMUM_SAMPLES_TO_GENERATE

See Also:

• Constant Field Values

Method Details

maxCount

long maxCount()

Returns:

the maximum number of values that will be generated

map

default <U extends @Nullable Object>
ExhaustiveGenerator<U> map(Function<? super T,? extends U> mapper)

filter

default ExhaustiveGenerator<T> filter(Predicate<? super T> filterPredicate,
 int maxMisses)

injectNull

default ExhaustiveGenerator<T> injectNull()

ignoreExceptions

default ExhaustiveGenerator<T> ignoreExceptions(int maxThrows,
 Class<? extends Throwable>[] exceptionTypes)