org.eclipse.jdt.internal.compiler.lookup

Class TypeVariableBinding

java.lang.Object

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

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

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

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

Direct Known Subclasses:

CaptureBinding

public class TypeVariableBinding
extends ReferenceBinding

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

Field Summary

Fields

Modifier and Type	Field and 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.eclipse.jdt.internal.compiler.lookup.ReferenceBinding

compoundName, fPackage, LUB_GENERIC, modifiers, sourceName

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

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

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

ANY_EXCEPTION, ARRAY_TYPE, BASE_TYPE, FIELD, GENERIC_TYPE, IMPORT, INTERSECTION_TYPE, LOCAL, METHOD, NO_ANNOTATIONS, NO_ELEMENT_VALUE_PAIRS, NO_EXCEPTIONS, NO_FIELDS, NO_MEMBER_TYPES, NO_METHODS, NO_NULL_DEFAULT, NO_PARAMETERS, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, NONNULL_BY_DEFAULT, NULL_UNSPECIFIED_BY_DEFAULT, PACKAGE, PARAMETERIZED_TYPE, RAW_TYPE, TYPE, TYPE_PARAMETER, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

Constructor and Description
TypeVariableBinding(char[] sourceName, Binding declaringElement, int rank, LookupEnvironment environment)

Method Summary

Methods

Modifier and Type	Method and Description
int	boundCheck(Substitution substitution, TypeBinding argumentType, Scope scope) 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
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.
char[]	computeUniqueKey(boolean isLeaf) p.X {} -> Lp/X;
char[]	constantPoolName() Answer the receiver's constant pool name.
String	debugName()
TypeBinding	erasure()
char[]	genericSignature() T::Ljava/util/Map;:Ljava/io/Serializable; T:LY
char[]	genericTypeSignature() T::Ljava/util/Map;:Ljava/io/Serializable; T:LY
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	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: > is interchangeable with >.
boolean	isTypeVariable() Returns true if the type was declared as a type variable
int	kind()
TypeBinding[]	otherUpperBounds()
char[]	readableName() Answer the receiver's signature.
char[]	shortReadableName()
ReferenceBinding	superclass()
ReferenceBinding[]	superInterfaces()
String	toString()
TypeBinding	upperBound() Upper bound doesn't perform erasure

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

applyCloseableWhitelists, availableFields, availableMethods, binarySearch, binarySearch, canBeSeenBy, canBeSeenBy, canBeSeenBy, computeGenericTypeSignature, computeId, depth, detectAnnotationCycle, enclosingTypeAt, enumConstantCount, fieldCount, fields, getAccessFlags, getAnnotations, getAnnotationTagBits, getEnclosingInstancesSlotSize, getExactConstructor, getExactMethod, getField, getFileName, getMemberType, getMethods, getMethods, getOuterLocalVariablesSlotSize, getPackage, getTypeVariable, hashCode, hasIncompatibleSuperType, hasMemberTypes, hasRestrictedAccess, implementsInterface, isAbstract, isAnnotationType, isBinaryBinding, isClass, isCompatibleWith, isDefault, isDeprecated, isEnum, isFinal, isHierarchyBeingActivelyConnected, isHierarchyBeingConnected, isInterface, isOrEnclosedByPrivateType, isPrivate, isProtected, isPublic, isStatic, isStrictfp, isSuperclassOf, isThrowable, isUncheckedException, isUsed, isViewedAsDeprecated, memberTypes, methods, outermostEnclosingType, qualifiedSourceName, retrieveAnnotationHolder, setAnnotations, signature, sortFields, sortMethods, sourceName, syntheticEnclosingInstanceTypes, syntheticOuterLocalVariables, unResolvedFields

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

capture, closestMatch, collectMissingTypes, dimensions, enclosingType, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, getErasureCompatibleType, isAnonymousType, isArrayType, isBaseType, isBoundParameterizedType, isCapture, isCompatibleWith, isEquivalentTo, isGenericType, isHierarchyInconsistent, isIntersectionType, isLocalType, isMemberType, isNestedType, isNumericType, isParameterizedType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isProvablyDistinct, isRawType, isReifiable, isTypeArgumentContainedBy, isUnboundWildcard, isWildcard, leafComponentType, needsUncheckedConversion, original, qualifiedPackageName, swapUnresolved, typeVariables, wellKnownType

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

computeUniqueKey, initializeDeprecatedAnnotationTagBits, isParameter, isValidBinding, isVolatile, problemId

Methods inherited from class java.lang.Object

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

Field Detail

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 Detail

TypeVariableBinding

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

Method Detail

boundCheck

public int boundCheck(Substitution substitution,
             TypeBinding argumentType,
             Scope scope)

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

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:

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.collectSubstitutes(Collection>, Map), will populate Map with: T --> List 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 {} -> Lp/X;

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

debugName

public String debugName()

Overrides:

debugName in class ReferenceBinding

See Also:

TypeBinding.debugName()

erasure

public TypeBinding erasure()

Overrides:

erasure in class TypeBinding

genericSignature

public char[] genericSignature()

T::Ljava/util/Map;:Ljava/io/Serializable; T:LY

genericTypeSignature

public char[] genericTypeSignature()

T::Ljava/util/Map;:Ljava/io/Serializable; T:LY

Overrides:

genericTypeSignature in class TypeBinding

hasTypeBit

public boolean hasTypeBit(int bit)

Description copied from class: ReferenceBinding

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

Specified by:

hasTypeBit in class ReferenceBinding

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: > is interchangeable with >.

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

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:

ReferenceBinding.readableName()

shortReadableName

public char[] shortReadableName()

Overrides:

shortReadableName in class ReferenceBinding

See Also:

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()

upperBound

public TypeBinding upperBound()

Upper bound doesn't perform erasure