|
||||||||||
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 ReferenceBinding
ReferenceBinding.canBeInstantiated()
public void collectSubstitutes(Scope scope, TypeBinding actualType, InferenceContext inferenceContext, int constraint)
collectSubstitutes
in class TypeBinding
public char[] computeUniqueKey(boolean isLeaf)
ReferenceBinding
computeUniqueKey
in class ReferenceBinding
public char[] constantPoolName()
ReferenceBinding
constantPoolName
in class ReferenceBinding
public String debugName()
debugName
in class ReferenceBinding
TypeBinding.debugName()
public TypeBinding erasure()
erasure
in class TypeBinding
public char[] genericSignature()
public char[] genericTypeSignature()
genericTypeSignature
in class TypeBinding
public 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 TypeBinding
public int kind()
kind
in class TypeBinding
public TypeBinding[] otherUpperBounds()
public char[] readableName()
ReferenceBinding
readableName
in class ReferenceBinding
ReferenceBinding.readableName()
public char[] shortReadableName()
shortReadableName
in class ReferenceBinding
ReferenceBinding.shortReadableName()
public ReferenceBinding superclass()
superclass
in class ReferenceBinding
public ReferenceBinding[] superInterfaces()
superInterfaces
in class ReferenceBinding
public String toString()
toString
in class Object
Object.toString()
public TypeBinding upperBound()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |