Package net.jqwik.api.arbitraries

Interface TraverseArbitrary<T>

All Superinterfaces:

Arbitrary<T>

@API(status=EXPERIMENTAL,
     since="1.6.1")
public interface TraverseArbitrary<T>
extends Arbitrary<T>

Fluent interface to configure arbitraries that try to generate instances of a given type T from the type's available constructors and factory methods.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	TraverseArbitrary.Traverser	A traverser describes how to travers a given type by providing a hook to resolve a parameter into an arbitrary and a means to find all relevant creators (constructors or factory methods) for a type that does not have a suitable default arbitrary.

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
TraverseArbitrary<T>	enableRecursion()	Enable recursive use of traversal: If a parameter of a creator function cannot be resolved, jqwik will also traverse this parameter's type.

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, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Details

enableRecursion

TraverseArbitrary<T> enableRecursion()

Enable recursive use of traversal: If a parameter of a creator function cannot be resolved, jqwik will also traverse this parameter's type.

Returns:

new arbitrary instance