Package net.jqwik.api
Annotation Interface ForAll
@Target({ANNOTATION_TYPE,PARAMETER})
@Retention(RUNTIME)
@Documented
@API(status=STABLE,
since="1.0")
public @interface ForAll
Used to annotate method parameters that will be provided by jqwik.
Only works on methods annotated with
@Property
value
is used as reference name to a method annotated with @Provide
.
If it is not specified, only default providers are considered.-
Optional Element Summary
-
Field Summary
-
Field Details
-
NO_VALUE
- See Also:
-
-
Element Details
-
value
String value- Default:
- ""
-
supplier
- Default:
- net.jqwik.api.ArbitrarySupplier.NONE.class
-