org.checkerframework.checker.interning.qual

Annotation Type UnknownInterned

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @InvisibleQualifier
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
public @interface UnknownInterned

The top qualifier for the Interning Checker. It indicates lack of knowledge about whether values are interned or not. It is not written by programmers, but is used internally by the type system.

This annotation is associated with the InterningChecker.

See Also:

InterningChecker

See the Checker Framework Manual:

Interning Checker