Klasse MappedShrinkable<T,U>

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

public class MappedShrinkable<T,U> extends Object implements net.jqwik.api.Shrinkable<U>
  • Verschachtelte Klassen - Übersicht

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

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

    Konstruktoren
    Konstruktor
    Beschreibung
    MappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, Function<? super T,? extends U> mapper)
     
  • Methodenübersicht

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

    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

    • MappedShrinkable

      public MappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, Function<? super T,? extends U> mapper)
  • Methodendetails

    • value

      public U value()
      Angegeben von:
      value in Schnittstelle net.jqwik.api.Shrinkable<T>
    • shrink

      public Stream<net.jqwik.api.Shrinkable<U>> shrink()
      Angegeben von:
      shrink in Schnittstelle net.jqwik.api.Shrinkable<T>
    • toMappedShrinkable

      public net.jqwik.api.Shrinkable<U> toMappedShrinkable(net.jqwik.api.Shrinkable<T> shrinkable)
    • grow

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

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

      public net.jqwik.api.ShrinkingDistance distance()
      Angegeben von:
      distance in Schnittstelle net.jqwik.api.Shrinkable<T>
    • 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