net.jqwik.api

Annotation Type From

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.3.0")
public @interface From

Used to annotate type parameters within property parameters annotated with ForAll . value is used as reference name to a method annotated with @Provide. If it is not specified, only default providers are considered.

See Also:

ForAll, Provide

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String	value

Element Detail

value

public abstract java.lang.String value