1 package checkers.quals; 2 3 import java.lang.annotation.Documented; 4 import static java.lang.annotation.ElementType.ANNOTATION_TYPE; 5 import java.lang.annotation.Retention; 6 import java.lang.annotation.RetentionPolicy; 7 import java.lang.annotation.Target; 8 9 /** 10 * Indicates that the annotated qualifier is the default qualifier in the 11 * qualifier hierarchy: it applies if the programmer writes no explicit 12 * qualifier. 13 * <p> 14 * 15 * The {@link DefaultQualifier} annotation, which targets Java code elements, 16 * takes precedence over {@code DefaultQualifierInHierarchy}. 17 * <p> 18 * 19 * Each type qualifier hierarchy may have at most one qualifier marked as 20 * {@code DefaultQualifierInHierarchy}. 21 * 22 * @see checkers.quals.DefaultQualifier 23 */ 24 @Documented 25 @Retention(RetentionPolicy.RUNTIME) 26 @Target(ANNOTATION_TYPE) 27 public @interface DefaultQualifierInHierarchy { 28 29 } 30
