Package org.checkerframework.checker.nullness.qual

Annotation Type RequiresNonNull.List

  • @Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@PreconditionAnnotation(qualifier=NonNull.class)
public static @interface RequiresNonNull.List
    A wrapper annotation that makes the RequiresNonNull annotation repeatable.

    Programmers generally do not need to write this. It is created by Java when a programmer writes more than one RequiresNonNull annotation at the same location.

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      RequiresNonNull[] value
      Returns the repeatable annotations.

    • Element Detail

      • value

        RequiresNonNull[] value
        Returns the repeatable annotations.
        Returns:
        the repeatable annotations