net.jqwik.engine.properties.arbitraries

Class MapArbitrary<K,V>

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.MapArbitrary<K,V>

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>, net.jqwik.api.Arbitrary<java.util.Map<K,V>>

public class MapArbitrary<K,V>
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
MapArbitrary(net.jqwik.api.Arbitrary<K> keysArbitrary, net.jqwik.api.Arbitrary<V> valuesArbitrary)

Method Summary

Modifier and Type	Method and Description
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.Map<K,V>>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<java.util.Map<K,V>>	generator(int genSize)
net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>	ofMaxSize(int maxSize)
net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>	ofMinSize(int minSize)

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.SizableArbitrary

ofSize

Methods inherited from interface net.jqwik.api.Arbitrary

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

Constructor Detail

MapArbitrary

public MapArbitrary(net.jqwik.api.Arbitrary<K> keysArbitrary,
                    net.jqwik.api.Arbitrary<V> valuesArbitrary)

Method Detail

ofMinSize

public net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>> ofMinSize(int minSize)

Specified by:

ofMinSize in interface net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>

ofMaxSize

public net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>> ofMaxSize(int maxSize)

Specified by:

ofMaxSize in interface net.jqwik.api.arbitraries.SizableArbitrary<java.util.Map<K,V>>

generator

public net.jqwik.api.RandomGenerator<java.util.Map<K,V>> generator(int genSize)

Specified by:

generator in interface net.jqwik.api.Arbitrary<java.util.Map<K,V>>

exhaustive

public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.util.Map<K,V>>> exhaustive(long maxNumberOfSamples)

Specified by:

exhaustive in interface net.jqwik.api.Arbitrary<java.util.Map<K,V>>