Package org.checkerframework.checker.interning.qual

Annotation Type CompareToMethod

@Documented
@Target(METHOD)
@Retention(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