net.jqwik.engine.properties.shrinking

Class ShrinkElementsSequence<T>

java.lang.Object

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

All Implemented Interfaces:

net.jqwik.api.ShrinkingSequence<java.util.List<T>>

public class ShrinkElementsSequence<T>
extends java.lang.Object
implements net.jqwik.api.ShrinkingSequence<java.util.List<T>>

This can be used to shrink the individual shrinkable elements in a list without shrinking the size of the list and keeping the order:

• The actual elements of a container (list, set, action sequence)
• All shrinkable parameters of a property

Nested Class Summary

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

net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

Constructor Summary

Constructors

Constructor and Description
ShrinkElementsSequence(java.util.List<net.jqwik.api.Shrinkable<T>> currentShrinkables, net.jqwik.api.Falsifier<java.util.List<T>> listFalsifier, java.util.function.Function<java.util.List<net.jqwik.api.Shrinkable<T>>,net.jqwik.api.ShrinkingDistance> distanceFunction)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.FalsificationResult<java.util.List<T>>	current()
void	init(net.jqwik.api.FalsificationResult<java.util.List<T>> initialCurrent)
boolean	next(java.lang.Runnable count, java.util.function.Consumer<net.jqwik.api.FalsificationResult<java.util.List<T>>> falsifiedReporter)

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.ShrinkingSequence

andThen, dontShrink, map, mapValue, startWith

Constructor Detail

ShrinkElementsSequence

public ShrinkElementsSequence(java.util.List<net.jqwik.api.Shrinkable<T>> currentShrinkables,
                              net.jqwik.api.Falsifier<java.util.List<T>> listFalsifier,
                              java.util.function.Function<java.util.List<net.jqwik.api.Shrinkable<T>>,net.jqwik.api.ShrinkingDistance> distanceFunction)

Method Detail

next

public boolean next(java.lang.Runnable count,
                    java.util.function.Consumer<net.jqwik.api.FalsificationResult<java.util.List<T>>> falsifiedReporter)

Specified by:

next in interface net.jqwik.api.ShrinkingSequence<java.util.List<T>>

current

public net.jqwik.api.FalsificationResult<java.util.List<T>> current()

Specified by:

current in interface net.jqwik.api.ShrinkingSequence<java.util.List<T>>

init

public void init(net.jqwik.api.FalsificationResult<java.util.List<T>> initialCurrent)

Specified by:

init in interface net.jqwik.api.ShrinkingSequence<java.util.List<T>>