net.jqwik.engine.providers

Class FunctionArbitraryProvider

java.lang.Object

net.jqwik.engine.providers.FunctionArbitraryProvider

All Implemented Interfaces:

net.jqwik.api.providers.ArbitraryProvider

public class FunctionArbitraryProvider
extends java.lang.Object
implements net.jqwik.api.providers.ArbitraryProvider

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.providers.ArbitraryProvider

net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider

Constructor Summary

Constructors

Constructor and Description
FunctionArbitraryProvider()

Method Summary

Modifier and Type	Method and Description
boolean	canProvideFor(net.jqwik.api.providers.TypeUsage targetType)
int	priority()
java.util.Set<net.jqwik.api.Arbitrary<?>>	provideFor(net.jqwik.api.providers.TypeUsage targetType, net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider subtypeProvider)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FunctionArbitraryProvider

public FunctionArbitraryProvider()

Method Detail

canProvideFor

public boolean canProvideFor(net.jqwik.api.providers.TypeUsage targetType)

Specified by:

canProvideFor in interface net.jqwik.api.providers.ArbitraryProvider

provideFor

public java.util.Set<net.jqwik.api.Arbitrary<?>> provideFor(net.jqwik.api.providers.TypeUsage targetType,
                                                            net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider subtypeProvider)

Specified by:

provideFor in interface net.jqwik.api.providers.ArbitraryProvider

priority

public int priority()

Specified by:

priority in interface net.jqwik.api.providers.ArbitraryProvider