• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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