Annotation Type EnsuresNonNull


  • @Retention(CLASS)
    @Target(METHOD)
    public @interface EnsuresNonNull
    NullAway supports @EnsuresNonNull(param) annotation, but org.jetbrains.annotations doesn't include this annotation. The purpose of this annotation is to tell NullAway that if the annotated method succeeded without any exceptions, all class's fields defined in "param" will be @NotNull.
    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      String[] value