Package net.jqwik.engine.properties.shrinking

Klasse ShrinkableBigInteger

java.lang.Object

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

net.jqwik.engine.properties.shrinking.ShrinkableBigInteger

Alle implementierten Schnittstellen:

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

public class ShrinkableBigInteger
extends AbstractValueShrinkable<BigInteger>

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Shrinkable

net.jqwik.api.Shrinkable.ShrinkableFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ShrinkableBigInteger(BigInteger value, Range<BigInteger> range, BigInteger shrinkingTarget)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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()

Von Klasse geerbte Methoden net.jqwik.engine.properties.shrinking.AbstractValueShrinkable

equals, hashCode, toString, value

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden net.jqwik.api.Shrinkable

asGeneric, compareTo, filter, flatMap, makeUnshrinkable, map

Konstruktordetails

ShrinkableBigInteger

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

Methodendetails

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()