net.jqwik.api.arbitraries

Interface FunctionArbitrary<F,R>

Type Parameters:

F - The exact functional type to generate

R - The return type of the functional interface

All Superinterfaces:

Arbitrary<F>

@API(status=EXPERIMENTAL,
     since="1.2.0")
public interface FunctionArbitrary<F,R>
extends Arbitrary<F>

Fluent interface to configure arbitraries that represent functional types

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method and Description
<F_> FunctionArbitrary<F_,R>	when(java.util.function.Predicate<java.util.List> parameterCondition, java.util.function.Function<java.util.List,R> answer)

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, collect, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, generator, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, unique, withSamples

Method Detail

when

<F_> FunctionArbitrary<F_,R> when(java.util.function.Predicate<java.util.List> parameterCondition,
                                  java.util.function.Function<java.util.List,R> answer)

Type Parameters:

F_ - The exact functional type to generate. Must be same as F

Parameters:

parameterCondition - A predicate that's true when for the given list of parameters answer should be used to produce the function' result

answer - A function that produces a concrete answer or throws an exception

Returns:

A new instance of function arbitrary