Package org.checkerframework.common.reflection

Class DefaultReflectionResolver

java.lang.Object

org.checkerframework.common.reflection.DefaultReflectionResolver

All Implemented Interfaces:

ReflectionResolver

public class DefaultReflectionResolver
extends Object
implements ReflectionResolver

Default implementation of ReflectionResolver. It resolves calls to:

• Method.invoke(Object, Object...)
• Constructor.newInstance(Object...)

See the Checker Framework Manual:

Reflection resolution

Field Summary

Fields

Modifier and Type	Field	Description
static final String	MSG_PREFEX_REFLECTION

Fields inherited from interface org.checkerframework.common.reflection.ReflectionResolver

INIT, INIT_LIST

Constructor Summary

Constructors

Constructor	Description
DefaultReflectionResolver(BaseTypeChecker checker, MethodValAnnotatedTypeFactory methodValProvider, boolean debug)

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

MSG_PREFEX_REFLECTION

public static final String MSG_PREFEX_REFLECTION

See Also:

• Constant Field Values

Constructor Details

DefaultReflectionResolver

public DefaultReflectionResolver(BaseTypeChecker checker,
 MethodValAnnotatedTypeFactory methodValProvider,
 boolean debug)

Method Details

isReflectiveMethodInvocation

public boolean isReflectiveMethodInvocation(MethodInvocationTree tree)

Description copied from interface: ReflectionResolver

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

Specified by:

isReflectiveMethodInvocation in interface ReflectionResolver

Returns:

true iff tree is a reflective method invocation, false otherwise

resolveReflectiveCall

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

Description copied from interface: ReflectionResolver

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.

Specified by:

resolveReflectiveCall in interface ReflectionResolver

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