Package edu.umd.cs.findbugs.detect

Class ReflectiveInvocation

java.lang.Object

edu.umd.cs.findbugs.detect.ReflectiveInvocation

class ReflectiveInvocation
extends java.lang.Object

A single invocation of a reflective field accessor (MethodHandle, VarHandle or AtomicFieldUpdater). The ReflectiveInvocation.Kind passed to create(edu.umd.cs.findbugs.detect.ReflectiveInvocation.Kind, edu.umd.cs.findbugs.ba.XField, java.lang.String) selects the rules used to decide whether the called method actually accesses a field and, if so, which access type it implies.

For a MethodHandle the access type is fixed at the accessor's declaration, so accessType is null here and the accessor's own type is used during resolution. For VarHandle and AtomicFieldUpdater the access type is derived from the invoked method name.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	ReflectiveInvocation.Kind

Field Summary

Fields

Modifier and Type	Field	Description
private XField	accessorField	The field holding the accessor handle.
private ReflectiveAccessTracker.AccessType	accessType	GETTER/SETTER/BOTH, or null when the type comes from the accessor (MethodHandle).
private static java.util.Set<java.lang.String>	METHOD_HANDLE_INVOCATIONS

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ReflectiveInvocation(XField accessorField, ReflectiveAccessTracker.AccessType accessType)

Method Summary

Modifier and Type	Method	Description
(package private) XField	accessorField()
(package private) ReflectiveAccessTracker.AccessType	accessType()
(package private) static ReflectiveInvocation	create(ReflectiveInvocation.Kind kind, XField accessorField, java.lang.String invokedMethodName)	Builds an invocation for a recognized accessor call, or returns null when the called method is not a field-accessing invocation for the given accessor kind.
private static ReflectiveAccessTracker.AccessType	resolveAtomicUpdaterType(java.lang.String invokedMethodName)
private static ReflectiveAccessTracker.AccessType	resolveVarHandleType(java.lang.String invokedMethodName)

Methods inherited from class java.lang.Object

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

Field Detail

METHOD_HANDLE_INVOCATIONS

private static final java.util.Set<java.lang.String> METHOD_HANDLE_INVOCATIONS

accessorField

private final XField accessorField

The field holding the accessor handle.

accessType

private final ReflectiveAccessTracker.AccessType accessType

GETTER/SETTER/BOTH, or null when the type comes from the accessor (MethodHandle).

Constructor Detail

ReflectiveInvocation

private ReflectiveInvocation(XField accessorField,
                             ReflectiveAccessTracker.AccessType accessType)

Method Detail

accessorField

XField accessorField()

accessType

ReflectiveAccessTracker.AccessType accessType()

create

static ReflectiveInvocation create(ReflectiveInvocation.Kind kind,
                                   XField accessorField,
                                   java.lang.String invokedMethodName)

Builds an invocation for a recognized accessor call, or returns null when the called method is not a field-accessing invocation for the given accessor kind.

resolveVarHandleType

private static ReflectiveAccessTracker.AccessType resolveVarHandleType(java.lang.String invokedMethodName)

resolveAtomicUpdaterType

private static ReflectiveAccessTracker.AccessType resolveAtomicUpdaterType(java.lang.String invokedMethodName)