Annotation Type Interned

public @interface Interned

Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.

To specify that all objects of a given type are interned, annotate the class declaration:

   public @Interned class MyInternedClass { ... }
This is equivalent to annotating every use of MyInternedClass, in a declaration or elsewhere. For example, enum classes are implicitly so annotated.

This annotation is associated with the InterningChecker.

See Also:
See the Checker Framework manual:
Interning Checker