net.jqwik.engine.properties.shrinking

Class ShrinkableBigInteger

java.lang.Object

net.jqwik.engine.properties.shrinking.AbstractShrinkable<java.math.BigInteger>

net.jqwik.engine.properties.shrinking.ShrinkableBigInteger

All Implemented Interfaces:

java.lang.Comparable<net.jqwik.api.Shrinkable<java.math.BigInteger>>, net.jqwik.api.Shrinkable<java.math.BigInteger>

public class ShrinkableBigInteger
extends AbstractShrinkable<java.math.BigInteger>

Nested Class Summary

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

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor and Description
ShrinkableBigInteger(java.math.BigInteger value, Range<java.math.BigInteger> range, java.math.BigInteger shrinkingTarget)

Method Summary

Modifier and Type	Method and Description
static java.math.BigInteger	defaultShrinkingTarget(java.math.BigInteger value, Range<java.math.BigInteger> range)
net.jqwik.api.ShrinkingDistance	distance()
java.util.Set<net.jqwik.api.Shrinkable<java.math.BigInteger>>	shrinkCandidatesFor(net.jqwik.api.Shrinkable<java.math.BigInteger> shrinkable)

Methods inherited from class net.jqwik.engine.properties.shrinking.AbstractShrinkable

equals, hashCode, shrink, shrinkingSuggestions, toString, 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

ShrinkableBigInteger

public ShrinkableBigInteger(java.math.BigInteger value,
                            Range<java.math.BigInteger> range,
                            java.math.BigInteger shrinkingTarget)

Method Detail

defaultShrinkingTarget

public static java.math.BigInteger defaultShrinkingTarget(java.math.BigInteger value,
                                                          Range<java.math.BigInteger> range)

shrinkCandidatesFor

public java.util.Set<net.jqwik.api.Shrinkable<java.math.BigInteger>> shrinkCandidatesFor(net.jqwik.api.Shrinkable<java.math.BigInteger> shrinkable)

Specified by:

shrinkCandidatesFor in class AbstractShrinkable<java.math.BigInteger>

distance

public net.jqwik.api.ShrinkingDistance distance()