Package org.checkerframework.checker.interning.qual

Annotation Interface EqualsMethod

@Documented
@Target(METHOD)
@Retention(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