net.jqwik.api

Interface ExhaustiveGenerator<T>

All Superinterfaces:

java.lang.Iterable<T>

@API(status=MAINTAINED,
     since="1.0")
public interface ExhaustiveGenerator<T>
extends java.lang.Iterable<T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ExhaustiveGenerator.ExhaustiveGeneratorFacade

Method Summary

Modifier and Type	Method and Description
default ExhaustiveGenerator<T>	filter(java.util.function.Predicate<T> filterPredicate)
default ExhaustiveGenerator<T>	injectNull()
default boolean	isUnique() This is a hack to make unique work for exhaustive generation
default <U> ExhaustiveGenerator<U>	map(java.util.function.Function<T,U> mapper)
long	maxCount()
default ExhaustiveGenerator<T>	unique()
default ExhaustiveGenerator<T>	withSamples(T[] samples)

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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)

isUnique

@API(status=INTERNAL)
default boolean isUnique()

This is a hack to make unique work for exhaustive generation

unique

default ExhaustiveGenerator<T> unique()

injectNull

default ExhaustiveGenerator<T> injectNull()

withSamples

default ExhaustiveGenerator<T> withSamples(T[] samples)