net.jqwik.engine.providers

Class SetArbitraryProvider

java.lang.Object

net.jqwik.engine.providers.SetArbitraryProvider

All Implemented Interfaces:

net.jqwik.api.providers.ArbitraryProvider

public class SetArbitraryProvider
extends java.lang.Object

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
SetArbitraryProvider()

Method Summary

Modifier and Type	Method and Description
boolean	canProvideFor(net.jqwik.api.providers.TypeUsage targetType)
protected net.jqwik.api.Arbitrary<?>	create(net.jqwik.api.Arbitrary<?> innerArbitrary)
protected java.lang.Class<?>	getProvidedType()
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

Methods inherited from interface net.jqwik.api.providers.ArbitraryProvider

priority

Constructor Detail

SetArbitraryProvider

public SetArbitraryProvider()

Method Detail

getProvidedType

protected java.lang.Class<?> getProvidedType()

create

protected net.jqwik.api.Arbitrary<?> create(net.jqwik.api.Arbitrary<?> innerArbitrary)

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