Package net.jqwik.engine.properties.arbitraries.randomized

Klasse FilteredGenerator<T extends @Nullable Object>

java.lang.Object
net.jqwik.engine.properties.arbitraries.randomized.FilteredGenerator<T>
Alle implementierten Schnittstellen:
net.jqwik.api.RandomGenerator<T>
public class FilteredGenerator<T extends @Nullable Object> extends Object implements net.jqwik.api.RandomGenerator<T>

  • Verschachtelte Klassen - Übersicht

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

    net.jqwik.api.RandomGenerator.RandomGeneratorFacade

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    FilteredGenerator(net.jqwik.api.RandomGenerator<T> toFilter, Predicate<? super T> filterPredicate, int maxMisses)
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    net.jqwik.api.Shrinkable<T>
    next(Random random)
     
    String
    toString()
     

    Von Klasse geerbte Methoden java.lang.Object

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

    Von Schnittstelle geerbte Methoden net.jqwik.api.RandomGenerator

    collect, dontShrink, filter, flatMap, flatMap, ignoreExceptions, injectDuplicates, map, mapShrinkable, stream, withEdgeCases

  • Konstruktordetails

    • FilteredGenerator

      public FilteredGenerator(net.jqwik.api.RandomGenerator<T> toFilter, Predicate<? super T> filterPredicate, int maxMisses)

  • Methodendetails

    • next

      public net.jqwik.api.Shrinkable<T> next(Random random)
      Angegeben von:
      next in Schnittstelle net.jqwik.api.RandomGenerator<T extends @Nullable Object>

    • toString

      public String toString()
      Setzt außer Kraft:
      toString in Klasse Object