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

Klasse IntersectionTypeBinding18

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

public class IntersectionTypeBinding18
extends ReferenceBinding

Abstraction used for intersection casts in Java 8 + and inferred types:

• type inference at 1.8+
• lub at 1.8+
• projections for 'var' at 10+

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
ReferenceBinding[]	intersectingTypes

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

Konstruktor	Beschreibung
IntersectionTypeBinding18(ReferenceBinding[] intersectingTypes, LookupEnvironment environment)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
boolean	canBeInstantiated()	Answer true if the receiver can be instantiated
boolean	canBeSeenBy(PackageBinding invocationPackage)	Answer true if the receiver is visible to the invocationPackage.
boolean	canBeSeenBy(ReferenceBinding receiverType, ReferenceBinding invocationType)	Answer true if the receiver is visible to the receiverType and the invocationType.
boolean	canBeSeenBy(Scope scope)	Answer true if the receiver is visible to the type provided by the scope.
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[]	constantPoolName()	Answer the receiver's constant pool name.
String	debugName()
ReferenceBinding	downwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform a downwards type projection as per JLS 4.10.5
TypeBinding	erasure()
protected MethodBinding[]	getInterfaceAbstractContracts(Scope scope, boolean replaceWildcards, boolean filterDefaultMethods)
ReferenceBinding[]	getIntersectingTypes()
PackageBinding	getPackage()
TypeBinding	getSAMType(Scope scope)
boolean	hasTypeBit(int bit)	Answer an additional bit characterizing this type, like TypeIds.BitAutoCloseable.
boolean	isBoxedPrimitiveType()
boolean	isCompatibleWith(TypeBinding right, Scope scope)	Answer true if the receiver type can be assigned to the argument type (right) In addition to improving performance, caching also ensures there is no infinite regression since per nature, the compatibility check is recursive through parameterized type arguments (122775)
boolean	isIntersectionType18()
boolean	isSubtypeOf(TypeBinding other, boolean simulatingBugJDK8026527)
int	kind()
boolean	mentionsAny(TypeBinding[] parameters, int idx)	Does this type mention any of the given type parameters, except the one at position 'idx'?
char[]	qualifiedSourceName()	Answer the source name for the type.
char[]	readableName()	Answer the receiver's signature.
char[]	shortReadableName()
char[]	sourceName()
ReferenceBinding	superclass()
ReferenceBinding[]	superInterfaces()
String	toString()
long	updateTagBits()	Refresh some tagBits from details into the main type.
ReferenceBinding	upwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables)	Perform an upwards type projection as per JLS 4.10.5

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

acceptsNonNullDefault, appendNullAnnotation, applyCloseableClassWhitelists, applyCloseableInterfaceWhitelists, availableFields, availableMethods, binarySearch, binarySearch, computeGenericTypeSignature, computeId, computeId, computeUniqueKey, depth, detectAnnotationCycle, enclosingTypeAt, enumConstantCount, fieldCount, fields, getAccessFlags, getAnnotations, getAnnotationTagBits, getEnclosingInstancesSlotSize, getExactConstructor, getExactMethod, getField, getField, getFileName, getMemberType, getMethods, getMethods, getOuterLocalVariablesSlotSize, getSingleAbstractMethod, getTypeVariable, hasEnclosingInstanceContext, hashCode, hasHierarchyCheckStarted, hasIncompatibleSuperType, hasMemberTypes, hasMethodWithNumArgs, hasNullBit, hasRestrictedAccess, implementsInterface, innerCanBeSeenBy, innerCanBeSeenBy, isAbstract, isAnnotationType, isBinaryBinding, isClass, isConsistentIntersection, isDefault, isDeprecated, isEnum, isFieldInitializationFinished, isFinal, isFunctionalInterface, isHierarchyBeingActivelyConnected, isHierarchyBeingConnected, isHierarchyConnected, isInterface, isNestmateOf, isNonSealed, isOrEnclosedByPrivateType, isPrivate, isProperType, isProtected, isPublic, isSealed, isStatic, isStrictfp, isSubTypeOfRTL, isSuperclassOf, isThrowable, isUncheckedException, isUsed, isViewedAsDeprecated, memberTypes, methods, module, nullAnnotatedReadableName, outermostEnclosingType, permittedTypes, readableName, retrieveAnnotationHolder, setAnnotations, setContainerAnnotationType, setHierarchyCheckDone, shortReadableName, signature, sortFields, sortMethods, syntheticEnclosingInstanceTypes, tagAsHavingDefectiveContainerType, unResolvedFields

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

