net.jqwik.api

Annotation Type ForAll

@Target(value={ANNOTATION_TYPE,PARAMETER})
 @Retention(value=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.

See Also:

Property, Provide

Field Summary

Fields

Modifier and Type	Fields and Description
static java.lang.String	NO_VALUE

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.Class<? extends ArbitrarySupplier<?>>	supplier
java.lang.String	value

Field Detail

NO_VALUE

@API(status=INTERNAL,
     since="1.2.0")
public static final java.lang.String NO_VALUE

Element Detail

value

public abstract java.lang.String value

Default:

""

supplier

@API(status=MAINTAINED,
     since="1.8.0")
public abstract java.lang.Class<? extends ArbitrarySupplier<?>> supplier

Default:

net.jqwik.api.ArbitrarySupplier.NONE.class