Annotation Type WithNull


  • @Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
    @Retention(RUNTIME)
    @Documented
    @API(status=MAINTAINED,
         since="1.0")
    public @interface WithNull
    Allows jqwik to inject null parameters into generated values. Applies to any parameter which is also annotated with @ForAll. value specifies the probability between 0 and 1.0 to use for injecting null values.
    See Also:
    ForAll
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      double value  
    • Element Detail

      • value

        double value
        Default:
        0.1