Package net.jqwik.api

Annotation Type Provide


  • @Target({ANNOTATION_TYPE,METHOD})
    @Retention(RUNTIME)
    @Documented
    @API(status=STABLE,
         since="1.0")
    public @interface Provide
    Used to annotate methods that can provide values for property method parameters. Those methods must return an instance of Arbitrary. value is used as reference name. If it is not specified, the method's name is used instead.
    • Optional Element Summary

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

      • value

        java.lang.String value
        Default:
        ""