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 UseTypeGenerate 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
valueis 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 booleanenableRecursionWhen 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:
- {}
-
-