Package net.jqwik.engine.properties.arbitraries.exhaustive

Class FlatMappedExhaustiveGenerator<U,​T>

  • All Implemented Interfaces:
    java.lang.Iterable<U>, net.jqwik.api.ExhaustiveGenerator<U>
    public class FlatMappedExhaustiveGenerator<U,​T>
extends java.lang.Object
implements net.jqwik.api.ExhaustiveGenerator<U>

    • Nested Class Summary

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

        net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

    • Field Summary

      • Fields inherited from interface net.jqwik.api.ExhaustiveGenerator

        MAXIMUM_SAMPLES_TO_GENERATE

    • Constructor Summary

      Constructors 
      Constructor Description
      FlatMappedExhaustiveGenerator​(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, long maxCount, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static <T,​U>
      java.util.Optional<java.lang.Long>      		 calculateMaxCounts​(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)  
      java.util.Iterator<U> iterator()  
      long maxCount()  

      • 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.ExhaustiveGenerator

        filter, ignoreException, injectNull, map, unique

      • Methods inherited from interface java.lang.Iterable

        forEach, spliterator

    • Constructor Detail

      • FlatMappedExhaustiveGenerator

        public FlatMappedExhaustiveGenerator​(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator,
                                     long maxCount,
                                     java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper)

    • Method Detail

      • calculateMaxCounts

        public static <T,​U> java.util.Optional<java.lang.Long> calculateMaxCounts​(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator,
                                                                                java.util.function.Function<T,​net.jqwik.api.Arbitrary<U>> mapper,
                                                                                long maxNumberOfSamples)

      • maxCount

        public long maxCount()
        Specified by:
        maxCount in interface net.jqwik.api.ExhaustiveGenerator<U>

      • iterator

        public java.util.Iterator<U> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<U>