org.checkerframework.checker.interning.qual
public @Interface CompareToMethod
extends Annotation
- Annotations
- @Documented
- @Target:METHOD
- @Retention:RUNTIME
- @InheritedAnnotation
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.InheritedAnnotation
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.
