net.jqwik.engine.properties.shrinking

Class UniqueShrinkable<T>

java.lang.Object

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

All Implemented Interfaces:

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

public class UniqueShrinkable<T>
extends java.lang.Object
implements net.jqwik.api.Shrinkable<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
UniqueShrinkable(net.jqwik.api.Shrinkable<T> toFilter, java.util.Set<T> usedValues)

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<T>	shrink(net.jqwik.api.Falsifier<T> falsifier)
java.lang.String	toString()
T	value()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.Shrinkable

compareTo, filter, flatMap, isSmallerThan, map, unshrinkable

Constructor Detail

UniqueShrinkable

public UniqueShrinkable(net.jqwik.api.Shrinkable<T> toFilter,
                        java.util.Set<T> usedValues)

Method Detail

value

public T value()

Specified by:

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

shrink

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

Specified by:

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

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

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

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