net.jqwik.engine.properties.shrinking

Class Unshrinkable<T>

java.lang.Object

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

All Implemented Interfaces:

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

public class Unshrinkable<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
Unshrinkable(T value, net.jqwik.api.ShrinkingDistance distance)

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

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

Constructor Detail

Unshrinkable

public Unshrinkable(T value,
                    net.jqwik.api.ShrinkingDistance distance)

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>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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