Package net.jqwik.api.arbitraries
Interface TraverseArbitrary<T>
-
-
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
All Methods Instance Methods Abstract Methods 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, injectDuplicates, injectNull, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases
-
-
-
-
Method Detail
-
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
-
-