net.jqwik.api

Interface Shrinkable<T>

All Superinterfaces:

java.lang.Comparable<Shrinkable<T>>

@API(status=STABLE,
     since="1.0")
public interface Shrinkable<T>
extends java.lang.Comparable<Shrinkable<T>>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Shrinkable.ShrinkableFacade

Method Summary

Modifier and Type	Method and Description
default Shrinkable<java.lang.Object>	asGeneric() Sometimes simplifies test writing
default int	compareTo(Shrinkable<T> other)
ShrinkingDistance	distance()
default Shrinkable<T>	filter(java.util.function.Predicate<T> filter)
default <U> Shrinkable<U>	flatMap(java.util.function.Function<T,Arbitrary<U>> flatMapper, int tries, long randomSeed)
default boolean	isSmallerThan(Shrinkable<T> other)
default <U> Shrinkable<U>	map(java.util.function.Function<T,U> mapper)
ShrinkingSequence<T>	shrink(Falsifier<T> falsifier)
default java.util.List<Shrinkable<T>>	shrinkingSuggestions() Used only when several shrinkables must be shrunk in synchronicity e.g. duplicate values.
static <T> Shrinkable<T>	unshrinkable(T value)
static <T> Shrinkable<T>	unshrinkable(T value, ShrinkingDistance distance)
T	value()

Method Detail

unshrinkable

static <T> Shrinkable<T> unshrinkable(T value)

unshrinkable

static <T> Shrinkable<T> unshrinkable(T value,
                                      ShrinkingDistance distance)

value

T value()

shrink

ShrinkingSequence<T> shrink(Falsifier<T> falsifier)

distance

ShrinkingDistance distance()

asGeneric

@API(status=INTERNAL,
     since="1.2.4")
default Shrinkable<java.lang.Object> asGeneric()

Sometimes simplifies test writing

map

default <U> Shrinkable<U> map(java.util.function.Function<T,U> mapper)

filter

default Shrinkable<T> filter(java.util.function.Predicate<T> filter)

flatMap

default <U> Shrinkable<U> flatMap(java.util.function.Function<T,Arbitrary<U>> flatMapper,
                                  int tries,
                                  long randomSeed)

compareTo

@API(status=INTERNAL)
default int compareTo(Shrinkable<T> other)

Specified by:

compareTo in interface java.lang.Comparable<Shrinkable<T>>

isSmallerThan

@API(status=INTERNAL)
default boolean isSmallerThan(Shrinkable<T> other)

shrinkingSuggestions

@API(status=INTERNAL)
default java.util.List<Shrinkable<T>> shrinkingSuggestions()

Used only when several shrinkables must be shrunk in synchronicity e.g. duplicate values. Override in mostly all implementations since the default produces only a few values.