net.jqwik.engine.properties.shrinking

Class CollectShrinkable<T>

java.lang.Object

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

All Implemented Interfaces:

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

public class CollectShrinkable<T>
extends java.lang.Object
implements net.jqwik.api.Shrinkable<java.util.List<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
CollectShrinkable(java.util.List<net.jqwik.api.Shrinkable<T>> elements, java.util.function.Predicate<java.util.List<T>> until)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.ShrinkingDistance	distance()
net.jqwik.api.ShrinkingSequence<java.util.List<T>>	shrink(net.jqwik.api.Falsifier<java.util.List<T>> falsifier)
java.util.List<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, isSmallerThan, map, shrinkingSuggestions, unshrinkable, unshrinkable

Constructor Detail

CollectShrinkable

public CollectShrinkable(java.util.List<net.jqwik.api.Shrinkable<T>> elements,
                         java.util.function.Predicate<java.util.List<T>> until)

Method Detail

value

public java.util.List<T> value()

Specified by:

value in interface net.jqwik.api.Shrinkable<java.util.List<T>>

shrink

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

Specified by:

shrink in interface net.jqwik.api.Shrinkable<java.util.List<T>>

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

distance in interface net.jqwik.api.Shrinkable<java.util.List<T>>