net.jqwik.engine.providers

Class UseTypeArbitraryProvider

java.lang.Object

net.jqwik.engine.providers.UseTypeArbitraryProvider

All Implemented Interfaces:

net.jqwik.api.providers.ArbitraryProvider

public class UseTypeArbitraryProvider
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
UseTypeArbitraryProvider()

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

UseTypeArbitraryProvider

public UseTypeArbitraryProvider()

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