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

Class TypeVariableBinding

java.lang.Object

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

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

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

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

Direct Known Subclasses:

CaptureBinding, InferenceVariable

public class TypeVariableBinding
extends ReferenceBinding

Binding for a type parameter, held by source/binary type or method.

Field Summary

Fields

Modifier and Type	Field	Description
Binding	declaringElement
TypeBinding	firstBound	Denote the first explicit (binding) bound amongst the supertypes (from declaration in source) If no superclass was specified, then it denotes the first superinterface, or null if none was specified.
char[]	genericTypeSignature
int	rank
ReferenceBinding	superclass
ReferenceBinding[]	superInterfaces

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

compoundName, fPackage, LUB_GENERIC, modifiers, samProblemBinding, singleAbstractMethod, sourceName

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

BOOLEAN, BYTE, CHAR, DOUBLE, extendedTagBits, FLOAT, id, INT, LONG, NULL, SHORT, tagBits, TYPE_USE_BINDING, typeAnnotations, VOID

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
	TypeVariableBinding(char[] sourceName, Binding declaringElement, int rank, LookupEnvironment environment)
protected	TypeVariableBinding(char[] sourceName, LookupEnvironment environment)
	TypeVariableBinding(TypeVariableBinding prototype)

Method Summary

Modifier and Type	Method	Description
boolean	acceptsNonNullDefault()	Used to implement this sentence from o.e.j.annotation.DefaultLocation: "Wildcards and the use of type variables are always excluded from NonNullByDefault."
TypeBinding[]	allUpperBounds()
String	annotatedDebugName()
protected void	appendNullAnnotation(StringBuilder nameBuffer, CompilerOptions options)
TypeConstants.BoundCheckStatus	boundCheck(Substitution substitution, TypeBinding argumentType, Scope scope, ASTNode location)	Returns true if the argument type satisfies all bounds of the type parameter
int	boundsCount()
boolean	canBeInstantiated()	Answer true if the receiver can be instantiated
TypeBinding	clone(TypeBinding enclosingType)	Virtual copy constructor: a copy is made of the receiver's entire instance state and then suitably parameterized by the arguments to the clone operation as seen fit by each type.
void	collectSubstitutes(Scope scope, TypeBinding actualType, InferenceContext inferenceContext, int constraint)	Collect the substitutes into a map for certain type variables inside the receiver type e.g.
TypeBinding	combineTypeAnnotations(TypeBinding substitute)
char[]	computeUniqueKey(boolean isLeaf)	p.X<T extends Y & I, U extends Y> -> Lp/X<TT;TU;>;
char[]	constantPoolName()	Answer the receiver's constant pool name.
String	debugName()
ReferenceBinding	downwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform a downwards type projection as per JLS 4.10.5
boolean	enterRecursiveFunction()	Call this before descending into type details to prevent infinite recursion.
boolean	enterRecursiveProjectionFunction()
TypeBinding	erasure()
void	evaluateNullAnnotations(Scope scope, TypeParameter parameter)
void	exitRecursiveFunction()	Exit the context of a potentially recursive function.
void	exitRecursiveProjectionFunction()
char[]	genericSignature()	T::Ljava/util/Map;:Ljava/io/Serializable; T:LY<TT;>
char[]	genericTypeSignature()	T::Ljava/util/Map;:Ljava/io/Serializable; T:LY<TT;>
protected TypeBinding[]	getDerivedTypesForDeferredInitialization()
boolean	hasTypeBit(int bit)	Answer an additional bit characterizing this type, like TypeIds.BitAutoCloseable.
boolean	isErasureBoundTo(TypeBinding type)	Returns true if the type variable is directly bound to a given type
boolean	isFreeTypeVariable()
boolean	isHierarchyConnected()	Returns true if the type hierarchy is connected
boolean	isInterchangeableWith(TypeVariableBinding otherVariable, Substitution substitute)	Returns true if the 2 variables are playing exact same role: they have the same bounds, providing one is substituted with the other: <T1 extends List<T1>> is interchangeable with <T2 extends List<T2>>.
boolean	isProperType(boolean admitCapture18)	JLS8 Sect 18.1.1
boolean	isSubtypeOf(TypeBinding other, boolean simulatingBugJDK8026527)
boolean	isTypeVariable()	Returns true if the type was declared as a type variable
int	kind()
boolean	mentionsAny(TypeBinding[] parameters, int idx)	Does this type mention any of the given type parameters, except the one at position 'idx'?
char[]	nullAnnotatedReadableName(CompilerOptions options, boolean shortNames)	Answer a readable name (for error reporting) that includes nullness type annotations.
TypeBinding[]	otherUpperBounds()
char[]	readableName()	Answer the receiver's signature.
TypeBinding	setFirstBound(TypeBinding firstBound)
ReferenceBinding	setSuperClass(ReferenceBinding superclass)
ReferenceBinding[]	setSuperInterfaces(ReferenceBinding[] superInterfaces)
void	setTypeAnnotations(AnnotationBinding[] annotations, boolean evalNullAnnotations)
char[]	shortReadableName()
ReferenceBinding	superclass()
ReferenceBinding[]	superInterfaces()
String	toString()
TypeBinding	unannotated()	Return this type minus its type annotations
long	updateTagBits()	Refresh some tagBits from details into the main type.
TypeBinding	upperBound()	Upper bound doesn't perform erasure
ReferenceBinding	upwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform an upwards type projection as per JLS 4.10.5
TypeBinding	withoutToplevelNullAnnotation()	Return this type minus its toplevel null annotations.

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

