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 == argwithin the body. Can also be applied to a static two-argument method, in which case
arg1 == arg2is permitted within the body.
- See the Checker Framework Manual:
- Interning Checker