Package org.checkerframework.checker.builder.qual

Annotation Interface NotCalledMethods

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) public @interface NotCalledMethods
An annotation speculatively used by Lombok's lombok.config checkerframework = true option. It has no meaning to the Called Methods Checker, which treats it as @CalledMethods().

A similar annotation might be supported in the future.

This annotation could be marked as deprecated, but that causes extra warnings when processing delombok'd code.

See the Checker Framework Manual:
Called Methods Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
    The names of the methods that have NOT been called.

  • Element Details

    • value

      String[] value
      The names of the methods that have NOT been called.
      Returns:
      the names of the methods that have NOT been called