OpenJDK 27 · java.lang.invoke.Invokers · APIdia, the JavaDoc alternative

Modifier and Type	Class and Description
pack-priv class	Invokers.Holder Holds pre-generated bytecode for lambda forms used by method type invokers.
private static class	Invokers.Lazy

Field Summary

Modifier and Type	Field and Description
pack-priv static final int	INV_BASIC
pack-priv static final int	INV_EXACT
pack-priv static final int	INV_GENERIC
pack-priv static final int	INV_LIMIT
private final MethodHandle[]	invokers
private static final int	MH_LINKER_ARG_APPENDED
private static final byte	NF_checkCustomized
private static final byte	NF_checkExactType
private static final byte	NF_checkGenericType
private static final byte	NF_checkVarHandleExactType
private static final byte	NF_checkVarHandleGenericType
private static final byte	NF_directVarHandleTarget
private static final byte	NF_getCallSiteTarget
private static final byte	NF_LIMIT
private static final LambdaForm.NamedFunction[]	NFS
private final MethodType	targetType
pack-priv static final int	VH_INV_EXACT
pack-priv static final int	VH_INV_GENERIC

Constructor Summary

Access	Constructor and Description
pack-priv	Invokers(MethodType targetType) Compute and cache information common to all collecting adapters that implement members of the erasure-family of the given erased type.

Method Summary

