Package 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	Description
static class	ExhaustiveGenerator.ExhaustiveGeneratorFacade

Field Summary

Fields

Modifier and Type	Field	Description
static long	MAXIMUM_SAMPLES_TO_GENERATE

Method Summary

Modifier and Type	Method	Description
default ExhaustiveGenerator<T>	filter(java.util.function.Predicate<T> filterPredicate, int maxMisses)
default ExhaustiveGenerator<T>	ignoreException(java.lang.Class<? extends java.lang.Throwable> exceptionType)
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()

ignoreException

default ExhaustiveGenerator<T> ignoreException(java.lang.Class<? extends java.lang.Throwable> exceptionType)