Package com.io7m.idstore.tests.arbitraries

Class IdArbUMessageProvider

java.lang.Object
com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider
com.io7m.idstore.tests.arbitraries.IdArbUMessageProvider
All Implemented Interfaces:
net.jqwik.api.providers.ArbitraryProvider
public final class IdArbUMessageProvider extends IdArbAbstractProvider
A provider of IdUMessageType values.

  • Constructor Details

    • IdArbUMessageProvider

      public IdArbUMessageProvider()
      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)

    • commandEmailAddBegin

      public static net.jqwik.api.Arbitrary<IdUCommandEmailAddBegin> commandEmailAddBegin()
      Returns:
      A message arbitrary

    • commandEmailRemoveBegin

      public static net.jqwik.api.Arbitrary<IdUCommandEmailRemoveBegin> commandEmailRemoveBegin()
      Returns:
      A message arbitrary

    • commandEmailAddPermit

      public static net.jqwik.api.Arbitrary<IdUCommandEmailAddPermit> commandEmailAddPermit()
      Returns:
      A message arbitrary

    • commandEmailRemovePermit

      public static net.jqwik.api.Arbitrary<IdUCommandEmailRemovePermit> commandEmailRemovePermit()
      Returns:
      A message arbitrary

    • commandEmailAddDeny

      public static net.jqwik.api.Arbitrary<IdUCommandEmailAddDeny> commandEmailAddDeny()
      Returns:
      A message arbitrary

    • commandEmailRemoveDeny

      public static net.jqwik.api.Arbitrary<IdUCommandEmailRemoveDeny> commandEmailRemoveDeny()
      Returns:
      A message arbitrary

    • commandUserRealnameUpdate

      public static net.jqwik.api.Arbitrary<IdUCommandRealnameUpdate> commandUserRealnameUpdate()
      Returns:
      A message arbitrary

    • commandUserPasswordUpdate

      public static net.jqwik.api.Arbitrary<IdUCommandPasswordUpdate> commandUserPasswordUpdate()
      Returns:
      A message arbitrary

    • responseEmailAddBegin

      public static net.jqwik.api.Arbitrary<IdUResponseEmailAddBegin> responseEmailAddBegin()
      Returns:
      A message arbitrary

    • responseEmailAddPermit

      public static net.jqwik.api.Arbitrary<IdUResponseEmailAddPermit> responseEmailAddPermit()
      Returns:
      A message arbitrary

    • responseEmailAddDeny

      public static net.jqwik.api.Arbitrary<IdUResponseEmailAddDeny> responseEmailAddDeny()
      Returns:
      A message arbitrary

    • responseEmailRemoveBegin

      public static net.jqwik.api.Arbitrary<IdUResponseEmailRemoveBegin> responseEmailRemoveBegin()
      Returns:
      A message arbitrary

    • responseEmailRemovePermit

      public static net.jqwik.api.Arbitrary<IdUResponseEmailRemovePermit> responseEmailRemovePermit()
      Returns:
      A message arbitrary

    • responseEmailRemoveDeny

      public static net.jqwik.api.Arbitrary<IdUResponseEmailRemoveDeny> responseEmailRemoveDeny()
      Returns:
      A message arbitrary

    • responseUserSelf

      public static net.jqwik.api.Arbitrary<IdUResponseUserSelf> responseUserSelf()
      Returns:
      A message arbitrary

    • responseUserUpdate

      public static net.jqwik.api.Arbitrary<IdUResponseUserUpdate> responseUserUpdate()
      Returns:
      A message arbitrary

    • responseError

      public static net.jqwik.api.Arbitrary<IdUResponseError> responseError()
      Returns:
      A message arbitrary

    • responseLogin

      public static net.jqwik.api.Arbitrary<IdUResponseLogin> responseLogin()
      Returns:
      A message arbitrary

    • commandUserSelf

      public static net.jqwik.api.Arbitrary<IdUCommandUserSelf> commandUserSelf()
      Returns:
      A message arbitrary

    • commandLogin

      public static net.jqwik.api.Arbitrary<IdUCommandLogin> commandLogin()
      Returns:
      A message arbitrary