Package org.checkerframework.common.reflection

Class DefaultReflectionResolver

java.lang.Object

org.checkerframework.common.reflection.DefaultReflectionResolver

All Implemented Interfaces:

ReflectionResolver

public class DefaultReflectionResolver
extends java.lang.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 java.lang.String	MSG_PREFEX_REFLECTION	Message prefix added to verbose reflection messages.

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(com.sun.source.tree.MethodInvocationTree tree)	Returns true if the given tree represents a reflective method or constructor call.
AnnotatedTypeFactory.ParameterizedExecutableType	resolveReflectiveCall(AnnotatedTypeFactory factory, com.sun.source.tree.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 Detail

MSG_PREFEX_REFLECTION

public static final java.lang.String MSG_PREFEX_REFLECTION

Message prefix added to verbose reflection messages.

See Also:

Constant Field Values

Constructor Detail

DefaultReflectionResolver

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

Method Detail

isReflectiveMethodInvocation

public boolean isReflectiveMethodInvocation(com.sun.source.tree.MethodInvocationTree tree)

Description copied from interface: ReflectionResolver

Returns true if 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,
                                                                              com.sun.source.tree.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