net.jqwik.engine.facades

Class CombinatorsFacadeImpl

java.lang.Object

net.jqwik.api.Combinators.CombinatorsFacade

net.jqwik.engine.facades.CombinatorsFacadeImpl

public class CombinatorsFacadeImpl
extends net.jqwik.api.Combinators.CombinatorsFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
CombinatorsFacadeImpl()

Method Summary

Modifier and Type	Method and Description
<R> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<R>>	combineExhaustive(java.util.List<net.jqwik.api.Arbitrary<java.lang.Object>> arbitraries, java.util.function.Function<java.util.List<java.lang.Object>,R> combineFunction, long maxNumberOfSamples)
<R> net.jqwik.api.Shrinkable<R>	combineShrinkables(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> shrinkables, java.util.function.Function<java.util.List<java.lang.Object>,R> combineFunction)

Methods inherited from class java.lang.Object

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

Constructor Detail

CombinatorsFacadeImpl

public CombinatorsFacadeImpl()

Method Detail

combineShrinkables

public <R> net.jqwik.api.Shrinkable<R> combineShrinkables(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> shrinkables,
                                                          java.util.function.Function<java.util.List<java.lang.Object>,R> combineFunction)

Specified by:

combineShrinkables in class net.jqwik.api.Combinators.CombinatorsFacade

combineExhaustive

public <R> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<R>> combineExhaustive(java.util.List<net.jqwik.api.Arbitrary<java.lang.Object>> arbitraries,
                                                                                      java.util.function.Function<java.util.List<java.lang.Object>,R> combineFunction,
                                                                                      long maxNumberOfSamples)

Specified by:

combineExhaustive in class net.jqwik.api.Combinators.CombinatorsFacade