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.

  • 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)

    • 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

    • 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