Annotation Type 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