|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
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.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |