Package net.jqwik.engine.properties.shrinking

Class CombinedShrinkable<T>

java.lang.Object

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

All Implemented Interfaces:

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

public class CombinedShrinkable<T>
extends 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	Description
CombinedShrinkable(List<net.jqwik.api.Shrinkable<Object>> parts, Function<List<Object>,T> combinator)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.ShrinkingDistance	distance()
Stream<net.jqwik.api.Shrinkable<T>>	shrink()
protected Stream<net.jqwik.api.Shrinkable<T>>	shrinkPartsOneAfterTheOther()
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

asGeneric, compareTo, filter, flatMap, grow, grow, makeUnshrinkable, map

Constructor Details

CombinedShrinkable

public CombinedShrinkable(List<net.jqwik.api.Shrinkable<Object>> parts,
 Function<List<Object>,T> combinator)

Method Details

value

public T value()

Specified by:

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

shrink

public Stream<net.jqwik.api.Shrinkable<T>> shrink()

Specified by:

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

shrinkPartsOneAfterTheOther

protected Stream<net.jqwik.api.Shrinkable<T>> shrinkPartsOneAfterTheOther()

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

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