Checker Qual 3.38.0 · org.checkerframework.checker.interning.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	CompareToMethod Method declaration annotation that indicates a method has a specification like `compareTo()` or `compare()`.
public @interface	EqualsMethod Method declaration annotation that indicates a method has a specification like `equals()`.
public @interface	FindDistinct This formal parameter annotation indicates that the method searches for the given value, using reference equality (`==`).
public @interface	Interned Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.
public @interface	InternedDistinct Indicates that no other value is `equals()` to the given value.
public @interface	InternMethod Method declaration annotation used to indicate that this method may be invoked on an uninterned object and that it returns an interned object.
public @interface	PolyInterned A polymorphic qualifier for the Interning type system.
public @interface	UnknownInterned The top qualifier for the Interning Checker.
public @interface	UsesObjectEquals Class declaration to indicate the class does not override `equals(Object)`, and therefore `a.equals(b)` and `a == b` behave identically.