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

Class FlatMappedExhaustiveGenerator<U,T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.exhaustive.FlatMappedExhaustiveGenerator<U,T>
All Implemented Interfaces:
Iterable<U>, net.jqwik.api.ExhaustiveGenerator<U>
public class FlatMappedExhaustiveGenerator<U,T> extends 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, Function<T,net.jqwik.api.Arbitrary<U>> mapper)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static <T, U> Optional<Long>
    calculateMaxCounts(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, Function<T,net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)
     
    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

    Methods inherited from interface java.lang.Iterable

    forEach, spliterator

  • Constructor Details

    • FlatMappedExhaustiveGenerator

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

  • Method Details

    • calculateMaxCounts

      public static <T, U> Optional<Long> calculateMaxCounts(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, 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 Iterator<U> iterator()
      Specified by:
      iterator in interface Iterable<U>