Package net.jqwik.engine.properties.arbitraries

Class DefaultBigIntegerArbitrary

java.lang.Object
net.jqwik.engine.properties.arbitraries.TypedCloneable
net.jqwik.engine.properties.arbitraries.DefaultBigIntegerArbitrary
All Implemented Interfaces:
Cloneable, net.jqwik.api.arbitraries.BigIntegerArbitrary, net.jqwik.api.arbitraries.NumericalArbitrary<BigInteger,net.jqwik.api.arbitraries.BigIntegerArbitrary>, net.jqwik.api.Arbitrary<BigInteger>
public class DefaultBigIntegerArbitrary extends TypedCloneable 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 final BigInteger
    DEFAULT_MAX
     
    static final BigInteger
    DEFAULT_MIN
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultBigIntegerArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.EdgeCases<BigInteger>
    edgeCases(int maxEdgeCases)
     
    net.jqwik.api.Arbitrary<BigInteger>
    edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<BigInteger>> configurator)
     
    boolean
    equals(Object o)
     
    Optional<net.jqwik.api.ExhaustiveGenerator<BigInteger>>
    exhaustive(long maxNumberOfSamples)
     
    net.jqwik.api.RandomGenerator<BigInteger>
    generator(int genSize)
     
    net.jqwik.api.arbitraries.BigIntegerArbitrary
    greaterOrEqual(BigInteger min)
     
    int
    hashCode()
     
    net.jqwik.api.arbitraries.BigIntegerArbitrary
    lessOrEqual(BigInteger max)
     
    net.jqwik.api.arbitraries.BigIntegerArbitrary
    shrinkTowards(BigInteger target)
     
    net.jqwik.api.arbitraries.BigIntegerArbitrary
    withDistribution(net.jqwik.api.RandomDistribution distribution)
     

    Methods inherited from class net.jqwik.engine.properties.arbitraries.TypedCloneable

    typedClone

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface net.jqwik.api.Arbitrary

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

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

    between

  • Field Details

    • DEFAULT_MIN

      public static final BigInteger DEFAULT_MIN

    • DEFAULT_MAX

      public static final BigInteger DEFAULT_MAX

  • Constructor Details

    • DefaultBigIntegerArbitrary

      public DefaultBigIntegerArbitrary()

  • Method Details

    • generator

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

    • exhaustive

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

    • edgeCases

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

    • edgeCases

      public net.jqwik.api.Arbitrary<BigInteger> edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<BigInteger>> configurator)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<BigInteger>

    • withDistribution

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

    • greaterOrEqual

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

    • lessOrEqual

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

    • shrinkTowards

      public net.jqwik.api.arbitraries.BigIntegerArbitrary shrinkTowards(BigInteger target)
      Specified by:
      shrinkTowards in interface net.jqwik.api.arbitraries.BigIntegerArbitrary

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object