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

java.lang.Object
  extended by org.eclipse.jdt.internal.compiler.lookup.Binding
      extended by org.eclipse.jdt.internal.compiler.lookup.TypeBinding
          extended by org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
              extended by 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
 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_PARAMETERS, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, PACKAGE, PARAMETERIZED_TYPE, RAW_TYPE, TYPE, TYPE_PARAMETER, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE
 
Constructor Summary
TypeVariableBinding(char[] sourceName, Binding declaringElement, int rank, LookupEnvironment environment)
           
 
Method Summary
 int boundCheck(Substitution substitution, TypeBinding argumentType)
          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 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
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, 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)
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

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



Copyright © 2012. All Rights Reserved.