Package net.jqwik.api

Annotationsschnittstelle 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.

Siehe auch:

• Property
• Provide

Optionale Elemente - Übersicht

Optionale Elemente

Modifizierer und Typ	Optionales Element	Beschreibung
Class<? extends ArbitrarySupplier<?>>	supplier
String	value

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final String	NO_VALUE

Felddetails

NO_VALUE

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

Siehe auch:

• Konstantenfeldwerte

Elementdetails

value

String value

Standard:

""

supplier

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

Standard:

net.jqwik.api.ArbitrarySupplier.NONE.class