Package checkers.quals

Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).

See:
Description

Enum Summary

DefaultLocation

Specifies the locations to which a DefaultQualifier annotation applies.

Annotation Types Summary

DefaultQualifier	Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default, that will be applied to all types within the declaration for which no other annotation is explicitly written.
DefaultQualifierInHierarchy	Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy.
DefaultQualifiers	Specifies the annotations to be included in a type without having to provide them explicitly.
Dependent
ImplicitFor	A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier.
PolymorphicQualifier	A meta-annotation that indicates that an annotation is a polymorphic type qualifier.
SubtypeOf	A meta-annotation to specify all the qualifiers that the given qualifier is a subtype of.
TypeQualifier	A meta-annotation indicating that the annotated annotation is a type qualifier.
TypeQualifiers	An annotation that lists the type qualifiers supported by the annotated Checker.
Unqualified	A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in the type qualifiers declarations.

Package checkers.quals Description

Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). They may serve as documentation for the type qualifiers, and aid the Checker Framework to infer the relations between the type qualifiers.

See the checkers manual:

Writing a checker