org.checkerframework.framework.qual
Enums
LiteralKind
TypeKind
TypeUseLocation
Annotation Types
AnnotatedFor
ConditionalPostconditionAnnotation
Covariant
DefaultFor
DefaultInUncheckedCodeFor
DefaultQualifier
DefaultQualifierForUse
DefaultQualifierInHierarchy
DefaultQualifierInHierarchyInUncheckedCode
DefaultQualifiers
EnsuresQualifier
EnsuresQualifierIf
EnsuresQualifiers
EnsuresQualifiersIf
FieldInvariant
FromByteCode
FromStubFile
IgnoreInWholeProgramInference
InheritedAnnotation
InvisibleQualifier
JavaExpression
MonotonicQualifier
NoDefaultQualifierForUse
PolyAll
PolymorphicQualifier
PostconditionAnnotation
PreconditionAnnotation
QualifierArgument
QualifierForLiterals
RelevantJavaTypes
RequiresQualifier
RequiresQualifiers
StubFiles
SubtypeOf
TargetLocations
Unused
UpperBoundFor