org.checkerframework.checker.interning.qual

Annotation Type UsesObjectEquals

@Documented
 @Inherited
 @Target(value=TYPE)
 @Retention(value=RUNTIME)
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.

This annotation is associated with the InterningChecker.

See Also:

InterningChecker

See the Checker Framework Manual:

Interning Checker