checkers.interning.quals

Annotation Type UsesObjectEquals

public @interface UsesObjectEquals

Class declaration to indicate the class does not override equals(Object), and therefore a.equals(b) and a == b behave identically.

A class may be annotated @UsesObjectEquals if neither it, nor any of its supertypes or subtypes, overrides equals. Therefore, it is most commonly written on a direct subclass of Object.

This annotation is associated with the InterningChecker.

See Also:

InterningChecker

See the Checker Framework manual:

Interning Checker