Annotation Interface 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.

See Also:
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    double
     
  • Element Details

    • value

      double value
      Returns:
      the probability between 0 and 1.0 to use for injecting null values. Default is 0.05 or 5%.
      Default:
      0.05