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

Klasse 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

Bekannte direkte Unterklassen:

CaptureBinding18

public class CaptureBinding
extends TypeVariableBinding

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
int	captureID
ASTNode	cud
int	end
TypeBinding	lowerBound
ReferenceBinding	sourceType
int	start
WildcardBinding	wildcard

Von Klasse geerbte Felder org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding

declaringElement, firstBound, genericTypeSignature, rank, superclass, superInterfaces

Von Klasse geerbte Felder org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding

compoundName, fPackage, LUB_GENERIC, modifiers, samProblemBinding, singleAbstractMethod, sourceName

Von Klasse geerbte Felder 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

Von Klasse geerbte Felder 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

Konstruktorübersicht

Konstruktoren

Modifizierer	Konstruktor	Beschreibung
	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)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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.XUngültige Eingabe: "<"T extends Y Ungültige Eingabe: "&" I, U extends Y> {} -> Lp/XUngültige Eingabe: "<"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:LYUngültige Eingabe: "<"TT;>
protected TypeBinding[]	getDerivedTypesForDeferredInitialization()
void	initializeBounds(Scope scope, ParameterizedTypeBinding capturedParameterizedType)	Initialize capture bounds using substituted supertypes e.g. given XUngültige Eingabe: "<"U, V extends XUngültige Eingabe: "<"U, V>>, capture(XUngültige Eingabe: "<"E,?
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.

Von Klasse geerbte Methoden 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

Von Klasse geerbte Methoden org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding

applyCloseableClassWhitelists, applyCloseableInterfaceWhitelists, availableFields, availableMethods, binarySearch, binarySearch, canBeSeenBy, canBeSeenBy, canBeSeenBy, computeGenericTypeSignature, computeId, computeId, depth, detectAnnotationCycle, enclosingTypeAt, enumConstantCount, fieldCount, fields, getAccessFlags, getAnnotations, getAnnotationTagBits, getEnclosingInstancesSlotSize, getExactConstructor, getExactMethod, getField, getField, getFileName, getInterfaceAbstractContracts, getMemberType, getMethods, getMethods, getOuterLocalVariablesSlotSize, getPackage, 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, 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, unResolvedFields

Von Klasse geerbte Methoden 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, isNumericType, isParameterizedType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isPolyType, isPotentiallyCompatibleWith, isPrimitiveOrBoxedPrimitiveType, isPrimitiveType, isProvablyDistinct, isRawType, isRecord, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, prototype, qualifiedPackageName, sIsMoreSpecific, swapUnresolved, syntheticOuterLocalVariables, typeVariables, wellKnownBaseType, wellKnownType

Von Klasse geerbte Methoden org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Binding

computeUniqueKey, initializeDeprecatedAnnotationTagBits, isParameter, isTaggedRepeatable, isValid, isValidBinding, isVolatile, problemId, setAnnotations

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

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

Konstruktordetails

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)

Methodendetails

clone

public TypeBinding clone(TypeBinding enclosingType)

Beschreibung aus Klasse kopiert: 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.

Setzt außer Kraft:

clone in Klasse TypeVariableBinding

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Beschreibung aus Klasse kopiert: ReferenceBinding

p.XUngültige Eingabe: "<"T extends Y Ungültige Eingabe: "&" I, U extends Y> {} -> Lp/XUngültige Eingabe: "<"TT;TU;>;

Setzt außer Kraft:

computeUniqueKey in Klasse TypeVariableBinding

debugName

public String debugName()

Setzt außer Kraft:

debugName in Klasse TypeVariableBinding

Siehe auch:

• TypeBinding.debugName()

genericTypeSignature

public char[] genericTypeSignature()

Beschreibung aus Klasse kopiert: TypeVariableBinding

T::Ljava/util/Map;:Ljava/io/Serializable; T:LYUngültige Eingabe: "<"TT;>

Setzt außer Kraft:

genericTypeSignature in Klasse TypeVariableBinding

initializeBounds

public void initializeBounds(Scope scope,
 ParameterizedTypeBinding capturedParameterizedType)

