Package org.checkerframework.common.reflection

package org.checkerframework.common.reflection

Related Packages

Package	Description
org.checkerframework.common.reflection.qual

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
ReflectionResolver	Interface for reflection resolvers that handle reflective method calls such as Method.invoke(Object, Object...) or Constructor.newInstance(Object...).