Package org.checkerframework.checker.interning.qual

package org.checkerframework.checker.interning.qual

Related Packages

Package	Description
org.checkerframework.checker.interning	Provides a type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.

Annotation Interfaces

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