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

Class ParameterizedGenericMethodBinding

java.lang.Object

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

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

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

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

All Implemented Interfaces:

Substitution

Direct Known Subclasses:

PolyParameterizedGenericMethodBinding

public class ParameterizedGenericMethodBinding
extends ParameterizedMethodBinding
implements Substitution

Binding denoting a generic method after type parameter substitutions got performed. On parameterized type bindings, all methods got substituted, regardless whether their signature did involve generics or not, so as to get the proper declaringClass for these methods.

Nested Class Summary

Nested classes/interfaces inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Substitution

Substitution.NullSubstitution

Field Summary

Fields

Modifier and Type	Field and Description
protected LookupEnvironment	environment
boolean	inferredReturnType
boolean	inferredWithUncheckedConversion
boolean	isRaw
TypeBinding	targetType
TypeBinding[]	typeArguments
boolean	wasInferred

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

originalMethod

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

declaringClass, defaultNullness, modifiers, parameterNames, parameterNonNullness, parameters, receiver, returnType, selector, tagBits, thrownExceptions, typeAnnotations, 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_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_PLAIN_PACKAGES, NO_REFERENCE_TYPES, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, NULL_UNSPECIFIED_BY_DEFAULT, NullnessDefaultMASK, PACKAGE, PARAMETERIZED_TYPE, POLY_TYPE, RAW_TYPE, TYPE, TYPE_PARAMETER, TYPE_USE, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

Constructor and Description
ParameterizedGenericMethodBinding(MethodBinding originalMethod, RawTypeBinding rawType, LookupEnvironment environment) Create raw generic method for raw type (double substitution from type vars with raw type arguments, and erasure of method variables) Only invoked for non-static generic methods of raw type
ParameterizedGenericMethodBinding(MethodBinding originalMethod, TypeBinding[] typeArguments, LookupEnvironment environment, boolean inferredWithUncheckConversion, boolean hasReturnProblem, TypeBinding targetType) Create method of parameterized type, substituting original parameters with type arguments.

Method Summary

Modifier and Type	Method and Description
boolean	alwaysNeedsAccessMethod() Subtypes can override this to return true if an access method should be used when referring to this method binding.
static MethodBinding	computeCompatibleMethod(MethodBinding originalMethod, TypeBinding[] arguments, Scope scope, InvocationSite invocationSite) Perform inference of generic method type parameters and/or expected type
static MethodBinding	computeCompatibleMethod18(MethodBinding originalMethod, TypeBinding[] arguments, Scope scope, InvocationSite invocationSite)
char[]	computeUniqueKey(boolean isLeaf)
LookupEnvironment	environment() Returns the lookup environment
MethodBinding	genericMethod()
MethodBinding	getAccessMethod(boolean staticReference) This will only be called if alwaysNeedsAccessMethod() returns true.
boolean	hasSubstitutedParameters() Returns true if some parameters got substituted.
boolean	hasSubstitutedReturnType() Returns true if the return type got substituted.
boolean	isParameterizedGeneric()
boolean	isRawSubstitution() Returns true for raw substitution
TypeBinding	substitute(TypeVariableBinding originalVariable) Returns the type substitute for a given type variable, or itself if no substitution got performed.
MethodBinding	tiebreakMethod() Returns the method to use during tiebreak (usually the method itself).

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

canBeSeenBy, instantiateGetClass, original, shallowOriginal, sourceMethod

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

areParameterErasuresEqual, areParametersCompatibleWith, areParametersEqual, areTypeVariableErasuresEqual, asRawMethod, canBeSeenBy, canBeSeenBy, collectMissingTypes, computeSubstitutedMethod, constantPoolName, doesParameterLengthMatch, fillInDefaultNonNullness, fillInDefaultNonNullness18, findOriginalInheritedMethod, findPrivilegedBinding, genericSignature, getAccessFlags, getAllTypeVariables, getAnnotations, getAnnotationTagBits, getDefaultValue, getParameterAnnotations, getTypeAnnotations, getTypeVariable, getVisibleBinding, getVisibleBinding, hasNonNullDefaultForParameter, hasNonNullDefaultForReturnType, isAbstract, isBridge, isConstructor, isDefault, isDefaultAbstract, isDefaultMethod, isDeprecated, isFinal, isImplementing, isMain, isNative, isOrEnclosedByPrivateType, isOverriding, isPolymorphic, isPrivate, isProtected, isPublic, isStatic, isStrictfp, isSynchronized, isSynthetic, isUsed, isVarargs, isViewedAsDeprecated, isVoidMethod, kind, readableName, redeclaresPublicObjectMethod, setAnnotations, setAnnotations, setDefaultValue, setParameterAnnotations, setSelector, setTypeAnnotations, shortReadableName, signature, signature, sourceEnd, sourceLambda, sourceStart, toString, typeVariables, updateTypeVariableBinding

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

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

