Package checkers.interning.quals

Annotation Types Summary
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.