net.jqwik.engine.properties.arbitraries

Class DefaultFunctionArbitrary<F,R>

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.DefaultFunctionArbitrary<F,R>

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.FunctionArbitrary<F,R>, net.jqwik.api.Arbitrary<F>

public class DefaultFunctionArbitrary<F,R>
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.FunctionArbitrary<F,R>

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
DefaultFunctionArbitrary(java.lang.Class<F> functionalType, net.jqwik.api.Arbitrary<R> resultArbitrary)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.RandomGenerator<F>	generator(int genSize)
<F_> net.jqwik.api.arbitraries.FunctionArbitrary<F_,R>	when(java.util.function.Predicate<java.util.List> parameterCondition, java.util.function.Function<java.util.List,R> answer)

Methods inherited from class net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

typedClone

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, unique, withSamples

Constructor Detail

DefaultFunctionArbitrary

public DefaultFunctionArbitrary(java.lang.Class<F> functionalType,
                                net.jqwik.api.Arbitrary<R> resultArbitrary)

Method Detail

generator

public net.jqwik.api.RandomGenerator<F> generator(int genSize)

Specified by:

generator in interface net.jqwik.api.Arbitrary<F>

when

public <F_> net.jqwik.api.arbitraries.FunctionArbitrary<F_,R> when(java.util.function.Predicate<java.util.List> parameterCondition,
                                                                   java.util.function.Function<java.util.List,R> answer)

Specified by:

when in interface net.jqwik.api.arbitraries.FunctionArbitrary<F,R>