Package com.io7m.idstore.tests.arbitraries

Class IdArbAMessageProvider

java.lang.Object

com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider

com.io7m.idstore.tests.arbitraries.IdArbAMessageProvider

All Implemented Interfaces:

net.jqwik.api.providers.ArbitraryProvider

public final class IdArbAMessageProvider
extends IdArbAbstractProvider

A provider of IdAMessageType 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
IdArbAMessageProvider()	A provider of values.

Method Summary

Modifier and Type	Method	Description
boolean	canProvideFor(net.jqwik.api.providers.TypeUsage targetType)
static net.jqwik.api.Arbitrary<IdACommandAdminBanCreate>	commandAdminBanCreate()
static net.jqwik.api.Arbitrary<IdACommandAdminBanDelete>	commandAdminBanDelete()
static net.jqwik.api.Arbitrary<IdACommandAdminBanGet>	commandAdminBanGet()
static net.jqwik.api.Arbitrary<IdACommandAdminCreate>	commandAdminCreate()
static net.jqwik.api.Arbitrary<IdACommandAdminDelete>	commandAdminDelete()
static net.jqwik.api.Arbitrary<IdACommandAdminEmailAdd>	commandAdminEmailAdd()
static net.jqwik.api.Arbitrary<IdACommandAdminEmailRemove>	commandAdminEmailRemove()
static net.jqwik.api.Arbitrary<IdACommandAdminGet>	commandAdminGet()
static net.jqwik.api.Arbitrary<IdACommandAdminGetByEmail>	commandAdminGetByEmail()
static net.jqwik.api.Arbitrary<IdACommandAdminPermissionGrant>	commandAdminPermissionGrant()
static net.jqwik.api.Arbitrary<IdACommandAdminPermissionRevoke>	commandAdminPermissionRevoke()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchBegin>	commandAdminSearchBegin()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailBegin>	commandAdminSearchByEmailBegin()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailNext>	commandAdminSearchByEmailNext()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailPrevious>	commandAdminSearchByEmailPrevious()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchNext>	commandAdminSearchNext()
static net.jqwik.api.Arbitrary<IdACommandAdminSearchPrevious>	commandAdminSearchPrevious()
static net.jqwik.api.Arbitrary<IdACommandAdminSelf>	commandAdminSelf()
static net.jqwik.api.Arbitrary<IdACommandAdminUpdateCredentials>	commandAdminUpdate()
static net.jqwik.api.Arbitrary<IdACommandAdminUpdatePasswordExpiration>	commandAdminUpdatePasswordExpiration()
static net.jqwik.api.Arbitrary<IdACommandAuditSearchBegin>	commandAuditSearchBegin()
static net.jqwik.api.Arbitrary<IdACommandAuditSearchNext>	commandAuditSearchNext()
static net.jqwik.api.Arbitrary<IdACommandAuditSearchPrevious>	commandAuditSearchPrevious()
static net.jqwik.api.Arbitrary<IdACommandLogin>	commandLogin()
static net.jqwik.api.Arbitrary<IdACommandMailTest>	commandMailTest()
static net.jqwik.api.Arbitrary<IdACommandMaintenanceModeSet>	commandMaintenanceModeSet()
static net.jqwik.api.Arbitrary<IdACommandUserBanCreate>	commandUserBanCreate()
static net.jqwik.api.Arbitrary<IdACommandUserBanDelete>	commandUserBanDelete()
static net.jqwik.api.Arbitrary<IdACommandUserBanGet>	commandUserBanGet()
static net.jqwik.api.Arbitrary<IdACommandUserCreate>	commandUserCreate()
static net.jqwik.api.Arbitrary<IdACommandUserDelete>	commandUserDelete()
static net.jqwik.api.Arbitrary<IdACommandUserEmailAdd>	commandUserEmailAdd()
static net.jqwik.api.Arbitrary<IdACommandUserEmailRemove>	commandUserEmailRemove()
static net.jqwik.api.Arbitrary<IdACommandUserGet>	commandUserGet()
static net.jqwik.api.Arbitrary<IdACommandUserGetByEmail>	commandUserGetByEmail()
static net.jqwik.api.Arbitrary<IdACommandUserLoginHistory>	commandUserLoginHistory()
static net.jqwik.api.Arbitrary<IdACommandUserSearchBegin>	commandUserSearchBegin()
static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailBegin>	commandUserSearchByEmailBegin()
static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailNext>	commandUserSearchByEmailNext()
static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailPrevious>	commandUserSearchByEmailPrevious()
static net.jqwik.api.Arbitrary<IdACommandUserSearchNext>	commandUserSearchNext()
static net.jqwik.api.Arbitrary<IdACommandUserSearchPrevious>	commandUserSearchPrevious()
static net.jqwik.api.Arbitrary<IdACommandUserUpdateCredentials>	commandUserUpdate()
static net.jqwik.api.Arbitrary<IdACommandUserUpdatePasswordExpiration>	commandUserUpdatePasswordExpiration()
static net.jqwik.api.Arbitrary<IdAPasswordExpirationSetType>	passwordExpirationSet()
Set<net.jqwik.api.Arbitrary<?>>	provideFor(net.jqwik.api.providers.TypeUsage targetType, net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider subtypeProvider)
static net.jqwik.api.Arbitrary<IdAResponseAdminBanCreate>	responseAdminBanCreate()
static net.jqwik.api.Arbitrary<IdAResponseAdminBanDelete>	responseAdminBanDelete()
static net.jqwik.api.Arbitrary<IdAResponseAdminBanGet>	responseAdminBanGet()
static net.jqwik.api.Arbitrary<IdAResponseAdminCreate>	responseAdminCreate()
static net.jqwik.api.Arbitrary<IdAResponseAdminDelete>	responseAdminDelete()
static net.jqwik.api.Arbitrary<IdAResponseAdminGet>	responseAdminGet()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchBegin>	responseAdminSearchBegin()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailBegin>	responseAdminSearchByEmailBegin()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailNext>	responseAdminSearchByEmailNext()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailPrevious>	responseAdminSearchByEmailPrevious()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchNext>	responseAdminSearchNext()
static net.jqwik.api.Arbitrary<IdAResponseAdminSearchPrevious>	responseAdminSearchPrevious()
static net.jqwik.api.Arbitrary<IdAResponseAdminSelf>	responseAdminSelf()
static net.jqwik.api.Arbitrary<IdAResponseAdminUpdate>	responseAdminUpdate()
static net.jqwik.api.Arbitrary<IdAResponseAuditSearchBegin>	responseAuditSearchBegin()
static net.jqwik.api.Arbitrary<IdAResponseAuditSearchNext>	responseAuditSearchNext()
static net.jqwik.api.Arbitrary<IdAResponseAuditSearchPrevious>	responseAuditSearchPrevious()
static net.jqwik.api.Arbitrary<IdAResponseError>	responseError()
static net.jqwik.api.Arbitrary<IdAResponseLogin>	responseLogin()
static net.jqwik.api.Arbitrary<IdAResponseMailTest>	responseMailTest()
static net.jqwik.api.Arbitrary<IdAResponseMaintenanceModeSet>	responseMaintenanceModeSet()
static net.jqwik.api.Arbitrary<IdAResponseUserBanCreate>	responseUserBanCreate()
static net.jqwik.api.Arbitrary<IdAResponseUserBanDelete>	responseUserBanDelete()
static net.jqwik.api.Arbitrary<IdAResponseUserBanGet>	responseUserBanGet()
static net.jqwik.api.Arbitrary<IdAResponseUserCreate>	responseUserCreate()
static net.jqwik.api.Arbitrary<IdAResponseUserDelete>	responseUserDelete()
static net.jqwik.api.Arbitrary<IdAResponseUserGet>	responseUserGet()
static net.jqwik.api.Arbitrary<IdAResponseUserLoginHistory>	responseUserLoginHistory()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchBegin>	responseUserSearchBegin()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailBegin>	responseUserSearchByEmailBegin()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailNext>	responseUserSearchByEmailNext()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailPrevious>	responseUserSearchByEmailPrevious()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchNext>	responseUserSearchNext()
static net.jqwik.api.Arbitrary<IdAResponseUserSearchPrevious>	responseUserSearchPrevious()
static net.jqwik.api.Arbitrary<IdAResponseUserUpdate>	responseUserUpdate()

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

