Top Description Methods
org.checkerframework.checker.builder.qual

public @Interface NotCalledMethods

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
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 @org.checkerframework.checker.calledmethods.qual.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.

Method Summary

Modifier and TypeMethod and Description
public String[]

Returns:

the names of the methods that have NOT been called
value()

The names of the methods that have NOT been called.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

The names of the methods that have NOT been called.

Returns:String[]

the names of the methods that have NOT been called