Class IdArbEmailProvider

java.lang.Object
com.io7m.idstore.tests.arbitraries.IdArbAbstractProvider
com.io7m.idstore.tests.arbitraries.IdArbEmailProvider
All Implemented Interfaces:
net.jqwik.api.providers.ArbitraryProvider

public final class IdArbEmailProvider extends IdArbAbstractProvider
A provider of IdEmail 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
    A provider of values.
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    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

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • IdArbEmailProvider

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