checkers.interning.quals
Annotation Type Interned

@Documented
@TypeQualifier
@Inherited
@SubtypeOf(value=Unqualified.class)
@Retention(value=RUNTIME)
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:

InterningChecker

See the Checker Framework manual:

Interning Checker