actualType, annotatedDebugName, capture, closestMatch, collectMissingTypes, collectSubstitutes, components, containerAnnotationType, dimensions, enclosingMethod, enclosingType, enterRecursiveFunction, equalsEquals, exitRecursiveFunction, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, genericTypeSignature, getErasureCompatibleType, getTypeAnnotations, hasNullTypeAnnotations, hasTypeAnnotations, hasValueBasedTypeAnnotation, isAnonymousType, isArrayType, isBaseType, isBoundParameterizedType, isBoxingCompatibleWith, isCapture, isCompatibleWith, isEquivalentTo, isFreeTypeVariable, isFunctionalType, isGenericType, isHierarchyInconsistent, isIntersectionType, isLocalType, isMemberType, isNestedType, isNumericType, isParameterizedType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isPolyType, isPotentiallyCompatibleWith, isPrimitiveOrBoxedPrimitiveType, isPrimitiveType, isProvablyDistinct, isRawType, isRecord, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isTypeVariable, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, prototype, qualifiedPackageName, setTypeAnnotations, signableName, sIsMoreSpecific, swapUnresolved, syntheticOuterLocalVariables, typeVariables, unannotated, uncapture, wellKnownBaseType, wellKnownType, withoutToplevelNullAnnotation

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

intersectingTypes

public ReferenceBinding[] intersectingTypes

Konstruktordetails

IntersectionTypeBinding18

public IntersectionTypeBinding18(ReferenceBinding[] intersectingTypes,
 LookupEnvironment environment)

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 TypeBinding

getInterfaceAbstractContracts

protected MethodBinding[] getInterfaceAbstractContracts(Scope scope,
 boolean replaceWildcards,
 boolean filterDefaultMethods)
                                                 throws InvalidInputException

Setzt außer Kraft:

getInterfaceAbstractContracts in Klasse ReferenceBinding

Löst aus:

InvalidInputException

hasTypeBit

public boolean hasTypeBit(int bit)

Beschreibung aus Klasse kopiert: TypeBinding

Answer an additional bit characterizing this type, like TypeIds.BitAutoCloseable.

Setzt außer Kraft:

hasTypeBit in Klasse TypeBinding

canBeInstantiated

public boolean canBeInstantiated()

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer true if the receiver can be instantiated

Setzt außer Kraft:

canBeInstantiated in Klasse ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(PackageBinding invocationPackage)

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer true if the receiver is visible to the invocationPackage.

Setzt außer Kraft:

canBeSeenBy in Klasse ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(Scope scope)

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer true if the receiver is visible to the type provided by the scope.

Setzt außer Kraft:

canBeSeenBy in Klasse ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(ReferenceBinding receiverType,
 ReferenceBinding invocationType)

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer true if the receiver is visible to the receiverType and the invocationType.

Setzt außer Kraft:

canBeSeenBy in Klasse ReferenceBinding

constantPoolName

public char[] constantPoolName()

Beschreibung aus Klasse kopiert: ReferenceBinding

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

Setzt außer Kraft:

constantPoolName in Klasse ReferenceBinding

getPackage

public PackageBinding getPackage()

Setzt außer Kraft:

getPackage in Klasse ReferenceBinding

getIntersectingTypes

public ReferenceBinding[] getIntersectingTypes()

Setzt außer Kraft:

getIntersectingTypes in Klasse TypeBinding

superclass

public ReferenceBinding superclass()

Setzt außer Kraft:

superclass in Klasse ReferenceBinding

superInterfaces

public ReferenceBinding[] superInterfaces()

Setzt außer Kraft:

superInterfaces in Klasse ReferenceBinding

isBoxedPrimitiveType

public boolean isBoxedPrimitiveType()

Setzt außer Kraft:

isBoxedPrimitiveType in Klasse TypeBinding

isCompatibleWith

public boolean isCompatibleWith(TypeBinding right,
 Scope scope)

Beschreibung aus Klasse kopiert: ReferenceBinding

Answer true if the receiver type can be assigned to the argument type (right) In addition to improving performance, caching also ensures there is no infinite regression since per nature, the compatibility check is recursive through parameterized type arguments (122775)

Setzt außer Kraft:

isCompatibleWith in Klasse ReferenceBinding

isSubtypeOf

public boolean isSubtypeOf(TypeBinding other,
 boolean simulatingBugJDK8026527)

Setzt außer Kraft:

isSubtypeOf in Klasse ReferenceBinding

erasure

public TypeBinding erasure()

Setzt außer Kraft:

erasure in Klasse TypeBinding

qualifiedSourceName

public char[] qualifiedSourceName()

Beschreibung aus Klasse kopiert: ReferenceBinding

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

Setzt außer Kraft:

qualifiedSourceName in Klasse ReferenceBinding

sourceName

public char[] sourceName()

Setzt außer Kraft:

sourceName in Klasse ReferenceBinding

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 ReferenceBinding

shortReadableName

public char[] shortReadableName()

Setzt außer Kraft:

shortReadableName in Klasse ReferenceBinding

isIntersectionType18

public boolean isIntersectionType18()

Setzt außer Kraft:

isIntersectionType18 in Klasse TypeBinding

kind

public int kind()

Setzt außer Kraft:

kind in Klasse TypeBinding

debugName

public String debugName()

Setzt außer Kraft:

debugName in Klasse ReferenceBinding

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object

getSAMType

public TypeBinding getSAMType(Scope scope)

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 ReferenceBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

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 ReferenceBinding

Parameter:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

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

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