Package net.jqwik.api

Annotationsschnittstelle TagList

@Target({METHOD,TYPE,ANNOTATION_TYPE})
@Retention(RUNTIME)
@Documented
@Inherited
@API(status=STABLE,
     since="1.0")
public @interface TagList

Erforderliche Elemente - Übersicht

Erforderliche Elemente

Modifizierer und Typ	Erforderliches Element	Beschreibung
Tag[]	value

Elementdetails

value

Tag[] value