| Annotation Type | Description |
|---|---|
| Interned |
Indicates that a variable has been interned, i.e., that the variable refers
to the canonical representation of an object.
|
| PolyInterned |
A polymorphic qualifier for the Interning type system.
|
| UsesObjectEquals |
Class declaration to indicate the class does not override
equals(Object), and therefore a.equals(b) and a ==
b behave identically.
|