Package net.jqwik.engine.properties.shrinking

Class ShrinkableBigInteger

java.lang.Object

net.jqwik.engine.properties.shrinking.AbstractValueShrinkable<BigInteger>

net.jqwik.engine.properties.shrinking.ShrinkableBigInteger

All Implemented Interfaces:

Comparable<net.jqwik.api.Shrinkable<BigInteger>>, net.jqwik.api.Shrinkable<BigInteger>

public class ShrinkableBigInteger
extends AbstractValueShrinkable<BigInteger>

Nested Class Summary

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

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor	Description
ShrinkableBigInteger(BigInteger value, Range<BigInteger> range, BigInteger shrinkingTarget)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.ShrinkingDistance	distance()
Stream<net.jqwik.api.Shrinkable<BigInteger>>	grow()
Optional<net.jqwik.api.Shrinkable<BigInteger>>	grow(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)
Stream<net.jqwik.api.Shrinkable<BigInteger>>	shrink()

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

equals, hashCode, 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, makeUnshrinkable, map

Constructor Details

ShrinkableBigInteger

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

Method Details

shrink

public Stream<net.jqwik.api.Shrinkable<BigInteger>> shrink()

grow

public Optional<net.jqwik.api.Shrinkable<BigInteger>> grow(net.jqwik.api.Shrinkable<?> before,
 net.jqwik.api.Shrinkable<?> after)

grow

public Stream<net.jqwik.api.Shrinkable<BigInteger>> grow()

distance

public net.jqwik.api.ShrinkingDistance distance()