Package net.jqwik.api

Annotation Type TagList

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

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
Tag[]	value

Element Detail

value

Tag[] value