IdArbAMessageProvider

public IdArbAMessageProvider()

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)

responseMaintenanceModeSet

public static net.jqwik.api.Arbitrary<IdAResponseMaintenanceModeSet> responseMaintenanceModeSet()

Returns:

A message arbitrary

commandMaintenanceModeSet

public static net.jqwik.api.Arbitrary<IdACommandMaintenanceModeSet> commandMaintenanceModeSet()

Returns:

A message arbitrary

passwordExpirationSet

public static net.jqwik.api.Arbitrary<IdAPasswordExpirationSetType> passwordExpirationSet()

Returns:

A message arbitrary

commandUserUpdatePasswordExpiration

public static net.jqwik.api.Arbitrary<IdACommandUserUpdatePasswordExpiration> commandUserUpdatePasswordExpiration()

Returns:

A message arbitrary

commandAdminUpdatePasswordExpiration

public static net.jqwik.api.Arbitrary<IdACommandAdminUpdatePasswordExpiration> commandAdminUpdatePasswordExpiration()

Returns:

A message arbitrary

responseUserSearchBegin

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchBegin> responseUserSearchBegin()

Returns:

A message arbitrary

responseUserSearchPrevious

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchPrevious> responseUserSearchPrevious()

Returns:

A message arbitrary

responseUserSearchNext

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchNext> responseUserSearchNext()

