1package checkers.quals;
2
3import java.lang.annotation.Target;
4
5/**
6 * A special annotation intended solely for representing an unqualified type in
7 * the qualifier hierarchy, as an argument to {@link SubtypeOf#value()},
8 * in the type qualifiers declarations.
9 *
10 * <p>
11 * Programmers cannot write this in source code.
12 */
13@TypeQualifier
14@SubtypeOf({})
15@Target({}) // empty target prevents programmers from writing this in a program
16public @interface Unqualified { }
17