| Name | Description | Type | Package | Framework |
| ExtendedArrayType | Returns the component type of this array type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedDeclaredType | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedErrorType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedExecutableType | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedIntersectionType | Return the bounds comprising this intersection type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedNoType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedNullType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedParameterDeclaration | Returns the element corresponding to this type variable. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedPrimitiveType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedReferenceType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedTypeDeclaration | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeMirror | Represents a type in the Java programming language. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeVariable | Unlike TypeVariable, this interface does not provide methods to obtain the upper and lower bounds of the type variable. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeVisitor | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedUnionType | Return the alternatives comprising this union type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedWildcardType | Returns the upper bound of this wildcard. | Interface | org.checkerframework.qualframework.util | Checker |
| QualifierContext | Interface | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror | A wrapper to adapt an AnnotatedTypeMirror to the ExtendedTypeMirror interface. | Class | org.checkerframework.qualframework.util | Checker |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedArrayType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedDeclaredType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedExecutableType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedIntersectionType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedNoType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedNullType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedPrimitiveType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedTypeVariable | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedUnionType | Class | org.checkerframework.qualframework.util | Checker | |
| WrappedAnnotatedTypeMirror .WrappedAnnotatedWildcardType | Class | org.checkerframework.qualframework.util | Checker | |