Package net.jqwik.api.arbitraries
Interface FunctionArbitrary<F,R>
-
- Type Parameters:
F
- The exact functional type to generateR
- The return type of the functional interface
- All Superinterfaces:
Arbitrary<F>
@API(status=MAINTAINED, since="1.3.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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description <F_ extends F>
FunctionArbitrary<F_,R>when(java.util.function.Predicate<java.util.List<java.lang.Object>> parameterCondition, java.util.function.Function<java.util.List<java.lang.Object>,R> answer)
-
Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases
-
-
-
-
Method Detail
-
when
<F_ extends F> FunctionArbitrary<F_,R> when(java.util.function.Predicate<java.util.List<java.lang.Object>> parameterCondition, java.util.function.Function<java.util.List<java.lang.Object>,R> answer)
- Type Parameters:
F_
- The exact functional type to generate. Must be same asF
- Parameters:
parameterCondition
- A predicate that's true when for the given list of parametersanswer
should be used to produce the function' resultanswer
- A function that produces a concrete answer or throws an exception- Returns:
- A new instance of function arbitrary
-
-