Package checkers.metaquals

Contains meta-annotations to qualify annotations (qualifiers).

See:
Description

Annotation Types Summary

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.
QualifierRoot	A meta-annotation to specify the root type qualifier in the qualifiers hierarchy, i.e.
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.
VariableQualifier	A meta-annotation indicating that an annotation qualifies a variable, not a type, like "final" in Java or "assignable" in Javari/IGJ.

Package checkers.metaquals Description

Contains meta-annotations to qualify annotations (qualifiers). They may serve as documentation for the type qualifiers, and aid the checkers framework to infer the relations between the type qualifiers.

See the checkers manual:

Writing a checker