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

Class RandomDecimalGenerators

java.lang.Object

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

public class RandomDecimalGenerators
extends Object

Constructor Summary

Constructors

Constructor	Description
RandomDecimalGenerators()

Method Summary

Modifier and Type	Method	Description
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)

Methods inherited from class java.lang.Object

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

Constructor Details

RandomDecimalGenerators

public RandomDecimalGenerators()

Method Details

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)