Top Description Methods
org.checkerframework.checker.interning.qual

public @Interface Interned

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:UnknownInterned
@QualifierForLiterals:PRIMITIVE, STRING
@DefaultFor
typeKinds:BOOLEAN, BYTE, CHAR, DOUBLE, FLOAT, INT, LONG, SHORT
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .LiteralKind, .QualifierForLiterals, .SubtypeOf, .TypeKind

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.
See Also
org.checkerframework.checker.interning.InterningChecker

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString