Package net.jqwik.api

Annotation Interface TagList


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

    Required Elements
    Modifier and Type
    Required Element
    Description
    Tag[]
     
  • Element Details

    • value

      Tag[] value