Package net.jqwik.api

Interface ExhaustiveGenerator<T>

All Superinterfaces:

Iterable<T>

@API(status=INTERNAL)
public interface ExhaustiveGenerator<T>
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<T> filterPredicate, int maxMisses)
default ExhaustiveGenerator<T>	ignoreExceptions(Class<? extends Throwable>[] exceptionTypes)
default ExhaustiveGenerator<T>	injectNull()
default <U> ExhaustiveGenerator<U>	map(Function<T,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> ExhaustiveGenerator<U> map(Function<T,U> mapper)

filter

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

injectNull

default ExhaustiveGenerator<T> injectNull()

ignoreExceptions

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