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.

    See Also:
    ForAll
    • Optional Element Summary

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

      • 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