Package com.io7m.idstore.tests.arbitraries

Class IdArbIdErrorCodeProvider

java.lang.Object

com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider

com.io7m.idstore.tests.arbitraries.IdArbIdErrorCodeProvider

All Implemented Interfaces:

net.jqwik.api.providers.ArbitraryProvider

public final class IdArbIdErrorCodeProvider
extends IdArbAbstractProvider

A provider of IdErrorCode values.

Nested Class Summary

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

net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider

Constructor Summary

Constructors

Constructor	Description
IdArbIdErrorCodeProvider()	A provider of values.

Method Summary

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

Methods inherited from class com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider

priority

Methods inherited from class java.lang.Object

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

Constructor Details

IdArbIdErrorCodeProvider

public IdArbIdErrorCodeProvider()

A provider of values.

Method Details

canProvideFor

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

provideFor

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