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 TypeClassDescriptionenumElements of this enumeration are used in aFormatannotation 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 TypeClassDescriptionenumElements of this enumeration are used in aI18nFormatannotation 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@interfaceA meta-annotation that indicates that an annotation is a polymorphic type qualifier.@interfaceA meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.