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

Class CaptureBinding

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

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

Direct Known Subclasses:

CaptureBinding18

public class CaptureBinding
extends TypeVariableBinding

Field Summary

Fields

Modifier and Type	Field	Description
int	captureID
ASTNode	cud
int	end
TypeBinding	lowerBound
ReferenceBinding	sourceType
int	start
WildcardBinding	wildcard

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

declaringElement, firstBound, genericTypeSignature, rank, superclass, 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
	CaptureBinding(CaptureBinding prototype)
protected	CaptureBinding(ReferenceBinding sourceType, char[] sourceName, int start, int end, int captureID, LookupEnvironment environment)
	CaptureBinding(WildcardBinding wildcard, ReferenceBinding sourceType, int start, int end, ASTNode cud, int captureID)

Method Summary

Modifier and Type	Method	Description
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.
char[]	computeUniqueKey(boolean isLeaf)	p.X<T extends Y & I, U extends Y> -> Lp/X<TT;TU;>;
String	debugName()
ReferenceBinding	downwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform a downwards type projection as per JLS 4.10.5
char[]	genericTypeSignature()	T::Ljava/util/Map;:Ljava/io/Serializable; T:LY<TT;>
protected TypeBinding[]	getDerivedTypesForDeferredInitialization()
void	initializeBounds(Scope scope, ParameterizedTypeBinding capturedParameterizedType)	Initialize capture bounds using substituted supertypes e.g.
boolean	isCapture()	Returns true if the type is the capture of some wildcard
boolean	isEquivalentTo(TypeBinding otherType)	Returns true if a type is identical to another one, or for generic types, true if compared to its raw type.
boolean	isProperType(boolean admitCapture18)	JLS8 Sect 18.1.1
char[]	nullAnnotatedReadableName(CompilerOptions options, boolean shortNames)	Answer a readable name (for error reporting) that includes nullness type annotations.
char[]	readableName()	Answer the receiver's signature.
void	setTypeAnnotations(AnnotationBinding[] annotations, boolean evalNullAnnotations)
char[]	shortReadableName()
char[]	signableName()
char[]	signature()	Answer the receiver classfile signature.
String	toString()
TypeBinding	uncapture(Scope scope)	Perform capture "deconversion" on a given type
TypeBinding	upperBoundForProjection()
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.TypeVariableBinding

acceptsNonNullDefault, allUpperBounds, annotatedDebugName, appendNullAnnotation, boundCheck, boundsCount, canBeInstantiated, collectSubstitutes, combineTypeAnnotations, constantPoolName, enterRecursiveFunction, enterRecursiveProjectionFunction, erasure, evaluateNullAnnotations, exitRecursiveFunction, exitRecursiveProjectionFunction, genericSignature, hasTypeBit, isErasureBoundTo, isFreeTypeVariable, isHierarchyConnected, isInterchangeableWith, isSubtypeOf, isTypeVariable, kind, mentionsAny, otherUpperBounds, setFirstBound, setSuperClass, setSuperInterfaces, superclass, superInterfaces, unannotated, updateTagBits, upperBound

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, 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, isCompatibleWith, 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, sIsMoreSpecific, swapUnresolved, syntheticOuterLocalVariables, syntheticTypeVariablesMentioned, typeVariables, 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

lowerBound

public TypeBinding lowerBound

wildcard

public WildcardBinding wildcard

captureID

public int captureID

sourceType

public ReferenceBinding sourceType

start

public int start

end

public int end

cud

public ASTNode cud

Constructor Details

CaptureBinding

public CaptureBinding(WildcardBinding wildcard,
 ReferenceBinding sourceType,
 int start,
 int end,
 ASTNode cud,
 int captureID)

CaptureBinding

protected CaptureBinding(ReferenceBinding sourceType,
 char[] sourceName,
 int start,
 int end,
 int captureID,
 LookupEnvironment environment)

CaptureBinding

public CaptureBinding(CaptureBinding prototype)

Method Details

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 TypeVariableBinding

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 TypeVariableBinding

debugName

public String debugName()

Overrides:

debugName in class TypeVariableBinding

See Also:

• invalid reference

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

genericTypeSignature

public char[] genericTypeSignature()

Description copied from class: TypeVariableBinding

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

Overrides:

genericTypeSignature in class TypeVariableBinding

initializeBounds

public void initializeBounds(Scope scope,
 ParameterizedTypeBinding capturedParameterizedType)

Initialize capture bounds using substituted supertypes e.g. given X<U, V extends X<U, V>>, capture(X<E,?>) = X<E,capture>, where capture extends X<E,capture>

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 TypeVariableBinding

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

upperBoundForProjection

public TypeBinding upperBoundForProjection()

isCapture

public boolean isCapture()

Description copied from class: TypeBinding

Returns true if the type is the capture of some wildcard

Overrides:

isCapture in class TypeBinding

See Also:

• invalid reference

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

isEquivalentTo

public boolean isEquivalentTo(TypeBinding otherType)

Description copied from class: TypeBinding

Returns true if a type is identical to another one, or for generic types, true if compared to its raw type.

Overrides:

isEquivalentTo in class TypeBinding

See Also:

• TypeBinding.isEquivalentTo(TypeBinding)

isProperType

public boolean isProperType(boolean admitCapture18)

Description copied from class: TypeBinding

JLS8 Sect 18.1.1

Overrides:

isProperType in class TypeVariableBinding

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.

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 TypeVariableBinding

See Also:

• invalid reference

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

signableName

public char[] signableName()

Overrides:

signableName in class TypeBinding

shortReadableName

public char[] shortReadableName()

Overrides:

shortReadableName in class TypeVariableBinding

See Also:

• invalid reference

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

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 TypeVariableBinding

See Also:

• invalid reference

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

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 TypeVariableBinding

setTypeAnnotations

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

Overrides:

setTypeAnnotations in class TypeVariableBinding

uncapture

public TypeBinding uncapture(Scope scope)

Description copied from class: TypeBinding

Perform capture "deconversion" on a given type

Overrides:

uncapture in class TypeBinding

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 TypeVariableBinding

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

getDerivedTypesForDeferredInitialization

protected TypeBinding[] getDerivedTypesForDeferredInitialization()

Overrides:

getDerivedTypesForDeferredInitialization in class TypeVariableBinding

toString

public String toString()

Overrides:

toString in class TypeVariableBinding

See Also:

• Object.toString()

signature

public char[] signature()

Description copied from class: TypeBinding

Answer the receiver classfile signature. Arrays and base types do not distinguish between signature() and constantPoolName(). NOTE: This method should only be used during/after code gen.

Overrides:

signature in class ReferenceBinding