Class IdArbAdminColumnOrderingProvider

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

public final class IdArbAdminColumnOrderingProvider extends IdArbAbstractProvider
A provider of IdAdminColumnOrdering values.
  • Constructor Details

    • IdArbAdminColumnOrderingProvider

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