1package checkers.quals;
2
3import java.lang.annotation.Documented;
4import static java.lang.annotation.ElementType.ANNOTATION_TYPE;
5import java.lang.annotation.Retention;
6import java.lang.annotation.RetentionPolicy;
7import 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)
27public @interface DefaultQualifierInHierarchy {
28
29}
30