1 /** 2 * Contains the basic annotations to be used by all type systems 3 * and meta-annotations to qualify annotations (qualifiers). 4 * 5 * They may serve as documentation for the type qualifiers, and aid the 6 * Checker Framework to infer the relations between the type qualifiers. 7 * 8 * @checker.framework.manual #writing-a-checker Writing a checker 9 */ 10 package checkers.quals; 11