Package net.jqwik.api

Class ExhaustiveGenerator.ExhaustiveGeneratorFacade

java.lang.Object

net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

Enclosing interface:

ExhaustiveGenerator<T extends @Nullable Object>

@API(status=INTERNAL)
public abstract static class ExhaustiveGenerator.ExhaustiveGeneratorFacade
extends Object

Constructor Summary

Constructors

Constructor	Description
ExhaustiveGeneratorFacade()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExhaustiveGeneratorFacade

public ExhaustiveGeneratorFacade()

Method Details

map

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

filter

public abstract <T extends @Nullable Object>
ExhaustiveGenerator<T> filter(ExhaustiveGenerator<T> self,
 Predicate<? super T> filterPredicate,
 int maxMisses)

injectNull

public abstract <T extends @Nullable Object>
ExhaustiveGenerator<@Nullable T> injectNull(ExhaustiveGenerator<T> self)

ignoreExceptions

public abstract <T extends @Nullable Object>
ExhaustiveGenerator<T> ignoreExceptions(ExhaustiveGenerator<T> self,
 Class<? extends Throwable>[] exceptionTypes,
 int maxThrows)