net.jqwik.engine.properties.arbitraries

Class DefaultBigIntegerArbitrary

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.DefaultBigIntegerArbitrary

All Implemented Interfaces:

java.lang.Cloneable, 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

Constructor Summary

Constructors

Constructor and Description
DefaultBigIntegerArbitrary()

Method Summary

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

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

typedClone

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.arbitraries.BigIntegerArbitrary

between

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, collect, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectNull, iterator, list, map, optional, set, stream, unique, withSamples

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>

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