checkers.quals
Annotation Type DefaultQualifierInHierarchy


@Documented
@Retention(value=RUNTIME)
@Target(value=ANNOTATION_TYPE)
public @interface DefaultQualifierInHierarchy

Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier.

The DefaultQualifier annotation, which targets Java code elements, takes precedence over DefaultQualifierInHierarchy.

Each type qualifier hierarchy may have at most one qualifier marked as DefaultQualifierInHierarchy.

See Also:
DefaultQualifier