Returns:

A message arbitrary

responseAdminSelf

public static net.jqwik.api.Arbitrary<IdAResponseAdminSelf> responseAdminSelf()

Returns:

A message arbitrary

responseError

public static net.jqwik.api.Arbitrary<IdAResponseError> responseError()

Returns:

A message arbitrary

responseLogin

public static net.jqwik.api.Arbitrary<IdAResponseLogin> responseLogin()

Returns:

A message arbitrary

responseUserGet

public static net.jqwik.api.Arbitrary<IdAResponseUserGet> responseUserGet()

Returns:

A message arbitrary

responseUserCreate

public static net.jqwik.api.Arbitrary<IdAResponseUserCreate> responseUserCreate()

Returns:

A message arbitrary

responseUserUpdate

public static net.jqwik.api.Arbitrary<IdAResponseUserUpdate> responseUserUpdate()

Returns:

A message arbitrary

commandAdminSelf

public static net.jqwik.api.Arbitrary<IdACommandAdminSelf> commandAdminSelf()

Returns:

A message arbitrary

commandUserGet

public static net.jqwik.api.Arbitrary<IdACommandUserGet> commandUserGet()

Returns:

A message arbitrary

commandUserGetByEmail

public static net.jqwik.api.Arbitrary<IdACommandUserGetByEmail> commandUserGetByEmail()

Returns:

A message arbitrary

commandLogin

public static net.jqwik.api.Arbitrary<IdACommandLogin> commandLogin()

Returns:

A message arbitrary

commandUserSearchBegin

public static net.jqwik.api.Arbitrary<IdACommandUserSearchBegin> commandUserSearchBegin()

Returns:

A message arbitrary

commandUserSearchNext

public static net.jqwik.api.Arbitrary<IdACommandUserSearchNext> commandUserSearchNext()

Returns:

A message arbitrary

commandUserSearchPrevious

public static net.jqwik.api.Arbitrary<IdACommandUserSearchPrevious> commandUserSearchPrevious()

Returns:

A message arbitrary

commandUserSearchByEmailBegin

public static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailBegin> commandUserSearchByEmailBegin()

Returns:

A message arbitrary

commandUserSearchByEmailNext

public static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailNext> commandUserSearchByEmailNext()

Returns:

A message arbitrary

commandUserSearchByEmailPrevious

public static net.jqwik.api.Arbitrary<IdACommandUserSearchByEmailPrevious> commandUserSearchByEmailPrevious()

Returns:

A message arbitrary

commandUserCreate

public static net.jqwik.api.Arbitrary<IdACommandUserCreate> commandUserCreate()

Returns:

A message arbitrary

commandUserUpdate

public static net.jqwik.api.Arbitrary<IdACommandUserUpdateCredentials> commandUserUpdate()

Returns:

A message arbitrary

commandAuditSearchBegin

public static net.jqwik.api.Arbitrary<IdACommandAuditSearchBegin> commandAuditSearchBegin()