Modifier and Type	Method and Description
pack-priv MethodHandle	basicInvoker()
private MethodHandle	cachedInvoker(int idx)
private MethodHandle	cachedVHInvoker(boolean isExact, VarHandle.AccessMode ak)
pack-priv static LambdaForm	callSiteForm(MethodType mtype, boolean skipCallSite)
pack-priv static void	checkCustomized(MethodHandle mh)
pack-priv static void	checkExactType(MethodHandle mh, MethodType expected) Static definition of MethodHandle.invokeExact checking code.
pack-priv static MethodHandle	checkGenericType(MethodHandle mh, MethodType expected) Static definition of MethodHandle.invokeGeneric checking code.
private boolean	checkInvoker(MethodHandle invoker)
pack-priv static MethodHandle	checkVarHandleExactType(VarHandle handle, VarHandle.AccessDescriptor ad)
pack-priv static MethodHandle	checkVarHandleGenericType(VarHandle handle, VarHandle.AccessDescriptor ad)
private boolean	checkVarHandleInvoker(MethodHandle invoker)
private static LambdaForm.NamedFunction	createFunction(byte func)
pack-priv static VarHandle	directVarHandleTarget(VarHandle handle)
pack-priv MethodHandle	exactInvoker()
pack-priv MethodHandle	genericInvoker()
pack-priv static MethodHandle	getCallSiteTarget(CallSite site) Static definition of MethodHandle.invokeGeneric checking code.
private static LambdaForm.NamedFunction	getFunction(byte func)
private static LambdaForm.NamedFunction	getNamedFunction(String name, MethodType type)
private static Class<?>	impliedRestargType(MethodType restargType, int fromPos)
pack-priv static MemberName	invokeBasicMethod(MethodType basicType)
pack-priv static LambdaForm	invokeHandleForm(MethodType the caller's method type (either basic or full-custom) mtype, boolean whether to use a trailing appendix argument (to carry the mtype) customized, int bit-encoded 0x01 whether it is a CP adapter ("linker") or MHs.invoker value ("invoker"); 0x02 whether it is for invokeExact or generic invoke which) Returns an adapter for invokeExact or generic invoke, as a MH or constant pool linker.
pack-priv static MemberName	linkToCallSiteMethod(MethodType mtype)
pack-priv static MemberName	linkToTargetMethod(MethodType mtype)
private MethodHandle	makeExactOrGeneralInvoker(boolean isExact)
private MethodHandle	makeVarHandleMethodInvoker(VarHandle.AccessMode ak, boolean isExact)
private void	maybeCompileToBytecode(MethodHandle invoker) If the target type seems to be common enough, eagerly compile the invoker to bytecodes.
pack-priv static void	maybeCustomize(MethodHandle mh)
pack-priv static MemberName	methodHandleInvokeLinkerMethod(String name, MethodType mtype, Object[] appendixResult)
pack-priv static WrongMethodTypeException	newWrongMethodTypeException(MethodType targetType, MethodType callSiteType)
private synchronized MethodHandle	setCachedInvoker(int idx, final MethodHandle invoker)
private MethodHandle	setCachedVHInvoker(boolean isExact, VarHandle.AccessMode ak, final MethodHandle invoker)
pack-priv MethodHandle	Returns: `invoker.invokeExact(mh, uarg, C[]{sarg}) := (RT)mh.invoke(uarg, sarg)` spreadInvoker(int the number of unchanged (non-spread) arguments leadingArgCount) Find or create an invoker which passes unchanged a given number of arguments and spreads the rest from a trailing array argument.
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.
pack-priv static MemberName	varHandleInvokeLinkerMethod(MethodType mtype)
pack-priv MethodHandle	varHandleMethodExactInvoker(VarHandle.AccessMode ak)
private static LambdaForm	varHandleMethodGenericLinkerHandleForm(MethodType mtype)
pack-priv MethodHandle	varHandleMethodInvoker(VarHandle.AccessMode ak)
private static LambdaForm	varHandleMethodInvokerHandleForm(MethodType mtype, boolean isExact)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll wait wait wait

Field Detail

INV_BASIC	back to summary
pack-priv static final int INV_BASIC

INV_EXACT	back to summary
pack-priv static final int INV_EXACT

INV_GENERIC	back to summary
pack-priv static final int INV_GENERIC

INV_LIMIT	back to summary
pack-priv static final int INV_LIMIT

invokers	back to summary
private final MethodHandle[] invokers Annotations @Stable

MH_LINKER_ARG_APPENDED	back to summary
private static final int MH_LINKER_ARG_APPENDED

NF_checkCustomized	back to summary
private static final byte NF_checkCustomized

NF_checkExactType	back to summary
private static final byte NF_checkExactType

NF_checkGenericType	back to summary
private static final byte NF_checkGenericType

NF_checkVarHandleExactType	back to summary
private static final byte NF_checkVarHandleExactType

NF_checkVarHandleGenericType	back to summary
private static final byte NF_checkVarHandleGenericType

NF_directVarHandleTarget	back to summary
private static final byte NF_directVarHandleTarget

NF_getCallSiteTarget	back to summary
private static final byte NF_getCallSiteTarget

NF_LIMIT	back to summary
private static final byte NF_LIMIT

NFS	back to summary
private static final LambdaForm.NamedFunction[] NFS Annotations @Stable

targetType	back to summary
private final MethodType targetType

VH_INV_EXACT	back to summary
pack-priv static final int VH_INV_EXACT

VH_INV_GENERIC	back to summary
pack-priv static final int VH_INV_GENERIC

Constructor Detail

Invokers	back to summary
pack-priv Invokers(MethodType targetType) Compute and cache information common to all collecting adapters that implement members of the erasure-family of the given erased type.

Method Detail

basicInvoker	back to summary
pack-priv MethodHandle basicInvoker()

cachedInvoker	back to summary
private MethodHandle cachedInvoker(int idx)

cachedVHInvoker	back to summary
private MethodHandle cachedVHInvoker(boolean isExact, VarHandle.AccessMode ak)

callSiteForm	back to summary
pack-priv static LambdaForm callSiteForm(MethodType mtype, boolean skipCallSite)

checkCustomized	back to summary
pack-priv static void checkCustomized(MethodHandle mh) Annotations @ForceInline

checkExactType	back to summary
pack-priv static void checkExactType(MethodHandle mh, MethodType expected) Static definition of MethodHandle.invokeExact checking code. Annotations @ForceInline

checkExactType

back to summary

pack-priv static void checkExactType(MethodHandle mh, MethodType expected)

Static definition of MethodHandle.invokeExact checking code.

Annotations

@ForceInline

checkGenericType back to summary

checkGenericType	back to summary
pack-priv static MethodHandle checkGenericType(MethodHandle mh, MethodType expected) Static definition of MethodHandle.invokeGeneric checking code. Directly returns the type-adjusted MH to invoke, as follows: `(R)MH.invoke(a) => MH.asType(TYPEOF(a:R)).invokeBasic(a*)` Annotations @ForceInline

pack-priv static MethodHandle checkGenericType(MethodHandle mh, MethodType expected)

Static definition of MethodHandle.invokeGeneric checking code. Directly returns the type-adjusted MH to invoke, as follows: (R)MH.invoke(a*) => MH.asType(TYPEOF(a*:R)).invokeBasic(a*)

Annotations

@ForceInline

checkInvoker	back to summary
private boolean checkInvoker(MethodHandle invoker)

checkVarHandleExactType	back to summary
pack-priv static MethodHandle checkVarHandleExactType(VarHandle handle, VarHandle.AccessDescriptor ad) Annotations @ForceInline

checkVarHandleGenericType	back to summary
pack-priv static MethodHandle checkVarHandleGenericType(VarHandle handle, VarHandle.AccessDescriptor ad) Annotations @ForceInline @Hidden

checkVarHandleInvoker	back to summary
private boolean checkVarHandleInvoker(MethodHandle invoker)

createFunction	back to summary
private static LambdaForm.NamedFunction createFunction(byte func)

directVarHandleTarget	back to summary
pack-priv static VarHandle directVarHandleTarget(VarHandle handle) Annotations @ForceInline

exactInvoker	back to summary
pack-priv MethodHandle exactInvoker()

genericInvoker	back to summary
pack-priv MethodHandle genericInvoker()

getCallSiteTarget	back to summary
pack-priv static MethodHandle getCallSiteTarget(CallSite site) Static definition of MethodHandle.invokeGeneric checking code. Annotations @ForceInline

getCallSiteTarget

back to summary

pack-priv static MethodHandle getCallSiteTarget(CallSite site)

Static definition of MethodHandle.invokeGeneric checking code.

Annotations

@ForceInline

getFunction	back to summary
private static LambdaForm.NamedFunction getFunction(byte func)

getNamedFunction	back to summary
private static LambdaForm.NamedFunction getNamedFunction(String name, MethodType type) throws ReflectiveOperationException

impliedRestargType	back to summary
private static Class<?> impliedRestargType(MethodType restargType, int fromPos)

invokeBasicMethod	back to summary
pack-priv static MemberName invokeBasicMethod(MethodType basicType)

invokeHandleForm	back to summary
pack-priv static LambdaForm invokeHandleForm(MethodType mtype, boolean customized, int which) Returns an adapter for invokeExact or generic invoke, as a MH or constant pool linker. If !customized, caller is responsible for supplying, during adapter execution, a copy of the exact mtype. This is because the adapter might be generalized to a basic type. Parameters mtype:MethodType the caller's method type (either basic or full-custom) customized:boolean whether to use a trailing appendix argument (to carry the mtype) which:int bit-encoded 0x01 whether it is a CP adapter ("linker") or MHs.invoker value ("invoker"); 0x02 whether it is for invokeExact or generic invoke

invokeHandleForm

back to summary

pack-priv static LambdaForm invokeHandleForm(MethodType mtype, boolean customized, int which)

Returns an adapter for invokeExact or generic invoke, as a MH or constant pool linker. If !customized, caller is responsible for supplying, during adapter execution, a copy of the exact mtype. This is because the adapter might be generalized to a basic type.

Parameters

mtype:MethodType: the caller's method type (either basic or full-custom)
customized:boolean: whether to use a trailing appendix argument (to carry the mtype)
which:int: bit-encoded 0x01 whether it is a CP adapter ("linker") or MHs.invoker value ("invoker"); 0x02 whether it is for invokeExact or generic invoke

linkToCallSiteMethod	back to summary
pack-priv static MemberName linkToCallSiteMethod(MethodType mtype)

linkToTargetMethod	back to summary
pack-priv static MemberName linkToTargetMethod(MethodType mtype)

makeExactOrGeneralInvoker	back to summary
private MethodHandle makeExactOrGeneralInvoker(boolean isExact)

makeVarHandleMethodInvoker	back to summary
private MethodHandle makeVarHandleMethodInvoker(VarHandle.AccessMode ak, boolean isExact)

maybeCompileToBytecode	back to summary
private void maybeCompileToBytecode(MethodHandle invoker) If the target type seems to be common enough, eagerly compile the invoker to bytecodes.

maybeCustomize	back to summary
pack-priv static void maybeCustomize(MethodHandle mh) Annotations @DontInline

methodHandleInvokeLinkerMethod	back to summary
pack-priv static MemberName methodHandleInvokeLinkerMethod(String name, MethodType mtype, Object[] appendixResult)

newWrongMethodTypeException	back to summary
pack-priv static WrongMethodTypeException newWrongMethodTypeException(MethodType targetType, MethodType callSiteType)

setCachedInvoker	back to summary
private synchronized MethodHandle setCachedInvoker(int idx, final MethodHandle invoker)

setCachedVHInvoker	back to summary
private MethodHandle setCachedVHInvoker(boolean isExact, VarHandle.AccessMode ak, final MethodHandle invoker)

spreadInvoker back to summary

pack-priv MethodHandle spreadInvoker(int leadingArgCount)

Find or create an invoker which passes unchanged a given number of arguments and spreads the rest from a trailing array argument. The invoker target type is the post-spread type (TYPEOF(uarg*), TYPEOF(sarg*))=>RT. All the sargs must have a common type C. (If there are none, Object is assumed.}

Parameters

leadingArgCount:int: the number of unchanged (non-spread) arguments

Returns:MethodHandle

invoker.invokeExact(mh, uarg*, C[]{sarg*}) := (RT)mh.invoke(uarg*, sarg*)

toString back to summary

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

varHandleInvokeLinkerMethod	back to summary
pack-priv static MemberName varHandleInvokeLinkerMethod(MethodType mtype)

varHandleMethodExactInvoker	back to summary
pack-priv MethodHandle varHandleMethodExactInvoker(VarHandle.AccessMode ak)

varHandleMethodGenericLinkerHandleForm	back to summary
private static LambdaForm varHandleMethodGenericLinkerHandleForm(MethodType mtype)

varHandleMethodInvoker	back to summary
pack-priv MethodHandle varHandleMethodInvoker(VarHandle.AccessMode ak)

varHandleMethodInvokerHandleForm	back to summary
private static LambdaForm varHandleMethodInvokerHandleForm(MethodType mtype, boolean isExact)

pack-priv Class Invokers

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

pack-priv final Class Invokers.Holder

Constructor Summary

Method Summary

Constructor Detail

private Class Invokers.Lazy

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail