Annotation Interface UsesObjectEquals


@Documented @Retention(RUNTIME) @Target(TYPE) @Inherited 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 cannot be written on Object itself. It is most commonly written on a direct subclass of Object.

See Also:
See the Checker Framework Manual:
Interning Checker