net.jqwik.engine.properties.arbitraries

Class ArrayArbitrary<A,T>

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.ArrayArbitrary<A,T>

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.SizableArbitrary<A>, net.jqwik.api.arbitraries.StreamableArbitrary<T,A>, net.jqwik.api.Arbitrary<A>, net.jqwik.api.configurators.SelfConfiguringArbitrary<A>

public class ArrayArbitrary<A,T>
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.StreamableArbitrary<T,A>, net.jqwik.api.configurators.SelfConfiguringArbitrary<A>

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 and Description
protected net.jqwik.api.Arbitrary<T>	elementArbitrary
protected int	maxSize
protected int	minSize

Constructor Summary

Constructors

Constructor and Description
ArrayArbitrary(net.jqwik.api.Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.Arbitrary<A>	configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)
protected net.jqwik.api.RandomGenerator<java.util.List<T>>	createListGenerator(int genSize)
protected int	cutoffSize(int genSize)
protected <C extends java.util.Collection> java.util.List<net.jqwik.api.Shrinkable<C>>	edgeCases(C sample)
protected net.jqwik.api.RandomGenerator<T>	elementGenerator(net.jqwik.api.Arbitrary<T> elementArbitrary, int genSize)
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<A>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<A>	generator(int genSize)
net.jqwik.api.arbitraries.StreamableArbitrary<T,A>	ofMaxSize(int maxSize)
net.jqwik.api.arbitraries.StreamableArbitrary<T,A>	ofMinSize(int minSize)
<R> net.jqwik.api.Arbitrary<R>	reduce(R initial, java.util.function.BiFunction<R,T,R> accumulator)

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

ofSize

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

Field Detail

elementArbitrary

protected net.jqwik.api.Arbitrary<T> elementArbitrary

minSize

protected int minSize

maxSize

protected int maxSize

Constructor Detail

ArrayArbitrary

public ArrayArbitrary(net.jqwik.api.Arbitrary<T> elementArbitrary,
                      java.lang.Class<A> arrayClass)

Method Detail

generator

public net.jqwik.api.RandomGenerator<A> generator(int genSize)

Specified by:

generator in interface net.jqwik.api.Arbitrary<A>

exhaustive

public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<A>> exhaustive(long maxNumberOfSamples)

Specified by:

exhaustive in interface net.jqwik.api.Arbitrary<A>

reduce

public <R> net.jqwik.api.Arbitrary<R> reduce(R initial,
                                             java.util.function.BiFunction<R,T,R> accumulator)

Specified by:

reduce in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,A>

ofMinSize

public net.jqwik.api.arbitraries.StreamableArbitrary<T,A> ofMinSize(int minSize)

Specified by:

ofMinSize in interface net.jqwik.api.arbitraries.SizableArbitrary<A>

Specified by:

ofMinSize in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,A>

ofMaxSize

public net.jqwik.api.arbitraries.StreamableArbitrary<T,A> ofMaxSize(int maxSize)

Specified by:

ofMaxSize in interface net.jqwik.api.arbitraries.SizableArbitrary<A>

Specified by:

ofMaxSize in interface net.jqwik.api.arbitraries.StreamableArbitrary<T,A>

configure

public net.jqwik.api.Arbitrary<A> configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator,
                                            net.jqwik.api.providers.TypeUsage targetType)

Specified by:

configure in interface net.jqwik.api.configurators.SelfConfiguringArbitrary<A>

createListGenerator

protected net.jqwik.api.RandomGenerator<java.util.List<T>> createListGenerator(int genSize)

cutoffSize

protected int cutoffSize(int genSize)

edgeCases

protected <C extends java.util.Collection> java.util.List<net.jqwik.api.Shrinkable<C>> edgeCases(C sample)

elementGenerator

protected net.jqwik.api.RandomGenerator<T> elementGenerator(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                            int genSize)