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