Package net.jqwik.api.providers

Schnittstelle ArbitraryProvider.SubtypeProvider

Alle Superschnittstellen:

Function<TypeUsage,Set<Arbitrary<?>>>

Umschließende Schnittstelle:

ArbitraryProvider

Funktionsschnittstelle:

Dies ist eine funktionale Schnittstelle, die somit als Zuweisungsziel für einen Lambdaausdruck oder eine Methodenreferenz verwendet werden kann.

@FunctionalInterface
public static interface ArbitraryProvider.SubtypeProvider
extends Function<TypeUsage,Set<Arbitrary<?>>>

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
default Optional<Arbitrary<?>>	provideOneFor(TypeUsage typeUsage)	Convenience method to combine set of arbitraries in optional choice-based arbitrary.
default Stream<List<Arbitrary<?>>>	resolveAndCombine(TypeUsage... typeUsages)	Resolve all typeUsages and return a stream of all possible arbitraries combinations per type.

Von Schnittstelle geerbte Methoden java.util.function.Function

andThen, apply, compose

Methodendetails

resolveAndCombine

@API(status=MAINTAINED,
     since="1.2.0")
default Stream<List<Arbitrary<?>>> resolveAndCombine(TypeUsage... typeUsages)

Resolve all typeUsages and return a stream of all possible arbitraries combinations per type. The list of arbitraries returned in the stream has the same size as the number of typeUsages handed in.

Parameter:

typeUsages -

Gibt zurück:

stream of list of arbitraries

provideOneFor

@API(status=EXPERIMENTAL,
     since="1.5.2")
default Optional<Arbitrary<?>> provideOneFor(TypeUsage typeUsage)

Convenience method to combine set of arbitraries in optional choice-based arbitrary.

Parameter:

typeUsage -

Gibt zurück:

Optional arbitrary instance