Package net.jqwik.engine.properties

Class PropertyMethodArbitraryResolver

java.lang.Object

net.jqwik.engine.properties.PropertyMethodArbitraryResolver

All Implemented Interfaces:

Function<net.jqwik.api.providers.TypeUsage,Set<net.jqwik.api.Arbitrary<?>>>, net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider, ArbitraryResolver

public class PropertyMethodArbitraryResolver
extends Object
implements ArbitraryResolver

Constructor Summary

Constructors

Constructor	Description
PropertyMethodArbitraryResolver(List<Object> testInstances, net.jqwik.api.domains.DomainContext domainContext)

Method Summary

Modifier and Type	Method	Description
Set<net.jqwik.api.Arbitrary<?>>	apply(net.jqwik.api.providers.TypeUsage targetType)
protected net.jqwik.api.Arbitrary<?>	configure(net.jqwik.api.Arbitrary<?> arbitrary, net.jqwik.api.providers.TypeUsage targetType)
Set<net.jqwik.api.Arbitrary<?>>	forParameter(MethodParameter parameter)
protected Set<net.jqwik.api.Arbitrary<?>>	resolve(net.jqwik.api.providers.TypeUsage targetType)

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.providers.ArbitraryProvider.SubtypeProvider

provideOneFor, resolveAndCombine

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

PropertyMethodArbitraryResolver

public PropertyMethodArbitraryResolver(List<Object> testInstances,
 net.jqwik.api.domains.DomainContext domainContext)

Method Details

forParameter

public Set<net.jqwik.api.Arbitrary<?>> forParameter(MethodParameter parameter)

Specified by:

forParameter in interface ArbitraryResolver

resolve

protected Set<net.jqwik.api.Arbitrary<?>> resolve(net.jqwik.api.providers.TypeUsage targetType)

configure

protected net.jqwik.api.Arbitrary<?> configure(net.jqwik.api.Arbitrary<?> arbitrary,
 net.jqwik.api.providers.TypeUsage targetType)

apply

public Set<net.jqwik.api.Arbitrary<?>> apply(net.jqwik.api.providers.TypeUsage targetType)

Specified by:

apply in interface Function<net.jqwik.api.providers.TypeUsage,Set<net.jqwik.api.Arbitrary<?>>>