Annotation Type UsesObjectEquals
-
@Documented @Retention(RUNTIME) @Target(TYPE) @Inherited public @interface UsesObjectEquals
Class declaration to indicate the class does not overrideequals(Object)
, and thereforea.equals(b)
anda == 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 onObject
itself. It is most commonly written on a direct subclass ofObject
.- See Also:
InterningChecker
- See the Checker Framework Manual:
- Interning Checker