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 java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ExhaustiveGeneratorFacade()

Method Summary

Modifier and Type	Method	Description
abstract <T> ExhaustiveGenerator<T>	filter(ExhaustiveGenerator<T> self, java.util.function.Predicate<T> filterPredicate, int maxMisses)
abstract <T> ExhaustiveGenerator<T>	ignoreException(ExhaustiveGenerator<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
abstract <T> ExhaustiveGenerator<T>	injectNull(ExhaustiveGenerator<T> self)
abstract <T,U> ExhaustiveGenerator<U>	map(ExhaustiveGenerator<T> self, java.util.function.Function<T,U> mapper)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExhaustiveGeneratorFacade

public ExhaustiveGeneratorFacade()

Method Detail

map

public abstract <T,U> ExhaustiveGenerator<U> map(ExhaustiveGenerator<T> self,
                                                       java.util.function.Function<T,U> mapper)

filter

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

injectNull

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

ignoreException

public abstract <T> ExhaustiveGenerator<T> ignoreException(ExhaustiveGenerator<T> self,
                                                           java.lang.Class<? extends java.lang.Throwable> exceptionType)