| 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. |
| 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. |