Package net.jqwik.api

Annotation Type From


  • @Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
    @Retention(RUNTIME)
    @Documented
    @API(status=MAINTAINED,
         since="1.3.0")
    public @interface From
    Used to annotate type parameters within property parameters annotated with ForAll . value is used as reference name to a method annotated with @Provide. If it is not specified, only default providers are considered.
    See Also:
    ForAll, Provide
    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      java.lang.String value  
    • Element Detail

      • value

        java.lang.String value