|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.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
public class TypeVariableBinding
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 |
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: |
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.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 |
|---|
public Binding declaringElement
public int rank
public TypeBinding firstBound
public ReferenceBinding superclass
public ReferenceBinding[] superInterfaces
public char[] genericTypeSignature
| Constructor Detail |
|---|
public TypeVariableBinding(char[] sourceName,
Binding declaringElement,
int rank,
LookupEnvironment environment)
| Method Detail |
|---|
public int boundCheck(Substitution substitution,
TypeBinding argumentType)
public int boundsCount()
public boolean canBeInstantiated()
ReferenceBinding
canBeInstantiated in class ReferenceBindingReferenceBinding.canBeInstantiated()
public void collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
collectSubstitutes in class TypeBindingpublic char[] computeUniqueKey(boolean isLeaf)
ReferenceBinding
computeUniqueKey in class ReferenceBindingpublic char[] constantPoolName()
ReferenceBinding
constantPoolName in class ReferenceBindingpublic String debugName()
debugName in class ReferenceBindingTypeBinding.debugName()public TypeBinding erasure()
erasure in class TypeBindingpublic char[] genericSignature()
public char[] genericTypeSignature()
genericTypeSignature in class TypeBindingpublic boolean isErasureBoundTo(TypeBinding type)
public boolean isHierarchyConnected()
ReferenceBinding
isHierarchyConnected in class ReferenceBinding
public boolean isInterchangeableWith(TypeVariableBinding otherVariable,
Substitution substitute)
public boolean isTypeVariable()
isTypeVariable in class TypeBindingpublic int kind()
kind in class TypeBindingpublic TypeBinding[] otherUpperBounds()
public char[] readableName()
ReferenceBinding
readableName in class ReferenceBindingReferenceBinding.readableName()public char[] shortReadableName()
shortReadableName in class ReferenceBindingReferenceBinding.shortReadableName()public ReferenceBinding superclass()
superclass in class ReferenceBindingpublic ReferenceBinding[] superInterfaces()
superInterfaces in class ReferenceBindingpublic String toString()
toString in class ObjectObject.toString()public TypeBinding upperBound()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||