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

Class RandomDecimalGenerators

  • public class RandomDecimalGenerators
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static net.jqwik.api.RandomGenerator<java.math.BigDecimal> bigDecimals​(int genSize, Range<java.math.BigDecimal> range, int scale, net.jqwik.api.RandomDistribution distribution, java.math.BigDecimal shrinkingTarget)  
      static java.math.BigDecimal defaultShrinkingTarget​(Range<java.math.BigDecimal> range, int scale)  
      static java.math.BigDecimal scaledBigDecimal​(java.math.BigInteger value, int scale)  
      static java.math.BigInteger unscaledBigInteger​(java.math.BigDecimal bigDecimal, int scale)  
      static Range<java.math.BigInteger> unscaledBigIntegerRange​(Range<java.math.BigDecimal> range, int scale)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • RandomDecimalGenerators

        public RandomDecimalGenerators()

    • Method Detail

      • bigDecimals

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

      • unscaledBigIntegerRange

        public static Range<java.math.BigInteger> unscaledBigIntegerRange​(Range<java.math.BigDecimal> range,
                                                                  int scale)

      • scaledBigDecimal

        public static java.math.BigDecimal scaledBigDecimal​(java.math.BigInteger value,
                                                    int scale)

      • unscaledBigInteger

        public static java.math.BigInteger unscaledBigInteger​(java.math.BigDecimal bigDecimal,
                                                      int scale)

      • defaultShrinkingTarget

        public static java.math.BigDecimal defaultShrinkingTarget​(Range<java.math.BigDecimal> range,
                                                          int scale)