Annotation Interface UnknownInterned
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@InvisibleQualifier
@SubtypeOf({})
@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.
- See Also:
- See the Checker Framework Manual:
- Interning Checker