net.jqwik.api

Interface ExhaustiveGenerator<T>

All Superinterfaces:

java.lang.Iterable<T>

@API(status=INTERNAL)
public interface ExhaustiveGenerator<T>
extends java.lang.Iterable<T>

Used only internally to run and compute exhaustive generation of parameters

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ExhaustiveGenerator.ExhaustiveGeneratorFacade

Field Summary

Fields

Modifier and Type	Field and Description
static long	MAXIMUM_SAMPLES_TO_GENERATE

Method Summary

Modifier and Type	Method and Description
default ExhaustiveGenerator<T>	filter(java.util.function.Predicate<T> filterPredicate, int maxMisses)
default ExhaustiveGenerator<T>	ignoreExceptions(int maxThrows, java.lang.Class<? extends java.lang.Throwable>[] exceptionTypes)
default ExhaustiveGenerator<T>	injectNull()
default <U> ExhaustiveGenerator<U>	map(java.util.function.Function<T,U> mapper)
long	maxCount()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Field Detail

MAXIMUM_SAMPLES_TO_GENERATE

static final long MAXIMUM_SAMPLES_TO_GENERATE

See Also:

Constant Field Values

Method Detail

maxCount

long maxCount()

Returns:

the maximum number of values that will be generated

map

default <U> ExhaustiveGenerator<U> map(java.util.function.Function<T,U> mapper)

filter

default ExhaustiveGenerator<T> filter(java.util.function.Predicate<T> filterPredicate,
                                      int maxMisses)

injectNull

default ExhaustiveGenerator<T> injectNull()

ignoreExceptions

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