net.jqwik.api.constraints

Annotation Type UseType

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.2")
public @interface UseType

Generate a value from the annotated class' or type's constructors or factory methods.

Applies to any parameter that is annotated with @ForAll. Only the raw type of a parameter is considered. Parameterized and generic types are forbidden.

If no value is given, the default is to use public constructors and factory methods from the annotated type.

See Also:

ForAll

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
boolean	enableRecursion When true then type information is also used to generate embedded types if (and only if) there's no other arbitrary available for this type.
UseTypeMode[]	value

Element Detail

value

public abstract UseTypeMode[] value

Default:

{}

enableRecursion

@API(status=MAINTAINED,
     since="1.8.0")
public abstract boolean enableRecursion

When true then type information is also used to generate embedded types if (and only if) there's no other arbitrary available for this type.

Default:

true