Package net.jqwik.engine.properties.arbitraries

Class DefaultArrayArbitrary<T,​A>

  • All Implemented Interfaces:
    java.lang.Cloneable, net.jqwik.api.arbitraries.SizableArbitrary<A>, net.jqwik.api.arbitraries.StreamableArbitrary<T,​A>, net.jqwik.api.Arbitrary<A>, net.jqwik.api.configurators.SelfConfiguringArbitrary<A>
    public class DefaultArrayArbitrary<T,​A>
extends AbstractArbitraryBase
implements net.jqwik.api.configurators.SelfConfiguringArbitrary<A>

    • Nested Class Summary

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

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected net.jqwik.api.Arbitrary<T> elementArbitrary  
      protected int maxSize  
      protected int minSize  

    • Constructor Summary

      Constructors 
      Constructor Description
      DefaultArrayArbitrary​(net.jqwik.api.Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass, boolean elementsUnique)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.Arbitrary<A> configure​(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)  
      protected net.jqwik.api.RandomGenerator<java.util.List<T>> createListGenerator​(int genSize)  
      protected int cutoffSize​(int genSize)  
      net.jqwik.api.EdgeCases<A> edgeCases()  
      protected <C extends java.util.Collection<?>>
      net.jqwik.api.EdgeCases<C>      		 edgeCases​(java.util.function.BiFunction<java.util.List<net.jqwik.api.Shrinkable<T>>,​java.lang.Integer,​net.jqwik.api.Shrinkable<C>> shrinkableCreator)  
      protected net.jqwik.api.RandomGenerator<T> elementGenerator​(net.jqwik.api.Arbitrary<T> elementArbitrary, int genSize)  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<A>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<A> generator​(int genSize)  
      net.jqwik.api.arbitraries.StreamableArbitrary<T,​U> ofMaxSize​(int maxSize)  
      net.jqwik.api.arbitraries.StreamableArbitrary<T,​U> ofMinSize​(int minSize)  
      <R> net.jqwik.api.Arbitrary<R> reduce​(R initial, java.util.function.BiFunction<R,​T,​R> accumulator)  
      protected java.lang.Iterable<T> toIterable​(A array)  

      • 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, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

      • Methods inherited from interface net.jqwik.api.arbitraries.StreamableArbitrary

        ofSize

    • Field Detail

      • elementArbitrary

        protected net.jqwik.api.Arbitrary<T> elementArbitrary

      • minSize

        protected int minSize

      • maxSize

        protected int maxSize

    • Constructor Detail

      • DefaultArrayArbitrary

        public DefaultArrayArbitrary​(net.jqwik.api.Arbitrary<T> elementArbitrary,
                             java.lang.Class<A> arrayClass,
                             boolean elementsUnique)

    • Method Detail

      • generator

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

      • exhaustive

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

      • edgeCases

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

      • toIterable

        protected java.lang.Iterable<T> toIterable​(A array)

      • configure

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

      • ofMinSize

        public net.jqwik.api.arbitraries.StreamableArbitrary<T,​U> ofMinSize​(int minSize)
        Specified by:
        ofMinSize in interface net.jqwik.api.arbitraries.SizableArbitrary<T>
        Specified by:
        ofMinSize in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,​U>

      • ofMaxSize

        public net.jqwik.api.arbitraries.StreamableArbitrary<T,​U> ofMaxSize​(int maxSize)
        Specified by:
        ofMaxSize in interface net.jqwik.api.arbitraries.SizableArbitrary<T>
        Specified by:
        ofMaxSize in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,​U>

      • reduce

        public <R> net.jqwik.api.Arbitrary<R> reduce​(R initial,
                                             java.util.function.BiFunction<R,​T,​R> accumulator)
        Specified by:
        reduce in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,​U>

      • createListGenerator

        protected net.jqwik.api.RandomGenerator<java.util.List<T>> createListGenerator​(int genSize)

      • cutoffSize

        protected int cutoffSize​(int genSize)

      • elementGenerator

        protected net.jqwik.api.RandomGenerator<T> elementGenerator​(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                            int genSize)

      • edgeCases

        protected <C extends java.util.Collection<?>> net.jqwik.api.EdgeCases<C> edgeCases​(java.util.function.BiFunction<java.util.List<net.jqwik.api.Shrinkable<T>>,​java.lang.Integer,​net.jqwik.api.Shrinkable<C>> shrinkableCreator)