Package net.jqwik.api.arbitraries

Schnittstelle FunctionArbitrary<F,R extends @Nullable Object>

Typparameter:

F - The exact functional type to generate

R - The return type of the functional interface

Alle Superschnittstellen:

Arbitrary<F>

@API(status=MAINTAINED,
     since="1.3.0")
public interface FunctionArbitrary<F,R extends @Nullable Object>
extends Arbitrary<F>

Fluent interface to configure arbitraries that represent functional types

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Arbitrary

Arbitrary.ArbitraryFacade

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
<F_ extends F> FunctionArbitrary<F_,R>	when(Predicate<? super List<?>> parameterCondition, Function<? super List<?>,? extends R> answer)

Von Schnittstelle geerbte Methoden net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Methodendetails

when

<F_ extends F> FunctionArbitrary<F_,R> when(Predicate<? super List<?>> parameterCondition,
 Function<? super List<?>,? extends R> answer)

Typparameter:

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

Parameter:

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

Gibt zurück:

A new instance of function arbitrary