Package net.jqwik.api.arbitraries

Interface TypeArbitrary<T>

All Superinterfaces:

Arbitrary<T>

@API(status=MAINTAINED,
     since="1.2")
public interface TypeArbitrary<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.

When constructors and factory methods have parameters those parameters will be resolved by searching for matching registered arbitrary providers. The searching is performed either globally or in the property method's specified domain contexts.

See Also:

• Domain
• DomainContext

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
TypeArbitrary<T>	enableRecursion()	Enable recursive use of type arbitrary: If any parameter of a creator function does not have an associated arbitrary (globally registered or through a domain context), jqwik will try to resolve this parameter using its type information as weill.
TypeArbitrary<T>	useAllConstructors()	Add all constructors (public, private or package scope) of class T to be used for generating values of type T
TypeArbitrary<T>	useAllFactoryMethods()	Add all factory methods (static methods with return type T) of class T to be used for generating values of type T
TypeArbitrary<T>	useConstructors(Predicate<? super Constructor<?>> filter)	Add all constructors (public, private or package scope) of class T to be used for generating values of type T
TypeArbitrary<T>	useFactoryMethods(Predicate<Method> filter)	Add all factory methods (static methods with return type T) of class T to be used for generating values of type T
TypeArbitrary<T>	usePublicConstructors()	Add public constructors of class T to be used for generating values of type T
TypeArbitrary<T>	usePublicFactoryMethods()	Add public factory methods (static methods with return type T) of class T to be used for generating values of type T

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

Method Details

usePublicConstructors

TypeArbitrary<T> usePublicConstructors()

Add public constructors of class T to be used for generating values of type T

Returns:

new arbitrary instance

useAllConstructors

TypeArbitrary<T> useAllConstructors()

Add all constructors (public, private or package scope) of class T to be used for generating values of type T

Returns:

new arbitrary instance

useConstructors

TypeArbitrary<T> useConstructors(Predicate<? super Constructor<?>> filter)

Add all constructors (public, private or package scope) of class T to be used for generating values of type T

Parameters:

filter - Predicate to add only those constructors for which the predicate returns true

Returns:

new arbitrary instance

usePublicFactoryMethods

TypeArbitrary<T> usePublicFactoryMethods()

Add public factory methods (static methods with return type T) of class T to be used for generating values of type T

Returns:

new arbitrary instance

useAllFactoryMethods

TypeArbitrary<T> useAllFactoryMethods()

Add all factory methods (static methods with return type T) of class T to be used for generating values of type T

Returns:

new arbitrary instance

useFactoryMethods

TypeArbitrary<T> useFactoryMethods(Predicate<Method> filter)

Add all factory methods (static methods with return type T) of class T to be used for generating values of type T

Parameters:

filter - Predicate to add only those factory methods for which the predicate returns true

Returns:

new arbitrary instance

enableRecursion

@API(status=MAINTAINED,
     since="1.8.0")
TypeArbitrary<T> enableRecursion()

Enable recursive use of type arbitrary: If any parameter of a creator function does not have an associated arbitrary (globally registered or through a domain context), jqwik will try to resolve this parameter using its type information as weill.

Returns:

new arbitrary instance