applyCloseableClassWhitelists, applyCloseableInterfaceWhitelists, availableFields, availableMethods, binarySearch, binarySearch, canBeSeenBy, canBeSeenBy, canBeSeenBy, computeGenericTypeSignature, computeId, computeId, depth, detectAnnotationCycle, detectWrapperResource, enclosingTypeAt, enumConstantCount, fieldCount, fields, getAccessFlags, getAnnotations, getAnnotationTagBits, getComponent, getEnclosingInstancesSlotSize, getExactConstructor, getExactMethod, getField, getField, getFileName, getInterfaceAbstractContracts, getMemberType, getMethods, getMethods, getOuterLocalVariablesSlotSize, getPackage, getRecordComponent, getRecordComponentAccessor, getSingleAbstractMethod, getTypeVariable, hasEnclosingInstanceContext, hashCode, hasHierarchyCheckStarted, hasIncompatibleSuperType, hasMemberTypes, hasMethodWithNumArgs, hasNullBit, hasRestrictedAccess, implementsInterface, innerCanBeSeenBy, innerCanBeSeenBy, isAbstract, isAnnotationType, isBinaryBinding, isClass, isCompatibleWith, isConsistentIntersection, isDefault, isDeprecated, isEnum, isFieldInitializationFinished, isFinal, isFunctionalInterface, isHierarchyBeingActivelyConnected, isHierarchyBeingConnected, isImplicitType, isInPreconstructorContext, isInterface, isNestmateOf, isNonSealed, isOrEnclosedByPrivateType, isPrivate, isProtected, isPublic, isSealed, isStatic, isStrictfp, isSubTypeOfRTL, isSuperclassOf, isThrowable, isUncheckedException, isUsed, isViewedAsDeprecated, memberTypes, methods, module, outermostEnclosingType, permittedTypes, qualifiedSourceName, readableName, retrieveAnnotationHolder, setAnnotations, setContainerAnnotationType, setHierarchyCheckDone, shortReadableName, signature, sortFields, sortMethods, sourceName, syntheticEnclosingInstanceTypes, tagAsHavingDefectiveContainerType, unResolvedComponents, unResolvedFields

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

