1 package checkers.quals; 2 3 import 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 16 public @interface Unqualified { } 17
