Package org.checkerframework.common.reflection
-
Interface Summary Interface Description ReflectionResolver Interface for reflection resolvers that handle reflective method calls such asMethod.invoke(Object, Object...)
orConstructor.newInstance(Object...)
. -
Class Summary Class Description ClassValAnnotatedTypeFactory A type factory for the @ClassVal and @ClassBound annotations.ClassValChecker The ClassVal Checker provides a sound estimate of the binary name of Class objects.ClassValVisitor A visitor to verify validity of@
ClassVal
annotations.DefaultReflectionResolver Default implementation ofReflectionResolver
.MethodValAnnotatedTypeFactory AnnotatedTypeFactory for the MethodVal Checker.MethodValChecker The MethodVal Checker provides a sound estimate of the signature of Method objects.MethodValVisitor