Returns:

A message arbitrary

commandAuditSearchNext

public static net.jqwik.api.Arbitrary<IdACommandAuditSearchNext> commandAuditSearchNext()

Returns:

A message arbitrary

commandAuditSearchPrevious

public static net.jqwik.api.Arbitrary<IdACommandAuditSearchPrevious> commandAuditSearchPrevious()

Returns:

A message arbitrary

commandMailTest

public static net.jqwik.api.Arbitrary<IdACommandMailTest> commandMailTest()

Returns:

A message arbitrary

responseMailTest

public static net.jqwik.api.Arbitrary<IdAResponseMailTest> responseMailTest()

Returns:

A message arbitrary

responseAuditSearchBegin

public static net.jqwik.api.Arbitrary<IdAResponseAuditSearchBegin> responseAuditSearchBegin()

Returns:

A message arbitrary

responseAuditSearchPrevious

public static net.jqwik.api.Arbitrary<IdAResponseAuditSearchPrevious> responseAuditSearchPrevious()

Returns:

A message arbitrary

responseAuditSearchNext

public static net.jqwik.api.Arbitrary<IdAResponseAuditSearchNext> responseAuditSearchNext()

Returns:

A message arbitrary

responseUserSearchByEmailBegin

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailBegin> responseUserSearchByEmailBegin()

Returns:

A message arbitrary

responseUserSearchByEmailPrevious

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailPrevious> responseUserSearchByEmailPrevious()

Returns:

A message arbitrary

responseUserSearchByEmailNext

public static net.jqwik.api.Arbitrary<IdAResponseUserSearchByEmailNext> responseUserSearchByEmailNext()

Returns:

A message arbitrary

commandAdminSearchBegin

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchBegin> commandAdminSearchBegin()

Returns:

A message arbitrary

commandAdminSearchNext

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchNext> commandAdminSearchNext()

Returns:

A message arbitrary

commandAdminSearchPrevious

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchPrevious> commandAdminSearchPrevious()

Returns:

A message arbitrary

commandAdminSearchByEmailBegin

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailBegin> commandAdminSearchByEmailBegin()

Returns:

A message arbitrary

commandAdminSearchByEmailNext

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailNext> commandAdminSearchByEmailNext()

Returns:

A message arbitrary

commandAdminSearchByEmailPrevious

public static net.jqwik.api.Arbitrary<IdACommandAdminSearchByEmailPrevious> commandAdminSearchByEmailPrevious()

Returns:

A message arbitrary

responseAdminSearchByEmailBegin

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailBegin> responseAdminSearchByEmailBegin()

Returns:

A message arbitrary

responseAdminSearchByEmailPrevious

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailPrevious> responseAdminSearchByEmailPrevious()

Returns:

A message arbitrary

responseAdminSearchByEmailNext

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchByEmailNext> responseAdminSearchByEmailNext()

Returns:

A message arbitrary

responseAdminSearchBegin

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchBegin> responseAdminSearchBegin()

Returns:

A message arbitrary

responseAdminSearchPrevious

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchPrevious> responseAdminSearchPrevious()

Returns:

A message arbitrary

responseAdminSearchNext

public static net.jqwik.api.Arbitrary<IdAResponseAdminSearchNext> responseAdminSearchNext()

Returns:

A message arbitrary

commandAdminCreate

public static net.jqwik.api.Arbitrary<IdACommandAdminCreate> commandAdminCreate()

Returns:

A message arbitrary

responseAdminCreate

public static net.jqwik.api.Arbitrary<IdAResponseAdminCreate> responseAdminCreate()

Returns:

A message arbitrary

responseAdminGet

public static net.jqwik.api.Arbitrary<IdAResponseAdminGet> responseAdminGet()

Returns:

A message arbitrary

commandAdminGet

public static net.jqwik.api.Arbitrary<IdACommandAdminGet> commandAdminGet()

Returns:

A message arbitrary

commandAdminGetByEmail

public static net.jqwik.api.Arbitrary<IdACommandAdminGetByEmail> commandAdminGetByEmail()

Returns:

A message arbitrary

commandAdminUpdate

public static net.jqwik.api.Arbitrary<IdACommandAdminUpdateCredentials> commandAdminUpdate()

