| Name | Description | Type | Package | Framework |
| ClassBound | This represents a Class | Class | org.checkerframework.common.reflection.qual | Checker |
| ClassVal | This represents a Class | Class | org.checkerframework.common.reflection.qual | Checker |
| ClassValAnnotatedTypeFactory | Class | org.checkerframework.common.reflection | Checker | |
| ClassValBottom | Class | org.checkerframework.common.reflection.qual | Checker | |
| ClassValChecker | The ClassVal Checker provides a sound estimate of the binary name of ClassSee the Checker Framework Manual:ClassVal Checker | Class | org.checkerframework.common.reflection | Checker |
| ClassValVisitor | Class | org.checkerframework.common.reflection | Checker | |
| DefaultReflectionResolver | Default implementation of ReflectionResolver, which resolves calls Method. | Class | org.checkerframework.common.reflection | Checker |
| ForName | Class | org.checkerframework.common.reflection.qual | Checker | |
| GetClass | Class | org.checkerframework.common.reflection.qual | Checker | |
| GetConstructor | Class | org.checkerframework.common.reflection.qual | Checker | |
| GetMethod | Class | org.checkerframework.common.reflection.qual | Checker | |
| Invoke | Class | org.checkerframework.common.reflection.qual | Checker | |
| MethodVal | This represents a set of Method or Constructor values. | Class | org.checkerframework.common.reflection.qual | Checker |
| MethodValAnnotatedTypeFactory | Class | org.checkerframework.common.reflection | Checker | |
| MethodValBottom | Class | org.checkerframework.common.reflection.qual | Checker | |
| MethodValChecker | The MethodVal Checker provides a sound estimate of the signature of MethodSee the Checker Framework Manual:MethodVal Checker | Class | org.checkerframework.common.reflection | Checker |
| MethodValVisitor | Class | org.checkerframework.common.reflection | Checker | |
| NewInstance | Class | org.checkerframework.common.reflection.qual | Checker | |
| ReflectionResolver | Interface for reflection resolvers that handle reflective method calls such as Method. | Interface | org.checkerframework.common.reflection | Checker |
| UnknownClass | Class | org.checkerframework.common.reflection.qual | Checker | |
| UnknownMethod | Class | org.checkerframework.common.reflection.qual | Checker | |