Package net.jqwik.engine.properties.arbitraries

Class LazyArbitrary<T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.LazyArbitrary<T>
All Implemented Interfaces:
net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>
public class LazyArbitrary<T> extends Object implements net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

  • Nested Class Summary

    Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    LazyArbitrary(Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.Arbitrary<T>
    configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)
     
    net.jqwik.api.EdgeCases<T>
    edgeCases(int maxEdgeCases)
     
    Optional<net.jqwik.api.ExhaustiveGenerator<T>>
    exhaustive(long maxNumberOfSamples)
     
    net.jqwik.api.RandomGenerator<T>
    generator(int genSize)
     
    net.jqwik.api.RandomGenerator<T>
    generatorWithEmbeddedEdgeCases(int genSize)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface net.jqwik.api.Arbitrary

    allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, ignoreException, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

  • Constructor Details

    • LazyArbitrary

      public LazyArbitrary(Supplier<net.jqwik.api.Arbitrary<T>> arbitrarySupplier)

  • Method Details

    • generator

      public net.jqwik.api.RandomGenerator<T> generator(int genSize)
      Specified by:
      generator in interface net.jqwik.api.Arbitrary<T>

    • generatorWithEmbeddedEdgeCases

      public net.jqwik.api.RandomGenerator<T> generatorWithEmbeddedEdgeCases(int genSize)
      Specified by:
      generatorWithEmbeddedEdgeCases in interface net.jqwik.api.Arbitrary<T>

    • exhaustive

      public Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive(long maxNumberOfSamples)
      Specified by:
      exhaustive in interface net.jqwik.api.Arbitrary<T>

    • edgeCases

      public net.jqwik.api.EdgeCases<T> edgeCases(int maxEdgeCases)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<T>

    • configure

      public net.jqwik.api.Arbitrary<T> configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)
      Specified by:
      configure in interface net.jqwik.api.configurators.SelfConfiguringArbitrary<T>