Initialize capture bounds using substituted supertypes e.g. given XUngültige Eingabe: "<"U, V extends XUngültige Eingabe: "<"U, V>>, capture(XUngültige Eingabe: "<"E,?>) = XUngültige Eingabe: "<"E,capture>, where capture extends XUngültige Eingabe: "<"E,capture>

upwardsProjection

public ReferenceBinding upwardsProjection(Scope scope,
 TypeBinding[] mentionedTypeVariables)

Beschreibung aus Klasse kopiert: ReferenceBinding

Perform an upwards type projection as per JLS 4.10.5

Setzt außer Kraft:

upwardsProjection in Klasse TypeVariableBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

upperBoundForProjection

public TypeBinding upperBoundForProjection()

isCapture

public boolean isCapture()

Beschreibung aus Klasse kopiert: TypeBinding

Returns true if the type is the capture of some wildcard

Setzt außer Kraft:

isCapture in Klasse TypeBinding

Siehe auch:

• TypeBinding.isCapture()

isEquivalentTo

public boolean isEquivalentTo(TypeBinding otherType)

Beschreibung aus Klasse kopiert: TypeBinding

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

Setzt außer Kraft:

isEquivalentTo in Klasse TypeBinding

Siehe auch:

• TypeBinding.isEquivalentTo(TypeBinding)

isProperType

public boolean isProperType(boolean admitCapture18)

Beschreibung aus Klasse kopiert: TypeBinding

JLS8 Sect 18.1.1

Setzt außer Kraft:

isProperType in Klasse TypeVariableBinding

Parameter:

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

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer the receiver's signature. NOTE: This method should only be used during/after code gen.

Setzt außer Kraft:

readableName in Klasse TypeVariableBinding

Siehe auch:

• ReferenceBinding.readableName()

signableName

public char[] signableName()

Setzt außer Kraft:

signableName in Klasse TypeBinding

shortReadableName

public char[] shortReadableName()

Setzt außer Kraft:

shortReadableName in Klasse TypeVariableBinding

Siehe auch:

• ReferenceBinding.shortReadableName()

nullAnnotatedReadableName

public char[] nullAnnotatedReadableName(CompilerOptions options,
 boolean shortNames)

Beschreibung aus Klasse kopiert: TypeBinding

Answer a readable name (for error reporting) that includes nullness type annotations.

Setzt außer Kraft:

nullAnnotatedReadableName in Klasse TypeVariableBinding

Siehe auch:

• TypeBinding.nullAnnotatedReadableName(CompilerOptions,boolean)

withoutToplevelNullAnnotation

public TypeBinding withoutToplevelNullAnnotation()

Beschreibung aus Klasse kopiert: TypeBinding

Return this type minus its toplevel null annotations. Any annotations on type arguments or bounds are retained.

Setzt außer Kraft:

withoutToplevelNullAnnotation in Klasse TypeVariableBinding

setTypeAnnotations

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

Setzt außer Kraft:

setTypeAnnotations in Klasse TypeVariableBinding

uncapture

public TypeBinding uncapture(Scope scope)

Beschreibung aus Klasse kopiert: TypeBinding

Perform capture "deconversion" on a given type

Setzt außer Kraft:

uncapture in Klasse TypeBinding

downwardsProjection

public ReferenceBinding downwardsProjection(Scope scope,
 TypeBinding[] mentionedTypeVariables)

Beschreibung aus Klasse kopiert: ReferenceBinding

Perform a downwards type projection as per JLS 4.10.5

Setzt außer Kraft:

downwardsProjection in Klasse TypeVariableBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

getDerivedTypesForDeferredInitialization

protected TypeBinding[] getDerivedTypesForDeferredInitialization()

Setzt außer Kraft:

getDerivedTypesForDeferredInitialization in Klasse TypeVariableBinding

toString

public String toString()

Setzt außer Kraft:

toString in Klasse TypeVariableBinding

Siehe auch:

• Object.toString()

signature

public char[] signature()

Beschreibung aus Klasse kopiert: TypeBinding

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

Setzt außer Kraft:

signature in Klasse ReferenceBinding