actualType, capture, closestMatch, collectMissingTypes, components, containerAnnotationType, dimensions, enclosingMethod, enclosingType, equalsEquals, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, getErasureCompatibleType, getIntersectingTypes, getTypeAnnotations, hasNullTypeAnnotations, hasTypeAnnotations, hasValueBasedTypeAnnotation, isAnonymousType, isArrayType, isBaseType, isBoundParameterizedType, isBoxedPrimitiveType, isBoxingCompatibleWith, isCapture, isCompatibleWith, isEquivalentTo, isFunctionalType, isGenericType, isHierarchyInconsistent, isIntersectionType, isIntersectionType18, isLocalType, isMemberType, isNestedType, isNonDenotable, isNumericType, isParameterizedType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isPolyType, isPotentiallyCompatibleWith, isPrimitiveOrBoxedPrimitiveType, isPrimitiveType, isProvablyDistinct, isRawType, isReadyForAnnotations, isRecord, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, prototype, qualifiedPackageName, signableName, sIsMoreSpecific, swapUnresolved, syntheticOuterLocalVariables, syntheticTypeVariablesMentioned, typeVariables, uncapture, wellKnownBaseType, wellKnownType

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

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

Methods inherited from class java.lang.Object

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

Field Details

declaringElement

public Binding declaringElement

rank

public int rank

firstBound

public TypeBinding firstBound

Denote the first explicit (binding) bound amongst the supertypes (from declaration in source) If no superclass was specified, then it denotes the first superinterface, or null if none was specified.

superclass

public ReferenceBinding superclass

superInterfaces

public ReferenceBinding[] superInterfaces

genericTypeSignature

public char[] genericTypeSignature

Constructor Details

TypeVariableBinding

public TypeVariableBinding(char[] sourceName,
 Binding declaringElement,
 int rank,
 LookupEnvironment environment)

TypeVariableBinding

protected TypeVariableBinding(char[] sourceName,
 LookupEnvironment environment)

TypeVariableBinding

public TypeVariableBinding(TypeVariableBinding prototype)

Method Details

boundCheck

public TypeConstants.BoundCheckStatus boundCheck(Substitution substitution,
 TypeBinding argumentType,
 Scope scope,
 ASTNode location)

Returns true if the argument type satisfies all bounds of the type parameter

Parameters:

location - if non-null this may be used for reporting errors relating to null type annotations (if enabled)

boundsCount

public int boundsCount()

canBeInstantiated

public boolean canBeInstantiated()

Description copied from class: ReferenceBinding

Answer true if the receiver can be instantiated

Overrides:

canBeInstantiated in class ReferenceBinding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding#canBeInstantiated()

collectSubstitutes

public void collectSubstitutes(Scope scope,
 TypeBinding actualType,
 InferenceContext inferenceContext,
 int constraint)

Collect the substitutes into a map for certain type variables inside the receiver type e.g. Collection<T>.collectSubstitutes(Collection<List<X>>, Map) will populate Map with: T --> List<X>

 Constraints:
   A << F   corresponds to:   F.collectSubstitutes(..., A, ..., CONSTRAINT_EXTENDS (1))
   A = F    corresponds to:   F.collectSubstitutes(..., A, ..., CONSTRAINT_EQUAL (0))
   A >> F   corresponds to:   F.collectSubstitutes(..., A, ..., CONSTRAINT_SUPER (2))
 

Overrides:

collectSubstitutes in class TypeBinding

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Description copied from class: ReferenceBinding

p.X<T extends Y & I, U extends Y> -> Lp/X<TT;TU;>;

Overrides:

computeUniqueKey in class ReferenceBinding

constantPoolName

public char[] constantPoolName()

Description copied from class: ReferenceBinding

Answer the receiver's constant pool name. NOTE: This method should only be used during/after code gen.

Overrides:

constantPoolName in class ReferenceBinding

clone

public TypeBinding clone(TypeBinding enclosingType)

Description copied from class: TypeBinding

