Package net.jqwik.api.constraints
Annotationsschnittstelle 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.
- Siehe auch:
-
Optionale Elemente - Übersicht
Modifizierer und TypOptionales ElementBeschreibungboolean
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.
-
Elementdetails
-
value
UseTypeMode[] value- Standard:
{}
-
enableRecursion
@API(status=MAINTAINED, since="1.8.0") boolean enableRecursionWhen true then type information is also used to generate embedded types if (and only if) there's no other arbitrary available for this type.- Standard:
true
-