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

Klasse ArrayBinding

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.ArrayBinding

public final class ArrayBinding
extends TypeBinding

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final FieldBinding	ArrayLength
int	dimensions
TypeBinding	leafComponentType
long[]	nullTagBitsPerDimension

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

Konstruktor	Beschreibung
ArrayBinding(TypeBinding type, int dimensions, LookupEnvironment environment)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
boolean	acceptsNonNullDefault()	Used to implement this sentence from o.e.j.annotation.DefaultLocation: "Wildcards and the use of type variables are always excluded from NonNullByDefault."
String	annotatedDebugName()
TypeBinding	closestMatch()	In case of problems, returns the closest match found.
List<TypeBinding>	collectMissingTypes(List<TypeBinding> missingTypes)	Iterate through the type components to collect instances of leaf missing types
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)
char[]	constantPoolName()	Answer the receiver's constant pool name.
String	debugName()
int	dimensions()
ArrayBinding	downwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform a downwards type projection as per JLS 4.10.5
TypeBinding	elementsType()
LookupEnvironment	environment()
TypeBinding	erasure()
char[]	genericTypeSignature()	Answer the receiver classfile signature.
MethodBinding	getCloneMethod(MethodBinding originalMethod)	The type of x.clone() is substituted from 'Object' into the type of the receiver array (non-null)
PackageBinding	getPackage()
int	hashCode()
static boolean	isArrayClone(TypeBinding receiverType, MethodBinding binding)
boolean	isCompatibleWith(TypeBinding otherType, Scope captureScope)
boolean	isProperType(boolean admitCapture18)	JLS8 Sect 18.1.1
boolean	isSubtypeOf(TypeBinding otherType, boolean simulatingBugJDK8026527)
int	kind()
TypeBinding	leafComponentType()
boolean	mentionsAny(TypeBinding[] parameters, int idx)	Does this type mention any of the given type parameters, except the one at position 'idx'?
char[]	nullAnnotatedReadableName(CompilerOptions options, boolean shortNames)	Answer a readable name (for error reporting) that includes nullness type annotations.
int	problemId()
char[]	qualifiedSourceName()	Answer the source name for the type.
char[]	readableName()
void	setTypeAnnotations(AnnotationBinding[] annotations, boolean evalNullAnnotations)
char[]	shortReadableName()
char[]	sourceName()
void	swapUnresolved(UnresolvedReferenceBinding unresolvedType, ReferenceBinding resolvedType, LookupEnvironment env)
String	toString()
TypeBinding	unannotated()	Return this type minus its type annotations
TypeBinding	uncapture(Scope scope)	Perform capture "deconversion" on a given type
long	updateTagBits()	Refresh some tagBits from details into the main type.
ArrayBinding	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.TypeBinding

actualType, canBeInstantiated, canBeSeenBy, capture, clone, components, containerAnnotationType, depth, enclosingMethod, enclosingType, enterRecursiveFunction, equalsEquals, exitRecursiveFunction, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, getErasureCompatibleType, getIntersectingTypes, getMethods, getSingleAbstractMethod, getTypeAnnotations, hasNullTypeAnnotations, hasTypeAnnotations, hasTypeBit, hasValueBasedTypeAnnotation, isAnonymousType, isArrayType, isBaseType, isBoundParameterizedType, isBoxedPrimitiveType, isBoxingCompatibleWith, isCapture, isClass, isCompatibleWith, isEnum, isEquivalentTo, isFreeTypeVariable, isFunctionalInterface, isFunctionalType, isGenericType, isHierarchyInconsistent, isInterface, isIntersectionType, isIntersectionType18, isLocalType, isMemberType, isNestedType, isNumericType, isParameterizedType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isPolyType, isPotentiallyCompatibleWith, isPrimitiveOrBoxedPrimitiveType, isPrimitiveType, isProvablyDistinct, isRawType, isRecord, isReifiable, isRepeatableAnnotationType, isStatic, isThrowable, isTypeArgumentContainedBy, isTypeVariable, isUnboundWildcard, isUncheckedException, isUnresolvedType, isWildcard, needsUncheckedConversion, notEquals, original, permittedTypes, prototype, qualifiedPackageName, signableName, signature, sIsMoreSpecific, superclass, superInterfaces, syntheticOuterLocalVariables, typeVariables, wellKnownBaseType, wellKnownType

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

computeUniqueKey, getAnnotations, getAnnotationTagBits, initializeDeprecatedAnnotationTagBits, isAnnotationType, isParameter, isTaggedRepeatable, isValid, isValidBinding, isVolatile, setAnnotations, setAnnotations

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

ArrayLength

public static final FieldBinding ArrayLength

leafComponentType

public TypeBinding leafComponentType

dimensions

public int dimensions

nullTagBitsPerDimension

public long[] nullTagBitsPerDimension

Konstruktordetails

ArrayBinding

public ArrayBinding(TypeBinding type,
 int dimensions,
 LookupEnvironment environment)

Methodendetails

closestMatch

public TypeBinding closestMatch()

Beschreibung aus Klasse kopiert: TypeBinding

In case of problems, returns the closest match found. It may not be perfect match, but the result of a best effort to improve fault-tolerance.

Setzt außer Kraft:

closestMatch in Klasse TypeBinding

collectMissingTypes

public List<TypeBinding> collectMissingTypes(List<TypeBinding> missingTypes)

Beschreibung aus Klasse kopiert: TypeBinding

Iterate through the type components to collect instances of leaf missing types

Setzt außer Kraft:

collectMissingTypes in Klasse TypeBinding

Gibt zurück:

missing types

Siehe auch:

• TypeBinding.collectMissingTypes(java.util.List)

