Package org.checkerframework.checker.interning.qual

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:

• InterningChecker

See the Checker Framework Manual:

Interning Checker