Package net.jqwik.api.constraints
Annotation Type UseType
-
@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(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 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
UseTypeMode[] value
- Default:
- {}
-
-