collectSubstitutes

public void collectSubstitutes(Scope scope,
 TypeBinding actualType,
 InferenceContext inferenceContext,
 int constraint)

Beschreibung aus Klasse kopiert: TypeBinding

Collect the substitutes into a map for certain type variables inside the receiver type e.g. Collection.findSubstitute(T, CollectionUngültige Eingabe: "<"List>): T --> List Constraints: A Ungültige Eingabe: "<"Ungültige Eingabe: "<" 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))

Setzt außer Kraft:

collectSubstitutes in Klasse TypeBinding

mentionsAny

public boolean mentionsAny(TypeBinding[] parameters,
 int idx)

Beschreibung aus Klasse kopiert: TypeBinding

Does this type mention any of the given type parameters, except the one at position 'idx'?

Setzt außer Kraft:

mentionsAny in Klasse TypeBinding

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Setzt außer Kraft:

computeUniqueKey in Klasse Binding

constantPoolName

public char[] constantPoolName()

Beschreibung aus Klasse kopiert: TypeBinding

Answer the receiver's constant pool name. NOTE: This method should only be used during/after code gen. e.g. 'java/lang/Object'

Angegeben von:

constantPoolName in Klasse TypeBinding

debugName

public String debugName()

Setzt außer Kraft:

debugName in Klasse TypeBinding

annotatedDebugName

public String annotatedDebugName()

Setzt außer Kraft:

annotatedDebugName in Klasse TypeBinding

dimensions

public int dimensions()

Setzt außer Kraft:

dimensions in Klasse TypeBinding

elementsType

public TypeBinding elementsType()

erasure

public TypeBinding erasure()

Setzt außer Kraft:

erasure in Klasse TypeBinding

Siehe auch:

• TypeBinding.erasure()

upwardsProjection

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

Beschreibung aus Klasse kopiert: TypeBinding

Perform an upwards type projection as per JLS 4.10.5

Setzt außer Kraft:

upwardsProjection in Klasse TypeBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

downwardsProjection

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

Beschreibung aus Klasse kopiert: TypeBinding

Perform a downwards type projection as per JLS 4.10.5

Setzt außer Kraft:

downwardsProjection in Klasse TypeBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

environment

public LookupEnvironment environment()

genericTypeSignature

public char[] genericTypeSignature()

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:

genericTypeSignature in Klasse TypeBinding

getPackage

public PackageBinding getPackage()

Angegeben von:

getPackage in Klasse TypeBinding

hashCode

public int hashCode()

Setzt außer Kraft:

hashCode in Klasse Object

isCompatibleWith

public boolean isCompatibleWith(TypeBinding otherType,
 Scope captureScope)

Angegeben von:

isCompatibleWith in Klasse TypeBinding

isSubtypeOf

public boolean isSubtypeOf(TypeBinding otherType,
 boolean simulatingBugJDK8026527)

Setzt außer Kraft:

isSubtypeOf in Klasse TypeBinding

isProperType

public boolean isProperType(boolean admitCapture18)

Beschreibung aus Klasse kopiert: TypeBinding

JLS8 Sect 18.1.1

Setzt außer Kraft:

isProperType in Klasse TypeBinding

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.

kind

public int kind()

Setzt außer Kraft:

kind in Klasse TypeBinding

leafComponentType

public TypeBinding leafComponentType()

Setzt außer Kraft:

leafComponentType in Klasse TypeBinding

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 TypeBinding

problemId

public int problemId()

Setzt außer Kraft:

problemId in Klasse Binding

qualifiedSourceName

public char[] qualifiedSourceName()

Beschreibung aus Klasse kopiert: TypeBinding

Answer the source name for the type. In the case of member types, as the qualified name from its top level type. For example, for a member type N defined inside M Ungültige Eingabe: "&" A: "A.M.N".

Angegeben von:

qualifiedSourceName in Klasse TypeBinding

readableName

public char[] readableName()

Angegeben von:

readableName in Klasse Binding

setTypeAnnotations

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

Setzt außer Kraft:

setTypeAnnotations in Klasse TypeBinding

shortReadableName

public char[] shortReadableName()

Setzt außer Kraft:

shortReadableName in Klasse Binding

sourceName

public char[] sourceName()

Angegeben von:

sourceName in Klasse TypeBinding

swapUnresolved

public void swapUnresolved(UnresolvedReferenceBinding unresolvedType,
 ReferenceBinding resolvedType,
 LookupEnvironment env)

Setzt außer Kraft:

swapUnresolved in Klasse TypeBinding

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object

unannotated

public TypeBinding unannotated()

Beschreibung aus Klasse kopiert: TypeBinding

Return this type minus its type annotations

Setzt außer Kraft:

unannotated in Klasse TypeBinding

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 TypeBinding

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

acceptsNonNullDefault

public boolean acceptsNonNullDefault()

Beschreibung aus Klasse kopiert: TypeBinding

Used to implement this sentence from o.e.j.annotation.DefaultLocation: "Wildcards and the use of type variables are always excluded from NonNullByDefault."

Setzt außer Kraft:

acceptsNonNullDefault in Klasse TypeBinding

updateTagBits

public long updateTagBits()

Beschreibung aus Klasse kopiert: TypeBinding

Refresh some tagBits from details into the main type. Currently handled: TagBits.HasNullTypeAnnotation

Setzt außer Kraft:

updateTagBits in Klasse TypeBinding

getCloneMethod

public MethodBinding getCloneMethod(MethodBinding originalMethod)

The type of x.clone() is substituted from 'Object' into the type of the receiver array (non-null)

isArrayClone

public static boolean isArrayClone(TypeBinding receiverType,
 MethodBinding binding)