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:

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 and Description
FlatMappedExhaustiveGenerator(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, long maxCount, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper)

Method Summary

Modifier and Type	Method and 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, injectNull, isUnique, map, unique, withSamples

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>