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

Klasse FlatMappedExhaustiveGenerator<U extends @Nullable Object,T extends @Nullable Object>

java.lang.Object
net.jqwik.engine.properties.arbitraries.exhaustive.FlatMappedExhaustiveGenerator<U,T>
Alle implementierten Schnittstellen:
Iterable<U>, net.jqwik.api.ExhaustiveGenerator<U>
public class FlatMappedExhaustiveGenerator<U extends @Nullable Object,T extends @Nullable Object> extends Object implements net.jqwik.api.ExhaustiveGenerator<U>

  • Verschachtelte Klassen - Übersicht

    Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.ExhaustiveGenerator

    net.jqwik.api.ExhaustiveGenerator.ExhaustiveGeneratorFacade

  • Feldübersicht

    Von Schnittstelle geerbte Felder net.jqwik.api.ExhaustiveGenerator

    MAXIMUM_SAMPLES_TO_GENERATE

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    FlatMappedExhaustiveGenerator(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, long maxCount, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper)
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    static <T, U> Optional<Long>
    calculateMaxCounts(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)
     
    Iterator<U>
    iterator()
     
    long
    maxCount()
     

    Von Klasse geerbte Methoden java.lang.Object

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

    Von Schnittstelle geerbte Methoden net.jqwik.api.ExhaustiveGenerator

    filter, ignoreExceptions, injectNull, map

    Von Schnittstelle geerbte Methoden java.lang.Iterable

    forEach, spliterator

  • Konstruktordetails

    • FlatMappedExhaustiveGenerator

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

  • Methodendetails

    • calculateMaxCounts

      public static <T, U> Optional<Long> calculateMaxCounts(net.jqwik.api.ExhaustiveGenerator<T> baseGenerator, Function<? super T,? extends net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)

    • maxCount

      public long maxCount()
      Angegeben von:
      maxCount in Schnittstelle net.jqwik.api.ExhaustiveGenerator<U extends @Nullable Object>

    • iterator

      public Iterator<U> iterator()
      Angegeben von:
      iterator in Schnittstelle Iterable<U extends @Nullable Object>