Annotation Interface Unqualified
@Documented
@Retention(SOURCE)
@Target({})
@InvisibleQualifier
@SubtypeOf({})
public @interface Unqualified
A special annotation intended solely for representing an unqualified type in the qualifier
hierarchy, as an argument to
SubtypeOf.value(), in a type qualifier declaration.
This annotation may not be written in source code; it is an implementation detail of the checker.
Use this qualifier only when experimenting with very simple type systems. For any more realistic type systems, introduce a top and bottom qualifier that gets stored in bytecode.
- See the Checker Framework Manual:
- Subtyping Checker