org.checkerframework.common.reflection

Interface ReflectionResolver

All Known Implementing Classes:

DefaultReflectionResolver

public interface ReflectionResolver

Interface for reflection resolvers that handle reflective method calls such as Method.invoke(Object, Object...) or Constructor.newInstance(Object...).

See the Checker Framework Manual:

Reflection resolution

Field Summary

Fields

Modifier and Type	Field and Description
static String	INIT Constant for "method name" of constructors.

Method Summary

Modifier and Type	Method and Description
boolean	isReflectiveMethodInvocation(MethodInvocationTree tree) Determines whether the given tree represents a reflective method or constructor call.
AnnotatedTypeFactory.ParameterizedExecutableType	resolveReflectiveCall(AnnotatedTypeFactory factory, MethodInvocationTree tree, AnnotatedTypeFactory.ParameterizedExecutableType origResult) Resolve reflection and return the result of factory.methodFromUse for the actual, resolved method or constructor call.

Field Detail

INIT

static final String INIT

Constant for "method name" of constructors.

See Also:

Constant Field Values

Method Detail

isReflectiveMethodInvocation

boolean isReflectiveMethodInvocation(MethodInvocationTree tree)

Determines whether the given tree represents a reflective method or constructor call.

Returns:

true iff tree is a reflective method invocation, false otherwise

resolveReflectiveCall

AnnotatedTypeFactory.ParameterizedExecutableType resolveReflectiveCall(AnnotatedTypeFactory factory,
                                                                       MethodInvocationTree tree,
                                                                       AnnotatedTypeFactory.ParameterizedExecutableType origResult)

Resolve reflection and return the result of factory.methodFromUse for the actual, resolved method or constructor call. If the reflective method cannot be resolved the original result (origResult) is returned.

Parameters:

factory - the currently used AnnotatedTypeFactory

tree - the reflective invocation tree (m.invoke or c.newInstance)

origResult - the original result for the unresolved, reflective method call