net.jqwik.engine.properties.shrinking

Class CombinedShrinkable<T>

java.lang.Object

net.jqwik.engine.properties.shrinking.CombinedShrinkable<T>

All Implemented Interfaces:

java.lang.Comparable<net.jqwik.api.Shrinkable<T>>, net.jqwik.api.Shrinkable<T>

public class CombinedShrinkable<T>
extends java.lang.Object
implements net.jqwik.api.Shrinkable<T>

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Shrinkable

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor and Description
CombinedShrinkable(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> shrinkables, java.util.function.Function<java.util.List<java.lang.Object>,T> combinator)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.ShrinkingDistance	distance()
net.jqwik.api.ShrinkingSequence<T>	shrink(net.jqwik.api.Falsifier<T> falsifier)
T	value()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.Shrinkable

compareTo, filter, flatMap, isSmallerThan, map, unshrinkable

Constructor Detail

CombinedShrinkable

public CombinedShrinkable(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> shrinkables,
                          java.util.function.Function<java.util.List<java.lang.Object>,T> combinator)

Method Detail

value

public T value()

Specified by:

value in interface net.jqwik.api.Shrinkable<T>

shrink

public net.jqwik.api.ShrinkingSequence<T> shrink(net.jqwik.api.Falsifier<T> falsifier)

Specified by:

shrink in interface net.jqwik.api.Shrinkable<T>

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

distance in interface net.jqwik.api.Shrinkable<T>