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 and Description
static String	MSG_PREFEX_REFLECTION

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

INIT

Constructor Summary

Constructors

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

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.ParameterizedMethodType	resolveReflectiveCall(AnnotatedTypeFactory factory, MethodInvocationTree tree, AnnotatedTypeFactory.ParameterizedMethodType 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 Detail

MSG_PREFEX_REFLECTION

public static final String MSG_PREFEX_REFLECTION

See Also:

Constant Field Values

Constructor Detail

DefaultReflectionResolver

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

Method Detail

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.ParameterizedMethodType resolveReflectiveCall(AnnotatedTypeFactory factory,
                                                                          MethodInvocationTree tree,
                                                                          AnnotatedTypeFactory.ParameterizedMethodType 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