Virtual copy constructor: a copy is made of the receiver's entire instance state and then suitably parameterized by the arguments to the clone operation as seen fit by each type. Parameters may not make sense for every type in the hierarchy, in which case they are silently ignored. A type may choose to retain a copy of the prototype for reference.

Overrides:

clone in class TypeBinding

annotatedDebugName

public String annotatedDebugName()

Overrides:

annotatedDebugName in class TypeBinding

debugName

public String debugName()

Overrides:

debugName in class ReferenceBinding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.TypeBinding#debugName()

erasure

public TypeBinding erasure()

Overrides:

erasure in class TypeBinding

genericSignature

public char[] genericSignature()

 T::Ljava/util/Map;:Ljava/io/Serializable;
 T:LY<TT;>
 

genericTypeSignature

public char[] genericTypeSignature()

 T::Ljava/util/Map;:Ljava/io/Serializable;
 T:LY<TT;>
 

Overrides:

genericTypeSignature in class TypeBinding

hasTypeBit

public boolean hasTypeBit(int bit)

Description copied from class: TypeBinding

Answer an additional bit characterizing this type, like TypeIds.BitAutoCloseable.

Overrides:

hasTypeBit in class TypeBinding

isErasureBoundTo

public boolean isErasureBoundTo(TypeBinding type)

Returns true if the type variable is directly bound to a given type

isHierarchyConnected

public boolean isHierarchyConnected()

Description copied from class: ReferenceBinding

Returns true if the type hierarchy is connected

Overrides:

isHierarchyConnected in class ReferenceBinding

isInterchangeableWith

public boolean isInterchangeableWith(TypeVariableBinding otherVariable,
 Substitution substitute)

Returns true if the 2 variables are playing exact same role: they have the same bounds, providing one is substituted with the other: <T1 extends List<T1>> is interchangeable with <T2 extends List<T2>>.

isSubtypeOf

public boolean isSubtypeOf(TypeBinding other,
 boolean simulatingBugJDK8026527)

Overrides:

isSubtypeOf in class ReferenceBinding

enterRecursiveFunction

public boolean enterRecursiveFunction()

Description copied from class: TypeBinding

Call this before descending into type details to prevent infinite recursion.

Overrides:

enterRecursiveFunction in class TypeBinding

Returns:

true if a recursion was not already started.

exitRecursiveFunction

public void exitRecursiveFunction()

Description copied from class: TypeBinding

Exit the context of a potentially recursive function.

Overrides:

exitRecursiveFunction in class TypeBinding

enterRecursiveProjectionFunction

public boolean enterRecursiveProjectionFunction()

exitRecursiveProjectionFunction

public void exitRecursiveProjectionFunction()

isProperType

public boolean isProperType(boolean admitCapture18)

Description copied from class: TypeBinding

JLS8 Sect 18.1.1

Overrides:

isProperType in class ReferenceBinding

Parameters:

admitCapture18 - request if CaptureBinding18 shuld be considered as a proper type. If unsure say 'true', only in Scope.greaterLowerBound(TypeBinding[], Scope, LookupEnvironment) CaptureBinding18 has to be excluded to prevent an NPE on a branch that heuristically tries to avoid inconsistent intersections.

isTypeVariable

public boolean isTypeVariable()

Returns true if the type was declared as a type variable

Overrides:

isTypeVariable in class TypeBinding

kind

public int kind()

Overrides:

kind in class TypeBinding

mentionsAny

public boolean mentionsAny(TypeBinding[] parameters,
 int idx)

Description copied from class: TypeBinding

Does this type mention any of the given type parameters, except the one at position 'idx'?

Overrides:

mentionsAny in class TypeBinding

otherUpperBounds

public TypeBinding[] otherUpperBounds()

readableName

public char[] readableName()

Description copied from class: ReferenceBinding

Answer the receiver's signature. NOTE: This method should only be used during/after code gen.

Overrides:

readableName in class ReferenceBinding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding#readableName()

setTypeAnnotations

