org.checkerframework.framework.qual

Enums

• LiteralKind
• TypeUseLocation

Annotation Types

• AnnotatedFor
• Bottom
• ConditionalPostconditionAnnotation
• DefaultFor
• DefaultInUncheckedCodeFor
• DefaultQualifier
• DefaultQualifierInHierarchy
• DefaultQualifierInHierarchyInUncheckedCode
• DefaultQualifiers
• Dependent
• EnsuresQualifier
• EnsuresQualifierIf
• EnsuresQualifiers
• EnsuresQualifiersIf
• FromByteCode
• FromStubFile
• IgnoreInWholeProgramInference
• ImplicitFor
• InheritedAnnotation
• InvisibleQualifier
• JavaExpression
• MonotonicQualifier
• PolyAll
• PolymorphicQualifier
• PostconditionAnnotation
• PreconditionAnnotation
• RelevantJavaTypes
• RequiresQualifier
• RequiresQualifiers
• StubFiles
• SubtypeOf
• TargetLocations
• Unqualified
• Unused