Package org.checkerframework.checker.mustcall.qual

Annotation Interface CreatesMustCallFor.List

Enclosing class:
CreatesMustCallFor
@Documented @Retention(RUNTIME) @Target(METHOD) @InheritedAnnotation public static @interface CreatesMustCallFor.List
A wrapper annotation that makes the CreatesMustCallFor annotation repeatable.

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

See the Checker Framework Manual:
Must Call Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    CreatesMustCallFor[]
    value
    Return the repeatable annotations.

  • Element Details

    • value

      CreatesMustCallFor[] value
      Return the repeatable annotations.
      Returns:
      the repeatable annotations