Uses of Class
org.checkerframework.framework.qual.AnnotatedFor
-
Packages that use AnnotatedFor Package Description org.checkerframework.checker.formatter.qual org.checkerframework.checker.i18nformatter.qual org.checkerframework.framework.qual Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). -
-
Uses of AnnotatedFor in org.checkerframework.checker.formatter.qual
Classes in org.checkerframework.checker.formatter.qual with annotations of type AnnotatedFor Modifier and Type Class Description class
ConversionCategory
Elements of this enumeration are used in aFormat
annotation to indicate the valid types that may be passed as a format parameter. -
Uses of AnnotatedFor in org.checkerframework.checker.i18nformatter.qual
Classes in org.checkerframework.checker.i18nformatter.qual with annotations of type AnnotatedFor Modifier and Type Class Description class
I18nConversionCategory
Elements of this enumeration are used in aI18nFormat
annotation to indicate the valid types that may be passed as a format parameter. -
Uses of AnnotatedFor in org.checkerframework.framework.qual
Classes in org.checkerframework.framework.qual with annotations of type AnnotatedFor Modifier and Type Class Description interface
PolymorphicQualifier
A meta-annotation that indicates that an annotation is a polymorphic type qualifier.interface
SubtypeOf
A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-