Returns:

A message arbitrary

commandAdminPermissionGrant

public static net.jqwik.api.Arbitrary<IdACommandAdminPermissionGrant> commandAdminPermissionGrant()

Returns:

A message arbitrary

commandAdminPermissionRevoke

public static net.jqwik.api.Arbitrary<IdACommandAdminPermissionRevoke> commandAdminPermissionRevoke()

Returns:

A message arbitrary

commandAdminEmailAdd

public static net.jqwik.api.Arbitrary<IdACommandAdminEmailAdd> commandAdminEmailAdd()

Returns:

A message arbitrary

commandAdminEmailRemove

public static net.jqwik.api.Arbitrary<IdACommandAdminEmailRemove> commandAdminEmailRemove()

Returns:

A message arbitrary

commandUserEmailAdd

public static net.jqwik.api.Arbitrary<IdACommandUserEmailAdd> commandUserEmailAdd()

Returns:

A message arbitrary

commandUserEmailRemove

public static net.jqwik.api.Arbitrary<IdACommandUserEmailRemove> commandUserEmailRemove()

Returns:

A message arbitrary

responseAdminUpdate

public static net.jqwik.api.Arbitrary<IdAResponseAdminUpdate> responseAdminUpdate()

Returns:

A message arbitrary

commandUserDelete

public static net.jqwik.api.Arbitrary<IdACommandUserDelete> commandUserDelete()

Returns:

A message arbitrary

commandAdminDelete

public static net.jqwik.api.Arbitrary<IdACommandAdminDelete> commandAdminDelete()

Returns:

A message arbitrary

responseUserDelete

public static net.jqwik.api.Arbitrary<IdAResponseUserDelete> responseUserDelete()

Returns:

A message arbitrary

responseAdminDelete

public static net.jqwik.api.Arbitrary<IdAResponseAdminDelete> responseAdminDelete()

Returns:

A message arbitrary

commandAdminBanCreate

public static net.jqwik.api.Arbitrary<IdACommandAdminBanCreate> commandAdminBanCreate()

Returns:

A message arbitrary

commandAdminBanDelete

public static net.jqwik.api.Arbitrary<IdACommandAdminBanDelete> commandAdminBanDelete()

Returns:

A message arbitrary

commandAdminBanGet

public static net.jqwik.api.Arbitrary<IdACommandAdminBanGet> commandAdminBanGet()

Returns:

A message arbitrary

commandUserBanCreate

public static net.jqwik.api.Arbitrary<IdACommandUserBanCreate> commandUserBanCreate()

Returns:

A message arbitrary

commandUserBanDelete

public static net.jqwik.api.Arbitrary<IdACommandUserBanDelete> commandUserBanDelete()

Returns:

A message arbitrary

commandUserBanGet

public static net.jqwik.api.Arbitrary<IdACommandUserBanGet> commandUserBanGet()

Returns:

A message arbitrary

responseAdminBanCreate

public static net.jqwik.api.Arbitrary<IdAResponseAdminBanCreate> responseAdminBanCreate()

Returns:

A message arbitrary

responseAdminBanDelete

public static net.jqwik.api.Arbitrary<IdAResponseAdminBanDelete> responseAdminBanDelete()

Returns:

A message arbitrary

responseAdminBanGet

public static net.jqwik.api.Arbitrary<IdAResponseAdminBanGet> responseAdminBanGet()

Returns:

A message arbitrary

responseUserBanCreate

public static net.jqwik.api.Arbitrary<IdAResponseUserBanCreate> responseUserBanCreate()

Returns:

A message arbitrary

responseUserBanDelete

public static net.jqwik.api.Arbitrary<IdAResponseUserBanDelete> responseUserBanDelete()

Returns:

A message arbitrary

responseUserBanGet

public static net.jqwik.api.Arbitrary<IdAResponseUserBanGet> responseUserBanGet()

Returns:

A message arbitrary

commandUserLoginHistory

public static net.jqwik.api.Arbitrary<IdACommandUserLoginHistory> commandUserLoginHistory()

Returns:

A message arbitrary

responseUserLoginHistory

public static net.jqwik.api.Arbitrary<IdAResponseUserLoginHistory> responseUserLoginHistory()

Returns:

A message arbitrary