Package net.jqwik.api

Class ExhaustiveGenerator.ExhaustiveGeneratorFacade

java.lang.Object

net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

Enclosing interface:

ExhaustiveGenerator<T>

@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> ExhaustiveGenerator<T>	filter(ExhaustiveGenerator<T> self, Predicate<T> filterPredicate, int maxMisses)
abstract <T> ExhaustiveGenerator<T>	ignoreExceptions(ExhaustiveGenerator<T> self, Class<? extends Throwable>[] exceptionTypes)
abstract <T> ExhaustiveGenerator<T>	injectNull(ExhaustiveGenerator<T> self)
abstract <T, U> ExhaustiveGenerator<U>	map(ExhaustiveGenerator<T> self, Function<T,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,
U> ExhaustiveGenerator<U> map(ExhaustiveGenerator<T> self,
 Function<T,U> mapper)

filter

public abstract <T> ExhaustiveGenerator<T> filter(ExhaustiveGenerator<T> self,
 Predicate<T> filterPredicate,
 int maxMisses)

injectNull

public abstract <T> ExhaustiveGenerator<T> injectNull(ExhaustiveGenerator<T> self)

ignoreExceptions

public abstract <T> ExhaustiveGenerator<T> ignoreExceptions(ExhaustiveGenerator<T> self,
 Class<? extends Throwable>[] exceptionTypes)