Package org.checkerframework.common.reflection

Interface Summary

Interface	Description
ReflectionResolver	Interface for reflection resolvers that handle reflective method calls such as Method.invoke(Object, Object...) or Constructor.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 of ReflectionResolver.
MethodValAnnotatedTypeFactory	AnnotatedTypeFactory for the MethodVal Checker.
MethodValChecker	The MethodVal Checker provides a sound estimate of the signature of Method objects.
MethodValVisitor