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 |
ClassValBottom | Class | org.checkerframework.common.reflection.qual | 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 |
MethodValBottom | Class | org.checkerframework.common.reflection.qual | Checker | |
NewInstance | Class | org.checkerframework.common.reflection.qual | Checker | |
UnknownClass | Class | org.checkerframework.common.reflection.qual | Checker | |
UnknownMethod | Class | org.checkerframework.common.reflection.qual | Checker | |