net.jqwik.engine.properties.shrinking

Class FlatMappedShrinkable<T,U>

java.lang.Object

net.jqwik.engine.properties.shrinking.FlatMappedShrinkable<T,U>

All Implemented Interfaces:

java.lang.Comparable<net.jqwik.api.Shrinkable<U>>, net.jqwik.api.Shrinkable<U>

public class FlatMappedShrinkable<T,U>
extends java.lang.Object
implements net.jqwik.api.Shrinkable<U>

Nested Class Summary

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

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor and Description
FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper, int genSize, long randomSeed)
FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap, java.util.function.Function<T,net.jqwik.api.RandomGenerator<U>> mapper, long randomSeed)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.ShrinkingDistance	distance()
boolean	equals(java.lang.Object o)
int	hashCode()
net.jqwik.api.ShrinkingSequence<U>	shrink(net.jqwik.api.Falsifier<U> falsifier)
java.util.List<net.jqwik.api.Shrinkable<U>>	shrinkingSuggestions()
java.lang.String	toString()
U	value()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.jqwik.api.Shrinkable

asGeneric, compareTo, filter, flatMap, isSmallerThan, map, unshrinkable, unshrinkable

Constructor Detail

FlatMappedShrinkable

public FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap,
                            java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper,
                            int genSize,
                            long randomSeed)

FlatMappedShrinkable

public FlatMappedShrinkable(net.jqwik.api.Shrinkable<T> toMap,
                            java.util.function.Function<T,net.jqwik.api.RandomGenerator<U>> mapper,
                            long randomSeed)

Method Detail

shrink

public net.jqwik.api.ShrinkingSequence<U> shrink(net.jqwik.api.Falsifier<U> falsifier)

Specified by:

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

shrinkingSuggestions

public java.util.List<net.jqwik.api.Shrinkable<U>> shrinkingSuggestions()

Specified by:

shrinkingSuggestions in interface net.jqwik.api.Shrinkable<U>

value

public U value()

Specified by:

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

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

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

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object