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 | |