org.checkerframework.checker.interning.qual
public @Interface UnknownInterned
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @InvisibleQualifier
- @SubtypeOf
- @DefaultQualifierInHierarchy
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf
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.
- See Also
org.checkerframework.checker.interning.InterningChecker
