org.checkerframework.checker.interning.qual

Annotation Type Interned

@SubtypeOf(value=UnknownInterned.class)
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
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