net.jqwik.engine.facades

Class ShrinkingSequenceFacadeImpl

java.lang.Object

net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

net.jqwik.engine.facades.ShrinkingSequenceFacadeImpl

public class ShrinkingSequenceFacadeImpl
extends net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
ShrinkingSequenceFacadeImpl()

Method Summary

Modifier and Type	Method and Description
<T> net.jqwik.api.ShrinkingSequence<T>	andThen(net.jqwik.api.ShrinkingSequence<T> self, java.util.function.Function<net.jqwik.api.Shrinkable<T>,net.jqwik.api.ShrinkingSequence<T>> createFollowupSequence)
<T> net.jqwik.api.ShrinkingSequence<T>	dontShrink(net.jqwik.api.Shrinkable<T> shrinkable)
<T,U> net.jqwik.api.ShrinkingSequence<U>	map(net.jqwik.api.ShrinkingSequence<T> self, java.util.function.Function<net.jqwik.api.FalsificationResult<T>,net.jqwik.api.FalsificationResult<U>> mapper)
<T,U> net.jqwik.api.ShrinkingSequence<U>	mapValue(net.jqwik.api.ShrinkingSequence<T> self, java.util.function.Function<T,U> mapper)
<T> net.jqwik.api.ShrinkingSequence<T>	startWith(net.jqwik.api.Shrinkable<T> startingShrinkable, net.jqwik.api.Falsifier<T> falsifier)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrinkingSequenceFacadeImpl

public ShrinkingSequenceFacadeImpl()

Method Detail

dontShrink

public <T> net.jqwik.api.ShrinkingSequence<T> dontShrink(net.jqwik.api.Shrinkable<T> shrinkable)

Specified by:

dontShrink in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

andThen

public <T> net.jqwik.api.ShrinkingSequence<T> andThen(net.jqwik.api.ShrinkingSequence<T> self,
                                                      java.util.function.Function<net.jqwik.api.Shrinkable<T>,net.jqwik.api.ShrinkingSequence<T>> createFollowupSequence)

Specified by:

andThen in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

mapValue

public <T,U> net.jqwik.api.ShrinkingSequence<U> mapValue(net.jqwik.api.ShrinkingSequence<T> self,
                                                         java.util.function.Function<T,U> mapper)

Specified by:

mapValue in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

map

public <T,U> net.jqwik.api.ShrinkingSequence<U> map(net.jqwik.api.ShrinkingSequence<T> self,
                                                    java.util.function.Function<net.jqwik.api.FalsificationResult<T>,net.jqwik.api.FalsificationResult<U>> mapper)

Specified by:

map in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

startWith

public <T> net.jqwik.api.ShrinkingSequence<T> startWith(net.jqwik.api.Shrinkable<T> startingShrinkable,
                                                        net.jqwik.api.Falsifier<T> falsifier)

Specified by:

startWith in class net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade