Annotation 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