Package net.jqwik.api.arbitraries

Interface SetArbitrary<T extends @Nullable Object>

All Superinterfaces:

Arbitrary<Set<T>>, SizableArbitrary<Set<T>>, StreamableArbitrary<T,Set<T>>

@API(status=MAINTAINED,
     since="1.3.2")
public interface SetArbitrary<T extends @Nullable Object>
extends Arbitrary<Set<T>>, StreamableArbitrary<T,Set<T>>

Fluent interface to add functionality to arbitraries that generate instances of type Set

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
<U extends @Nullable Object> Arbitrary<Set<U>>	flatMapEach(BiFunction<? super Set<? extends T>,? super T,? extends Arbitrary<U>> flatMapper)	Flat-map over each element of the generated set giving access to all elements of the set.
<U extends @Nullable Object> Arbitrary<Set<U>>	mapEach(BiFunction<? super Set<? extends T>,? super T,? extends U> mapper)	Map over each element of the generated set giving access to all elements of the set.
SetArbitrary<T>	ofMaxSize(int maxSize)	Set upper size boundary maxSize (included).
SetArbitrary<T>	ofMinSize(int minSize)	Set lower size boundary minSize (included).
default SetArbitrary<T>	ofSize(int size)	Fix the size to size.
SetArbitrary<T>	uniqueElements()	Do not use.
SetArbitrary<T>	uniqueElements(Function<? super T,?> by)	Add the constraint that elements of the generated set must be unique relating to an element's "feature" being extracted using the by function.
SetArbitrary<T>	withSizeDistribution(RandomDistribution uniform)	Set random distribution distribution of size of generated set.

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, 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.StreamableArbitrary

reduce

Method Details

ofSize

default SetArbitrary<T> ofSize(int size)

Fix the size to size.

Specified by:

ofSize in interface SizableArbitrary<T extends @Nullable Object>

Specified by:

ofSize in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

Parameters:

size - The size of the generated set

Returns:

new arbitrary instance

ofMinSize

SetArbitrary<T> ofMinSize(int minSize)

Set lower size boundary minSize (included).

Specified by:

ofMinSize in interface SizableArbitrary<T extends @Nullable Object>

Specified by:

ofMinSize in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

Parameters:

minSize - The minimum size of the generated set

Returns:

new arbitrary instance

ofMaxSize

SetArbitrary<T> ofMaxSize(int maxSize)

Set upper size boundary maxSize (included).

Specified by:

ofMaxSize in interface SizableArbitrary<T extends @Nullable Object>

Specified by:

ofMaxSize in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

Parameters:

maxSize - The maximum size of the generated set

Returns:

new arbitrary instance

withSizeDistribution

@API(status=EXPERIMENTAL,
     since="1.5.3")
SetArbitrary<T> withSizeDistribution(RandomDistribution uniform)

Set random distribution distribution of size of generated set. The distribution's center is the minimum size of the generated set.

Specified by:

withSizeDistribution in interface SizableArbitrary<T extends @Nullable Object>

Specified by:

withSizeDistribution in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

mapEach

@API(status=MAINTAINED,
     since="1.4.0")
<U extends @Nullable Object> Arbitrary<Set<U>> mapEach(BiFunction<? super Set<? extends T>,? super T,? extends U> mapper)

Map over each element of the generated set giving access to all elements of the set. The number of the mapped elements within the set will stay the same.

Type Parameters:

U - The target type of a set to generate

Parameters:

mapper - Mapper function to element type U

Returns:

arbitrary of a set of Us

flatMapEach

@API(status=MAINTAINED,
     since="1.4.0")
<U extends @Nullable Object> Arbitrary<Set<U>> flatMapEach(BiFunction<? super Set<? extends T>,? super T,? extends Arbitrary<U>> flatMapper)

Flat-map over each element of the generated set giving access to all elements of the set. The number of the mapped elements within the set will stay the same.

Type Parameters:

U - The target type of a set to generate

Parameters:

flatMapper - Mapper function to arbitrary of element type U

Returns:

arbitrary of a set of Us

uniqueElements

@API(status=MAINTAINED,
     since="1.7.3")
SetArbitrary<T> uniqueElements()

Do not use. Sets have unique elements anyway. It only exists for purposes of symmetry.

Specified by:

uniqueElements in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

Returns:

same instance of arbitrary

uniqueElements

@API(status=MAINTAINED,
     since="1.4.0")
SetArbitrary<T> uniqueElements(Function<? super T,?> by)

Add the constraint that elements of the generated set must be unique relating to an element's "feature" being extracted using the by function. The extracted features are being compared using Object.equals(Object).

The constraint can be combined with other uniqueElements(Function) constraints.

Specified by:

uniqueElements in interface StreamableArbitrary<T extends @Nullable Object,Set<T extends @Nullable Object>>

Returns:

new arbitrary instance