public void setTypeAnnotations(AnnotationBinding[] annotations,
 boolean evalNullAnnotations)

Overrides:

setTypeAnnotations in class TypeBinding

shortReadableName

public char[] shortReadableName()

Overrides:

shortReadableName in class ReferenceBinding

See Also:

• invalid reference

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

superclass

public ReferenceBinding superclass()

Overrides:

superclass in class ReferenceBinding

superInterfaces

public ReferenceBinding[] superInterfaces()

Overrides:

superInterfaces in class ReferenceBinding

toString

public String toString()

Overrides:

toString in class Object

See Also:

• Object.toString()

nullAnnotatedReadableName

public char[] nullAnnotatedReadableName(CompilerOptions options,
 boolean shortNames)

Description copied from class: TypeBinding

Answer a readable name (for error reporting) that includes nullness type annotations.

Overrides:

nullAnnotatedReadableName in class ReferenceBinding

See Also:

• invalid reference

  org.eclipse.jdt.internal.compiler.lookup.TypeBinding#nullAnnotatedReadableName(CompilerOptions,boolean)

appendNullAnnotation

protected void appendNullAnnotation(StringBuilder nameBuffer,
 CompilerOptions options)

Overrides:

appendNullAnnotation in class ReferenceBinding

unannotated

public TypeBinding unannotated()

Description copied from class: TypeBinding

Return this type minus its type annotations

Overrides:

unannotated in class TypeBinding

withoutToplevelNullAnnotation

public TypeBinding withoutToplevelNullAnnotation()

Description copied from class: TypeBinding

Return this type minus its toplevel null annotations. Any annotations on type arguments or bounds are retained.

Overrides:

withoutToplevelNullAnnotation in class TypeBinding

upperBound

public TypeBinding upperBound()

Upper bound doesn't perform erasure

allUpperBounds

public TypeBinding[] allUpperBounds()

evaluateNullAnnotations

public void evaluateNullAnnotations(Scope scope,
 TypeParameter parameter)

setFirstBound

public TypeBinding setFirstBound(TypeBinding firstBound)

setSuperClass

public ReferenceBinding setSuperClass(ReferenceBinding superclass)

setSuperInterfaces

public ReferenceBinding[] setSuperInterfaces(ReferenceBinding[] superInterfaces)

getDerivedTypesForDeferredInitialization

protected TypeBinding[] getDerivedTypesForDeferredInitialization()

combineTypeAnnotations

public TypeBinding combineTypeAnnotations(TypeBinding substitute)

acceptsNonNullDefault

public boolean acceptsNonNullDefault()

Description copied from class: TypeBinding

Used to implement this sentence from o.e.j.annotation.DefaultLocation: "Wildcards and the use of type variables are always excluded from NonNullByDefault."

Overrides:

acceptsNonNullDefault in class ReferenceBinding

updateTagBits

public long updateTagBits()

Description copied from class: TypeBinding

Refresh some tagBits from details into the main type. Currently handled: TagBits.HasNullTypeAnnotation

Overrides:

updateTagBits in class TypeBinding

isFreeTypeVariable

public boolean isFreeTypeVariable()

Overrides:

isFreeTypeVariable in class TypeBinding

upwardsProjection

public ReferenceBinding upwardsProjection(Scope scope,
 TypeBinding[] mentionedTypeVariables)

Description copied from class: ReferenceBinding

Perform an upwards type projection as per JLS 4.10.5

Overrides:

upwardsProjection in class ReferenceBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

Returns:

Upwards type projection of 'this', or null if downwards projection is undefined

downwardsProjection

public ReferenceBinding downwardsProjection(Scope scope,
 TypeBinding[] mentionedTypeVariables)

Description copied from class: ReferenceBinding

Perform a downwards type projection as per JLS 4.10.5

Overrides:

downwardsProjection in class ReferenceBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

Returns:

Downwards type projection of 'this', or null if downwards projection is undefined