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

Klasse FilteredExhaustiveGenerator<T extends @Nullable Object>

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

  • 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
    FilteredExhaustiveGenerator(net.jqwik.api.ExhaustiveGenerator<T> toFilter, Predicate<? super T> filter, int maxMisses)
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    Iterator<T>
    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

    • FilteredExhaustiveGenerator

      public FilteredExhaustiveGenerator(net.jqwik.api.ExhaustiveGenerator<T> toFilter, Predicate<? super T> filter, int maxMisses)

  • Methodendetails

    • maxCount

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

    • iterator

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