Package net.jqwik.api

Annotation Interface From

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

Optional Element Summary

Optional Elements

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

Field Summary

Fields

Modifier and Type	Field	Description
static final String	NO_VALUE

Field Details

NO_VALUE

@API(status=INTERNAL,
     since="1.6.3")
static final String NO_VALUE

See Also:

• Constant Field Values

Element Details

value

String value

Default:

""

supplier

@API(status=MAINTAINED,
     since="1.8.0")
Class<? extends ArbitrarySupplier<?>> supplier

Default:

net.jqwik.api.ArbitrarySupplier.NONE.class