Package org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Class MethodBinding

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Binding

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.MethodBinding

Direct Known Subclasses:

InterTypeMethodBinding, MostSpecificExceptionMethodBinding, ParameterizedMethodBinding, PolymorphicMethodBinding, ProblemMethodBinding, SyntheticFactoryMethodBinding, SyntheticMethodBinding

public class MethodBinding
extends Binding

Field Summary

Fields

Modifier and Type	Field	Description
ReferenceBinding	declaringClass
int	defaultNullness
int	extendedTagBits
int	modifiers
static byte	PARAM_NONNULL
static byte	PARAM_NOTOWNING
static byte	PARAM_NULLABLE
static byte	PARAM_NULLITY
static byte	PARAM_OWNING
byte[]	parameterFlowBits	Store flow-related information from declaration annotations (nullness and owning) (incl.
char[][]	parameterNames	Store parameter names from MethodParameters attribute (incl.
TypeBinding[]	parameters
TypeBinding	receiver
TypeBinding	returnType
char[]	selector
long	tagBits
ReferenceBinding[]	thrownExceptions
protected AnnotationBinding[]	typeAnnotations
TypeVariableBinding[]	typeVariables

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Binding

ANY_EXCEPTION, ARRAY_TYPE, BASE_TYPE, DefaultLocationArrayContents, DefaultLocationField, DefaultLocationParameter, DefaultLocationReturnType, DefaultLocationsForTrueValue, DefaultLocationTypeArgument, DefaultLocationTypeBound, DefaultLocationTypeParameter, FIELD, GENERIC_TYPE, IMPORT, INTERSECTION_TYPE, INTERSECTION_TYPE18, LOCAL, METHOD, MODULE, NO_ANNOTATIONS, NO_COMPONENTS, NO_ELEMENT_VALUE_PAIRS, NO_EXCEPTIONS, NO_FIELDS, NO_MEMBER_TYPES, NO_METHODS, NO_MODULES, NO_NULL_DEFAULT, NO_PACKAGES, NO_PARAMETER_NAMES, NO_PARAMETERS, NO_PERMITTEDTYPES, NO_PLAIN_PACKAGES, NO_REFERENCE_TYPES, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, NULL_UNSPECIFIED_BY_DEFAULT, NullnessDefaultMASK, PACKAGE, PARAMETERIZED_TYPE, PATTERN, POLY_TYPE, RAW_TYPE, RECORD_COMPONENT, TYPE, TYPE_PARAMETER, TYPE_USE, UNINITIALIZED_COMPONENTS, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MethodBinding()
	MethodBinding(int modifiers, char[] selector, TypeBinding returnType, TypeBinding[] parameters, ReferenceBinding[] thrownExceptions, ReferenceBinding declaringClass)
	MethodBinding(int modifiers, TypeBinding[] parameters, ReferenceBinding[] thrownExceptions, ReferenceBinding declaringClass)
	MethodBinding(MethodBinding initialMethodBinding, ReferenceBinding declaringClass)

Method Summary

Modifier and Type	Method	Description
boolean	alwaysNeedsAccessMethod()	Subtypes can override this to return true if an access method should be used when referring to this method binding.
final boolean	areParameterErasuresEqual(MethodBinding method)
final boolean	areParametersCompatibleWith(TypeBinding[] arguments)
final boolean	areParametersEqual(MethodBinding method)
final boolean	areTypeVariableErasuresEqual(MethodBinding method)
MethodBinding	asRawMethod(LookupEnvironment env)
boolean	canBeSeenBy(InvocationSite invocationSite, Scope scope)
final boolean	canBeSeenBy(PackageBinding invocationPackage)
boolean	canBeSeenBy(TypeBinding receiverType, InvocationSite invocationSite, Scope scope)
List<TypeBinding>	collectMissingTypes(List<TypeBinding> missingTypes)
final char[]	computeSignature(ClassFile classFile)
MethodBinding	computeSubstitutedMethod(MethodBinding method, LookupEnvironment env)
char[]	computeUniqueKey(boolean isLeaf)
final char[]	constantPoolName()
boolean	doesParameterLengthMatch(int suggestedParameterLength)
protected void	fillInDefaultNonNullness(AbstractMethodDeclaration sourceMethod, boolean needToApplyReturnNonNullDefault, org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider needToApplyParameterNonNullDefault)	After method verifier has finished, fill in missing @NonNull specification from the applicable default.
protected void	fillInDefaultNonNullness18(AbstractMethodDeclaration sourceMethod, LookupEnvironment env)
MethodBinding	findOriginalInheritedMethod(MethodBinding inheritedMethod)
MethodBinding	findPrivilegedBinding(SourceTypeBinding invocationType, InvocationSite location)
static byte	flowBitFromAnnotationTagBit(long tagBit)
MethodBinding	genericMethod()
char[]	genericSignature()	<typeParam1 ... typeParamM>(param1 ... paramN)returnType thrownException1 ... thrownExceptionP T foo(T t) throws X<T> ---> (TT;)TT;LX<TT;>; void bar(X<T> t) --> (LX<TT;>;)V <T> void bar(X<T> t) --> <T:Ljava.lang.Object;>(LX<TT;>;)V
final int	getAccessFlags()
MethodBinding	getAccessMethod(boolean staticReference)	This will only be called if alwaysNeedsAccessMethod() returns true.
TypeVariableBinding[]	getAllTypeVariables(boolean isDiamond)
AnnotationBinding[]	getAnnotations()
long	getAnnotationTagBits()	Compute the tagbits for standard annotations.
Object	getDefaultValue()
AnnotationBinding[][]	getParameterAnnotations()
Boolean	getParameterNullness(int idx)
final AnnotationBinding[]	getTypeAnnotations()
TypeVariableBinding	getTypeVariable(char[] variableName)
MethodBinding	getVisibleBinding(InvocationSite invocationSite, Scope scope)
MethodBinding	getVisibleBinding(TypeBinding receiverType, InvocationSite invocationSite, Scope scope)
org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider	hasNonNullDefaultForParameter(AbstractMethodDeclaration srcMethod)
boolean	hasNonNullDefaultForReturnType(AbstractMethodDeclaration srcMethod)
boolean	hasPolymorphicSignature(Scope scope)	Identifies whether the method has Polymorphic signature based on jls-15.12.3 Definition reproduced here.
boolean	hasSubstitutedParameters()	Returns true if method got substituted parameter types (see ParameterizedMethodBinding)
boolean	hasSubstitutedReturnType()
final boolean	isAbstract()
final boolean	isBridge()
final boolean	isCandindateMain()
final boolean	isCanonicalConstructor()
boolean	isClosingMethod()
final boolean	isCompactConstructor()
final boolean	isConstructor()
final boolean	isDefault()
final boolean	isDefaultAbstract()
boolean	isDefaultMethod()
final boolean	isDeprecated()
boolean	isFinal()
final boolean	isImplementing()
final boolean	isImplicit()
final boolean	isMain()
final boolean	isNative()
final boolean	isOrEnclosedByPrivateType()
final boolean	isOverriding()
boolean	isParameterizedGeneric()
boolean	isPolymorphic()
final boolean	isPrivate()
final boolean	isProtected()
final boolean	isPublic()
final boolean	isStatic()
final boolean	isStrictfp()
final boolean	isSynchronized()
final boolean	isSynthetic()
final boolean	isUsed()
boolean	isVarargs()
final boolean	isViewedAsDeprecated()
boolean	isVoidMethod()
boolean	isWellknownMethod(char[][] compoundClassName, char[] wellKnownSelector)
boolean	isWellknownMethod(int typeId, char[] wellKnownSelector)
final int	kind()
boolean	notownsParameter(int i)
MethodBinding	original()	Returns the original method (as opposed to parameterized/polymorphic instances)
boolean	ownsParameter(int i)
char[]	readableName()
boolean	redeclaresPublicObjectMethod(Scope scope)
void	setAnnotations(AnnotationBinding[] annotations, boolean forceStore)
void	setAnnotations(AnnotationBinding[] annotations, AnnotationBinding[][] parameterAnnotations, Object defaultValue, LookupEnvironment optionalEnv)
void	setDefaultValue(Object defaultValue)
void	setParameterAnnotations(AnnotationBinding[][] parameterAnnotations)
protected final void	setSelector(char[] selector)
void	setTypeAnnotations(AnnotationBinding[] annotations)
MethodBinding	shallowOriginal()	Strips one level of parameterization, so if both class and method are parameterized, leave the class parameters in place.
char[]	shortReadableName()
final char[]	signature()
char[]	signature(ClassFile classFile)
final int	sourceEnd()
LambdaExpression	sourceLambda()
AbstractMethodDeclaration	sourceMethod()
RecordComponent	sourceRecordComponent()
final int	sourceStart()
MethodBinding	tiebreakMethod()	Returns the method to use during tiebreak (usually the method itself).
String	toString()
TypeVariableBinding[]	typeVariables()
void	updateTypeVariableBinding(TypeVariableBinding previousBinding, TypeVariableBinding updatedBinding)
void	verifyOverrideCompatibility(MethodBinding inheritedMethod, ClassScope scope)

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Binding

computeUniqueKey, initializeDeprecatedAnnotationTagBits, isAnnotationType, isParameter, isPatternVariable, isTaggedRepeatable, isValid, isValidBinding, isVolatile, problemId, setAnnotations

Methods inherited from class java.lang.Object

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

Field Details

modifiers

public int modifiers

selector

public char[] selector

returnType

public TypeBinding returnType

parameters

public TypeBinding[] parameters

receiver

public TypeBinding receiver

thrownExceptions

public ReferenceBinding[] thrownExceptions

declaringClass

public ReferenceBinding declaringClass

typeVariables

public TypeVariableBinding[] typeVariables

tagBits

public long tagBits

extendedTagBits

public int extendedTagBits

typeAnnotations

protected AnnotationBinding[] typeAnnotations

defaultNullness

public int defaultNullness

parameterFlowBits

public byte[] parameterFlowBits

Store flow-related information from declaration annotations (nullness and owning) (incl. applicable default).

PARAM_NONNULL

public static byte PARAM_NONNULL

PARAM_NULLABLE

public static byte PARAM_NULLABLE

PARAM_NULLITY

public static byte PARAM_NULLITY

PARAM_OWNING

public static byte PARAM_OWNING

PARAM_NOTOWNING

public static byte PARAM_NOTOWNING

parameterNames

public char[][] parameterNames

Store parameter names from MethodParameters attribute (incl. applicable default).

Constructor Details

MethodBinding

protected MethodBinding()

MethodBinding

public MethodBinding(int modifiers,
 char[] selector,
 TypeBinding returnType,
 TypeBinding[] parameters,
 ReferenceBinding[] thrownExceptions,
 ReferenceBinding declaringClass)

MethodBinding

public MethodBinding(int modifiers,
 TypeBinding[] parameters,
 ReferenceBinding[] thrownExceptions,
 ReferenceBinding declaringClass)

MethodBinding

public MethodBinding(MethodBinding initialMethodBinding,
 ReferenceBinding declaringClass)

Method Details

flowBitFromAnnotationTagBit

public static byte flowBitFromAnnotationTagBit(long tagBit)

areParameterErasuresEqual

public final boolean areParameterErasuresEqual(MethodBinding method)

areParametersCompatibleWith

public final boolean areParametersCompatibleWith(TypeBinding[] arguments)

areParametersEqual

public final boolean areParametersEqual(MethodBinding method)

areTypeVariableErasuresEqual

public final boolean areTypeVariableErasuresEqual(MethodBinding method)

asRawMethod

public MethodBinding asRawMethod(LookupEnvironment env)

canBeSeenBy

public boolean canBeSeenBy(InvocationSite invocationSite,
 Scope scope)

getVisibleBinding

public MethodBinding getVisibleBinding(TypeBinding receiverType,
 InvocationSite invocationSite,
 Scope scope)

getVisibleBinding

public MethodBinding getVisibleBinding(InvocationSite invocationSite,
 Scope scope)

findPrivilegedBinding

public MethodBinding findPrivilegedBinding(SourceTypeBinding invocationType,
 InvocationSite location)

canBeSeenBy

public final boolean canBeSeenBy(PackageBinding invocationPackage)

canBeSeenBy

public boolean canBeSeenBy(TypeBinding receiverType,
 InvocationSite invocationSite,
 Scope scope)

collectMissingTypes

public List<TypeBinding> collectMissingTypes(List<TypeBinding> missingTypes)

computeSubstitutedMethod

public MethodBinding computeSubstitutedMethod(MethodBinding method,
 LookupEnvironment env)

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Overrides:

computeUniqueKey in class Binding

constantPoolName

public final char[] constantPoolName()

fillInDefaultNonNullness

protected void fillInDefaultNonNullness(AbstractMethodDeclaration sourceMethod,
 boolean needToApplyReturnNonNullDefault,
 org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider needToApplyParameterNonNullDefault)

After method verifier has finished, fill in missing @NonNull specification from the applicable default.

fillInDefaultNonNullness18

protected void fillInDefaultNonNullness18(AbstractMethodDeclaration sourceMethod,
 LookupEnvironment env)

findOriginalInheritedMethod

public MethodBinding findOriginalInheritedMethod(MethodBinding inheritedMethod)

genericSignature

public char[] genericSignature()

<typeParam1 ... typeParamM>(param1 ... paramN)returnType thrownException1 ... thrownExceptionP
 T foo(T t) throws X<T>   --->   (TT;)TT;LX<TT;>;
 void bar(X<T> t)   -->   (LX<TT;>;)V
 <T> void bar(X<T> t)   -->  <T:Ljava.lang.Object;>(LX<TT;>;)V
 

getAccessFlags

public final int getAccessFlags()

getAnnotations

public AnnotationBinding[] getAnnotations()

Overrides:

getAnnotations in class Binding

getAnnotationTagBits

public long getAnnotationTagBits()

Compute the tagbits for standard annotations. For source types, these could require lazily resolving corresponding annotation nodes, in case of forward references.

Overrides:

getAnnotationTagBits in class Binding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.Binding#getAnnotationTagBits()

getDefaultValue

public Object getDefaultValue()

Returns:

the default value for this annotation method or null if there is no default value

getParameterAnnotations

public AnnotationBinding[][] getParameterAnnotations()

Returns:

the annotations for each of the method parameters or null> if there's no parameter or no annotation at all.

getTypeVariable

public TypeVariableBinding getTypeVariable(char[] variableName)

getAllTypeVariables

public TypeVariableBinding[] getAllTypeVariables(boolean isDiamond)

hasSubstitutedParameters

public boolean hasSubstitutedParameters()

Returns true if method got substituted parameter types (see ParameterizedMethodBinding)

hasSubstitutedReturnType

public boolean hasSubstitutedReturnType()

isAbstract

public final boolean isAbstract()

isBridge

public final boolean isBridge()

isConstructor

public final boolean isConstructor()

isCanonicalConstructor

public final boolean isCanonicalConstructor()

isCompactConstructor

public final boolean isCompactConstructor()

isDefault

public final boolean isDefault()

isDefaultAbstract

public final boolean isDefaultAbstract()

isDefaultMethod

public boolean isDefaultMethod()

isDeprecated

public final boolean isDeprecated()

isFinal

public boolean isFinal()

isImplementing

public final boolean isImplementing()

isImplicit

public final boolean isImplicit()

isMain

public final boolean isMain()

isCandindateMain

public final boolean isCandindateMain()

isNative

public final boolean isNative()

isOverriding

public final boolean isOverriding()

isPrivate

public final boolean isPrivate()

isOrEnclosedByPrivateType

public final boolean isOrEnclosedByPrivateType()

isProtected

public final boolean isProtected()

isPublic

public final boolean isPublic()

isStatic

public final boolean isStatic()

isStrictfp

public final boolean isStrictfp()

isSynchronized

public final boolean isSynchronized()

isSynthetic

public final boolean isSynthetic()

isUsed

public final boolean isUsed()

isVarargs

public boolean isVarargs()

isParameterizedGeneric

public boolean isParameterizedGeneric()

isPolymorphic

public boolean isPolymorphic()

isViewedAsDeprecated

public final boolean isViewedAsDeprecated()

kind

public final int kind()

Specified by:

kind in class Binding

original

public MethodBinding original()

Returns the original method (as opposed to parameterized/polymorphic instances)

shallowOriginal

public MethodBinding shallowOriginal()

Strips one level of parameterization, so if both class and method are parameterized, leave the class parameters in place.

genericMethod

public MethodBinding genericMethod()

readableName

public char[] readableName()

Specified by:

readableName in class Binding

getTypeAnnotations

public final AnnotationBinding[] getTypeAnnotations()

setTypeAnnotations

public void setTypeAnnotations(AnnotationBinding[] annotations)

setAnnotations

public void setAnnotations(AnnotationBinding[] annotations,
 boolean forceStore)

Overrides:

setAnnotations in class Binding

setAnnotations

public void setAnnotations(AnnotationBinding[] annotations,
 AnnotationBinding[][] parameterAnnotations,
 Object defaultValue,
 LookupEnvironment optionalEnv)

setDefaultValue

public void setDefaultValue(Object defaultValue)

setParameterAnnotations

public void setParameterAnnotations(AnnotationBinding[][] parameterAnnotations)

setSelector

protected final void setSelector(char[] selector)

shortReadableName

public char[] shortReadableName()

Overrides:

shortReadableName in class Binding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.Binding#shortReadableName()

signature

public final char[] signature()

computeSignature

public final char[] computeSignature(ClassFile classFile)

signature

public char[] signature(ClassFile classFile)

sourceEnd

public final int sourceEnd()

sourceMethod

public AbstractMethodDeclaration sourceMethod()

sourceLambda

public LambdaExpression sourceLambda()

sourceRecordComponent

public RecordComponent sourceRecordComponent()

sourceStart

public final int sourceStart()

alwaysNeedsAccessMethod

public boolean alwaysNeedsAccessMethod()

Subtypes can override this to return true if an access method should be used when referring to this method binding. Currently used for AspectJ's inter-type method declarations.

getAccessMethod

public MethodBinding getAccessMethod(boolean staticReference)

This will only be called if alwaysNeedsAccessMethod() returns true. In that case it should return the access method to be used.

tiebreakMethod

public MethodBinding tiebreakMethod()

Returns the method to use during tiebreak (usually the method itself). For generic method invocations, tiebreak needs to use generic method with erasure substitutes.

toString

public String toString()

Overrides:

toString in class Object

typeVariables

public TypeVariableBinding[] typeVariables()

hasNonNullDefaultForReturnType

public boolean hasNonNullDefaultForReturnType(AbstractMethodDeclaration srcMethod)

hasNonNullDefaultForParameter

public org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider hasNonNullDefaultForParameter(AbstractMethodDeclaration srcMethod)

redeclaresPublicObjectMethod

public boolean redeclaresPublicObjectMethod(Scope scope)

isVoidMethod

public boolean isVoidMethod()

doesParameterLengthMatch

public boolean doesParameterLengthMatch(int suggestedParameterLength)

updateTypeVariableBinding

public void updateTypeVariableBinding(TypeVariableBinding previousBinding,
 TypeVariableBinding updatedBinding)

hasPolymorphicSignature

public boolean hasPolymorphicSignature(Scope scope)

Identifies whether the method has Polymorphic signature based on jls-15.12.3
Definition reproduced here.

A method is signature polymorphic if all of the following are true:

• It is declared in the java.lang.invoke.MethodHandle class or the java.lang.invoke.VarHandle class.
• It has a single variable arity parameter (§8.4.1) whose declared type is Object[].
• It is native.

Returns:

true if the method has Polymorphic Signature

isClosingMethod

public boolean isClosingMethod()

ownsParameter

public boolean ownsParameter(int i)

notownsParameter

public boolean notownsParameter(int i)

getParameterNullness

public Boolean getParameterNullness(int idx)

Returns:

TRUE means @NonNull declared, FALSE means @Nullable declared, null means nothing declared

verifyOverrideCompatibility

public void verifyOverrideCompatibility(MethodBinding inheritedMethod,
 ClassScope scope)

isWellknownMethod

public boolean isWellknownMethod(char[][] compoundClassName,
 char[] wellKnownSelector)

isWellknownMethod

public boolean isWellknownMethod(int typeId,
 char[] wellKnownSelector)