org.checkerframework.common.subtyping.qual

Annotation Type Unqualified

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

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.

See the Checker Framework Manual:

Subtyping Checker