org.checkerframework.framework.qual

Enums

• LiteralKind
• TypeKind
• TypeUseLocation

Annotation Types

• AnnotatedFor
• CFComment
• ConditionalPostconditionAnnotation
• Covariant
• DefaultFor
• DefaultQualifier
• DefaultQualifier.List
• DefaultQualifierForUse
• DefaultQualifierInHierarchy
• EnsuresQualifier
• EnsuresQualifier.List
• EnsuresQualifierIf
• EnsuresQualifierIf.List
• FieldInvariant
• FromByteCode
• FromStubFile
• HasQualifierParameter
• IgnoreInWholeProgramInference
• InheritedAnnotation
• InvisibleQualifier
• JavaExpression
• MonotonicQualifier
• NoDefaultQualifierForUse
• NoQualifierParameter
• PolymorphicQualifier
• PostconditionAnnotation
• PreconditionAnnotation
• QualifierArgument
• QualifierForLiterals
• RelevantJavaTypes
• RequiresQualifier
• RequiresQualifier.List
• StubFiles
• SubtypeOf
• TargetLocations
• Unused
• UpperBoundFor