org.checkerframework.checker.interning.qual

Annotation Type CompareToMethod

@Documented
 @Target(value=METHOD)
 @Retention(value=RUNTIME)
 @InheritedAnnotation
public @interface CompareToMethod

Method declaration annotation that indicates a method has a specification like compareTo() or compare(). The Interning Checker permits use of if (this == arg) { return 0; } or if (arg1 == arg2) { return 0; } within the body.

See the Checker Framework Manual:

Interning Checker