Package net.jqwik.api

Annotation Type ForAll


  • @Target({ANNOTATION_TYPE,PARAMETER})
    @Retention(RUNTIME)
    @Documented
    @API(status=STABLE,
         since="1.0")
    public @interface ForAll
    Used to annotate method parameters that will be provided by jqwik. Only works on methods annotated with @Property value is used as reference name to a method annotated with @Provide. If it is not specified, only default providers are considered.
    See Also:
    Property, Provide
    • Field Summary

      Fields 
      Modifier and Type Fields Description
      static java.lang.String NO_VALUE  
    • Optional Element Summary

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

      • NO_VALUE

        @API(status=INTERNAL,
             since="1.2.0")
        static final java.lang.String NO_VALUE
    • Element Detail

      • value

        java.lang.String value
        Default:
        ""