Package net.jqwik.engine.properties.arbitraries

Class DefaultBigIntegerArbitrary

  • All Implemented Interfaces:
    java.lang.Cloneable, net.jqwik.api.arbitraries.BigIntegerArbitrary, net.jqwik.api.arbitraries.NumericalArbitrary<java.math.BigInteger,​net.jqwik.api.arbitraries.BigIntegerArbitrary>, net.jqwik.api.Arbitrary<java.math.BigInteger>
    public class DefaultBigIntegerArbitrary
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.BigIntegerArbitrary

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.math.BigInteger DEFAULT_MAX  
      static java.math.BigInteger DEFAULT_MIN  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.EdgeCases<java.math.BigInteger> edgeCases()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.math.BigInteger>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<java.math.BigInteger> generator​(int genSize)  
      net.jqwik.api.arbitraries.BigIntegerArbitrary greaterOrEqual​(java.math.BigInteger min)  
      net.jqwik.api.arbitraries.BigIntegerArbitrary lessOrEqual​(java.math.BigInteger max)  
      net.jqwik.api.Arbitrary<java.math.BigInteger> shrinkTowards​(java.math.BigInteger target)  
      net.jqwik.api.arbitraries.BigIntegerArbitrary withDistribution​(net.jqwik.api.RandomDistribution distribution)  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface net.jqwik.api.Arbitrary

        allValues, array, asGeneric, collect, dontShrink, edgeCases, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

      • Methods inherited from interface net.jqwik.api.arbitraries.BigIntegerArbitrary

        between

    • Field Detail

      • DEFAULT_MIN

        public static final java.math.BigInteger DEFAULT_MIN

      • DEFAULT_MAX

        public static final java.math.BigInteger DEFAULT_MAX

    • Constructor Detail

      • DefaultBigIntegerArbitrary

        public DefaultBigIntegerArbitrary()

    • Method Detail

      • generator

        public net.jqwik.api.RandomGenerator<java.math.BigInteger> generator​(int genSize)
        Specified by:
        generator in interface net.jqwik.api.Arbitrary<java.math.BigInteger>

      • exhaustive

        public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.math.BigInteger>> exhaustive​(long maxNumberOfSamples)
        Specified by:
        exhaustive in interface net.jqwik.api.Arbitrary<java.math.BigInteger>

      • edgeCases

        public net.jqwik.api.EdgeCases<java.math.BigInteger> edgeCases()
        Specified by:
        edgeCases in interface net.jqwik.api.Arbitrary<java.math.BigInteger>

      • withDistribution

        public net.jqwik.api.arbitraries.BigIntegerArbitrary withDistribution​(net.jqwik.api.RandomDistribution distribution)
        Specified by:
        withDistribution in interface net.jqwik.api.arbitraries.NumericalArbitrary<java.math.BigInteger,​net.jqwik.api.arbitraries.BigIntegerArbitrary>

      • greaterOrEqual

        public net.jqwik.api.arbitraries.BigIntegerArbitrary greaterOrEqual​(java.math.BigInteger min)
        Specified by:
        greaterOrEqual in interface net.jqwik.api.arbitraries.BigIntegerArbitrary

      • lessOrEqual

        public net.jqwik.api.arbitraries.BigIntegerArbitrary lessOrEqual​(java.math.BigInteger max)
        Specified by:
        lessOrEqual in interface net.jqwik.api.arbitraries.BigIntegerArbitrary

      • shrinkTowards

        public net.jqwik.api.Arbitrary<java.math.BigInteger> shrinkTowards​(java.math.BigInteger target)
        Specified by:
        shrinkTowards in interface net.jqwik.api.arbitraries.BigIntegerArbitrary