Class IdArbAdminSummaryProvider
java.lang.Object
com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider
com.io7m.idstore.tests.arbitraries.IdArbAdminSummaryProvider
- All Implemented Interfaces:
net.jqwik.api.providers.ArbitraryProvider
A provider of
IdAdminSummary
values.-
Nested Class Summary
Nested classes/interfaces inherited from interface net.jqwik.api.providers.ArbitraryProvider
net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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
-
Constructor Details
-
IdArbAdminSummaryProvider
public IdArbAdminSummaryProvider()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)
-