net.jqwik.engine.facades

Class ShrinkableFacadeImpl

java.lang.Object

net.jqwik.api.Shrinkable.ShrinkableFacade

net.jqwik.engine.facades.ShrinkableFacadeImpl

public class ShrinkableFacadeImpl
extends net.jqwik.api.Shrinkable.ShrinkableFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
ShrinkableFacadeImpl()

Method Summary

Modifier and Type	Method and Description
<T> net.jqwik.api.Shrinkable<T>	filter(net.jqwik.api.Shrinkable<T> self, java.util.function.Predicate<T> filter)
<T,U> net.jqwik.api.Shrinkable<U>	flatMap(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> flatMapper, int tries, long randomSeed)
<T,U> net.jqwik.api.Shrinkable<U>	map(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,U> mapper)
<T> net.jqwik.api.Shrinkable<T>	unshrinkable(T value)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrinkableFacadeImpl

public ShrinkableFacadeImpl()

Method Detail

unshrinkable

public <T> net.jqwik.api.Shrinkable<T> unshrinkable(T value)

Specified by:

unshrinkable in class net.jqwik.api.Shrinkable.ShrinkableFacade

map

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

Specified by:

map in class net.jqwik.api.Shrinkable.ShrinkableFacade

filter

public <T> net.jqwik.api.Shrinkable<T> filter(net.jqwik.api.Shrinkable<T> self,
                                              java.util.function.Predicate<T> filter)

Specified by:

filter in class net.jqwik.api.Shrinkable.ShrinkableFacade

flatMap

public <T,U> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self,
                                                 java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> flatMapper,
                                                 int tries,
                                                 long randomSeed)

Specified by:

flatMap in class net.jqwik.api.Shrinkable.ShrinkableFacade