Uses of Annotation Type
org.checkerframework.framework.qual.AnnotatedFor
Packages that use AnnotatedFor
Package
Description
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 AnnotatedForModifier and TypeClassDescriptionenum
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 AnnotatedForModifier and TypeClassDescriptionenum
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 AnnotatedForModifier and TypeClassDescription@interface
A meta-annotation that indicates that an annotation is a polymorphic type qualifier.@interface
A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.