Package org.checkerframework.checker.calledmethods.qual

Annotation Interface RequiresCalledMethods.List

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

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

  • Required Element Summary

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

  • Element Details

    • value

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