Methods inherited from class java.lang.Object

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

Field Detail

typeArguments

public TypeBinding[] typeArguments

environment

protected LookupEnvironment environment

inferredReturnType

public boolean inferredReturnType

wasInferred

public boolean wasInferred

isRaw

public boolean isRaw

inferredWithUncheckedConversion

public boolean inferredWithUncheckedConversion

targetType

public TypeBinding targetType

Constructor Detail

ParameterizedGenericMethodBinding

public ParameterizedGenericMethodBinding(MethodBinding originalMethod,
                                         RawTypeBinding rawType,
                                         LookupEnvironment environment)

Create raw generic method for raw type (double substitution from type vars with raw type arguments, and erasure of method variables) Only invoked for non-static generic methods of raw type

ParameterizedGenericMethodBinding

public ParameterizedGenericMethodBinding(MethodBinding originalMethod,
                                         TypeBinding[] typeArguments,
                                         LookupEnvironment environment,
                                         boolean inferredWithUncheckConversion,
                                         boolean hasReturnProblem,
                                         TypeBinding targetType)

Create method of parameterized type, substituting original parameters with type arguments.

Method Detail

computeCompatibleMethod

public static MethodBinding computeCompatibleMethod(MethodBinding originalMethod,
                                                    TypeBinding[] arguments,
                                                    Scope scope,
                                                    InvocationSite invocationSite)

Perform inference of generic method type parameters and/or expected type

In 1.8+ if the expected type is not yet available due to this call being an argument to an outer call which is not overload-resolved yet, the returned method binding will be a PolyParameterizedGenericMethodBinding.

computeCompatibleMethod18

public static MethodBinding computeCompatibleMethod18(MethodBinding originalMethod,
                                                      TypeBinding[] arguments,
                                                      Scope scope,
                                                      InvocationSite invocationSite)

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Overrides:

computeUniqueKey in class MethodBinding

environment

public LookupEnvironment environment()

Description copied from interface: Substitution

Returns the lookup environment

Specified by:

environment in interface Substitution

See Also:

Substitution.environment()

hasSubstitutedParameters

public boolean hasSubstitutedParameters()

Returns true if some parameters got substituted. NOTE: generic method invocation delegates to its declaring method (could be a parameterized one)

Overrides:

hasSubstitutedParameters in class ParameterizedMethodBinding

hasSubstitutedReturnType

public boolean hasSubstitutedReturnType()

Returns true if the return type got substituted. NOTE: generic method invocation delegates to its declaring method (could be a parameterized one)

Overrides:

hasSubstitutedReturnType in class ParameterizedMethodBinding

isParameterizedGeneric

public boolean isParameterizedGeneric()

Overrides:

isParameterizedGeneric in class MethodBinding

isRawSubstitution

public boolean isRawSubstitution()

Description copied from interface: Substitution

Returns true for raw substitution

Specified by:

isRawSubstitution in interface Substitution

See Also:

Substitution.isRawSubstitution()

substitute

public TypeBinding substitute(TypeVariableBinding originalVariable)

Description copied from interface: Substitution

Returns the type substitute for a given type variable, or itself if no substitution got performed.

Specified by:

substitute in interface Substitution

See Also:

Substitution.substitute(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding)

tiebreakMethod

public MethodBinding tiebreakMethod()

Description copied from class: MethodBinding

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

Overrides:

tiebreakMethod in class MethodBinding

See Also:

MethodBinding.tiebreakMethod()

genericMethod

public MethodBinding genericMethod()

Overrides:

genericMethod in class MethodBinding

alwaysNeedsAccessMethod

public boolean alwaysNeedsAccessMethod()

Description copied from class: MethodBinding

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.

Overrides:

alwaysNeedsAccessMethod in class ParameterizedMethodBinding

getAccessMethod

public MethodBinding getAccessMethod(boolean staticReference)

Description copied from class: MethodBinding

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

Overrides:

getAccessMethod in class ParameterizedMethodBinding