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.

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

Method Summary

Modifier and Type	Method	Description
boolean	canProvideFor(net.jqwik.api.providers.TypeUsage targetType)
static net.jqwik.api.Arbitrary<IdUCommandEmailAddBegin>	commandEmailAddBegin()
static net.jqwik.api.Arbitrary<IdUCommandEmailAddDeny>	commandEmailAddDeny()
static net.jqwik.api.Arbitrary<IdUCommandEmailAddPermit>	commandEmailAddPermit()
static net.jqwik.api.Arbitrary<IdUCommandEmailRemoveBegin>	commandEmailRemoveBegin()
static net.jqwik.api.Arbitrary<IdUCommandEmailRemoveDeny>	commandEmailRemoveDeny()
static net.jqwik.api.Arbitrary<IdUCommandEmailRemovePermit>	commandEmailRemovePermit()
static net.jqwik.api.Arbitrary<IdUCommandLogin>	commandLogin()
static net.jqwik.api.Arbitrary<IdUCommandPasswordUpdate>	commandUserPasswordUpdate()
static net.jqwik.api.Arbitrary<IdUCommandRealnameUpdate>	commandUserRealnameUpdate()
static net.jqwik.api.Arbitrary<IdUCommandUserSelf>	commandUserSelf()
Set<net.jqwik.api.Arbitrary<?>>	provideFor(net.jqwik.api.providers.TypeUsage targetType, net.jqwik.api.providers.ArbitraryProvider.SubtypeProvider subtypeProvider)
static net.jqwik.api.Arbitrary<IdUResponseEmailAddBegin>	responseEmailAddBegin()
static net.jqwik.api.Arbitrary<IdUResponseEmailAddDeny>	responseEmailAddDeny()
static net.jqwik.api.Arbitrary<IdUResponseEmailAddPermit>	responseEmailAddPermit()
static net.jqwik.api.Arbitrary<IdUResponseEmailRemoveBegin>	responseEmailRemoveBegin()
static net.jqwik.api.Arbitrary<IdUResponseEmailRemoveDeny>	responseEmailRemoveDeny()
static net.jqwik.api.Arbitrary<IdUResponseEmailRemovePermit>	responseEmailRemovePermit()
static net.jqwik.api.Arbitrary<IdUResponseError>	responseError()
static net.jqwik.api.Arbitrary<IdUResponseLogin>	responseLogin()
static net.jqwik.api.Arbitrary<IdUResponseUserSelf>	responseUserSelf()
static net.jqwik.api.Arbitrary<IdUResponseUserUpdate>	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

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