Package net.jqwik.engine.properties.arbitraries.randomized

Klasse RandomDecimalGenerators

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.RandomDecimalGenerators

public class RandomDecimalGenerators
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
RandomDecimalGenerators()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static net.jqwik.api.RandomGenerator<BigDecimal>	bigDecimals(int genSize, Range<BigDecimal> range, int scale, net.jqwik.api.RandomDistribution distribution, BigDecimal shrinkingTarget)
static BigDecimal	defaultShrinkingTarget(Range<BigDecimal> range, int scale)
static BigDecimal	scaledBigDecimal(BigInteger value, int scale)
static BigInteger	unscaledBigInteger(BigDecimal bigDecimal, int scale)
static Range<BigInteger>	unscaledBigIntegerRange(Range<BigDecimal> range, int scale)

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Konstruktordetails

RandomDecimalGenerators

public RandomDecimalGenerators()

Methodendetails

bigDecimals

public static net.jqwik.api.RandomGenerator<BigDecimal> bigDecimals(int genSize,
 Range<BigDecimal> range,
 int scale,
 net.jqwik.api.RandomDistribution distribution,
 BigDecimal shrinkingTarget)

unscaledBigIntegerRange

public static Range<BigInteger> unscaledBigIntegerRange(Range<BigDecimal> range,
 int scale)

scaledBigDecimal

public static BigDecimal scaledBigDecimal(BigInteger value,
 int scale)

unscaledBigInteger

public static BigInteger unscaledBigInteger(BigDecimal bigDecimal,
 int scale)

defaultShrinkingTarget

public static BigDecimal defaultShrinkingTarget(Range<BigDecimal> range,
 int scale)