Package net.jqwik.engine.facades

Class ExhaustiveGeneratorFacadeImpl

java.lang.Object

net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

net.jqwik.engine.facades.ExhaustiveGeneratorFacadeImpl

public class ExhaustiveGeneratorFacadeImpl
extends net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor	Description
ExhaustiveGeneratorFacadeImpl()

Method Summary

Modifier and Type	Method	Description
<T> net.jqwik.api.ExhaustiveGenerator<T>	filter(net.jqwik.api.ExhaustiveGenerator<T> self, Predicate<T> filterPredicate, int maxMisses)
<T> net.jqwik.api.ExhaustiveGenerator<T>	ignoreException(net.jqwik.api.ExhaustiveGenerator<T> self, Class<? extends Throwable> exceptionType)
<T> net.jqwik.api.ExhaustiveGenerator<T>	injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)
<T, U> net.jqwik.api.ExhaustiveGenerator<U>	map(net.jqwik.api.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

ExhaustiveGeneratorFacadeImpl

public ExhaustiveGeneratorFacadeImpl()

Method Details

map

public <T,
U> net.jqwik.api.ExhaustiveGenerator<U> map(net.jqwik.api.ExhaustiveGenerator<T> self,
 Function<T,U> mapper)

Specified by:

map in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

filter

public <T> net.jqwik.api.ExhaustiveGenerator<T> filter(net.jqwik.api.ExhaustiveGenerator<T> self,
 Predicate<T> filterPredicate,
 int maxMisses)

Specified by:

filter in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

injectNull

public <T> net.jqwik.api.ExhaustiveGenerator<T> injectNull(net.jqwik.api.ExhaustiveGenerator<T> self)

Specified by:

injectNull in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

ignoreException

public <T> net.jqwik.api.ExhaustiveGenerator<T> ignoreException(net.jqwik.api.ExhaustiveGenerator<T> self,
 Class<? extends Throwable> exceptionType)

Specified by:

ignoreException in class net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade