| Annotation Type | Description |
|---|---|
| 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. |
| 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. |