Annotation 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