org.checkerframework.common.subtyping.qual

Annotation Type Unqualified

@InvisibleQualifier
 @SubtypeOf(value={})
 @Target(value={})
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.

Note that because of the missing RetentionPolicy, the qualifier will not be stored in bytecode.

Only use this qualifier when experimenting with very simple type systems. For any more realistic type systems, introduce a top and bottom qualifier that gets stored in bytecode.