org.checkerframework.checker.interning.qual

Annotation Type EqualsMethod

@Documented
 @Target(value=METHOD)
 @Retention(value=RUNTIME)
 @InheritedAnnotation
public @interface EqualsMethod

Method declaration annotation that indicates a method has a specification like equals(). The Interning Checker permits use of this == arg within the body. Can also be applied to a static two-argument method, in which case arg1 == arg2 is permitted within the body.

See the Checker Framework Manual:

Interning Checker