Klasse FilteredShrinkable<T extends @Nullable Object>

java.lang.Object
net.jqwik.engine.properties.shrinking.FilteredShrinkable<T>
Alle implementierten Schnittstellen:
Comparable<net.jqwik.api.Shrinkable<T>>, net.jqwik.api.Shrinkable<T>

public class FilteredShrinkable<T extends @Nullable Object> extends Object implements net.jqwik.api.Shrinkable<T>
  • Verschachtelte Klassen - Übersicht

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

    net.jqwik.api.Shrinkable.ShrinkableFacade
  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    FilteredShrinkable(net.jqwik.api.Shrinkable<T> toFilter, Predicate<? super T> filter)
     
  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    net.jqwik.api.ShrinkingDistance
     
    boolean
     
    Stream<net.jqwik.api.Shrinkable<T>>
     
    Optional<net.jqwik.api.Shrinkable<T>>
    grow(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)
     
    int
     
    Stream<net.jqwik.api.Shrinkable<T>>
     
     
     

    Von Klasse geerbte Methoden java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Von Schnittstelle geerbte Methoden net.jqwik.api.Shrinkable

    asGeneric, compareTo, filter, flatMap, makeUnshrinkable, map
  • Konstruktordetails

    • FilteredShrinkable

      public FilteredShrinkable(net.jqwik.api.Shrinkable<T> toFilter, Predicate<? super T> filter)
  • Methodendetails

    • value

      public T value()
      Angegeben von:
      value in Schnittstelle net.jqwik.api.Shrinkable<T extends @Nullable Object>
    • shrink

      public Stream<net.jqwik.api.Shrinkable<T>> shrink()
      Angegeben von:
      shrink in Schnittstelle net.jqwik.api.Shrinkable<T extends @Nullable Object>
    • grow

      public Optional<net.jqwik.api.Shrinkable<T>> grow(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)
      Angegeben von:
      grow in Schnittstelle net.jqwik.api.Shrinkable<T extends @Nullable Object>
    • grow

      public Stream<net.jqwik.api.Shrinkable<T>> grow()
      Angegeben von:
      grow in Schnittstelle net.jqwik.api.Shrinkable<T extends @Nullable Object>
    • distance

      public net.jqwik.api.ShrinkingDistance distance()
      Angegeben von:
      distance in Schnittstelle net.jqwik.api.Shrinkable<T extends @Nullable Object>
    • equals

      public boolean equals(Object o)
      Setzt außer Kraft:
      equals in Klasse Object
    • hashCode

      public int hashCode()
      Setzt außer Kraft:
      hashCode in Klasse Object
    • toString

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