Class 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+

Field Summary

Fields

Modifier and Type	Field	Description
ReferenceBinding[]	intersectingTypes

Fields inherited from class ReferenceBinding

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

Fields inherited from class TypeBinding

BOOLEAN, BYTE, CHAR, DOUBLE, FLOAT, id, INT, LONG, NULL, NUMERIC_TYPES, SHORT, TYPE_USE_BINDING, typeAnnotations, VOID

Fields inherited from class Binding

ANY_EXCEPTION, ARRAY_TYPE, BASE_TYPE, DefaultLocationArrayContents, DefaultLocationField, DefaultLocationParameter, DefaultLocationRecordComponent, DefaultLocationReturnType, DefaultLocationsForTrueValue, DefaultLocationTypeArgument, DefaultLocationTypeBound, DefaultLocationTypeParameter, extendedTagBits, 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_PERMITTED_TYPES, 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, tagBits, TYPE, TYPE_PARAMETER, TYPE_USE, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

Constructor	Description
IntersectionTypeBinding18(ReferenceBinding[] intersectingTypes, LookupEnvironment environment)

Method Summary

Modifier and Type	Method	Description
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.
protected Stream<MethodBinding>	collateFunctionalInterfaceContracts(Scope scope, boolean replaceWildcards, Set<ReferenceBinding> visitedInterfaces)
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()
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	isNonDenotable()	Does this type lack a class file representation on its own ?
boolean	isProperType(boolean admitCapture18)	JLS8 Sect 18.1.1
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[]	qualifiedPackageName()	Answer the qualified name of the receiver's package separated by periods or an empty string if its the default package.
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

Methods inherited from class ReferenceBinding

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

Methods inherited from class TypeBinding

annotatedDebugName, capture, closestMatch, collectMissingTypes, collectSubstitutes, components, containerAnnotationType, dimensions, enclosingMethod, enclosingType, enterRecursiveFunction, equalsEquals, exitRecursiveFunction, fields, 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, isReadyForAnnotations, isRecordWithComponents, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isTypeVariable, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, permittedTypes, prototype, setTypeAnnotations, signableName, sIsMoreSpecific, syntheticOuterLocalVariables, syntheticTypeVariablesMentioned, typeArgumentDepth, typeVariables, unannotated, unboxedType, uncapture, upwardsProjection, wellKnownBaseType, wellKnownType, withoutToplevelNullAnnotation

Methods inherited from class Binding

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

Methods inherited from class Object

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

Field Details

intersectingTypes

public ReferenceBinding[] intersectingTypes

Constructor Details

IntersectionTypeBinding18

public IntersectionTypeBinding18(ReferenceBinding[] intersectingTypes,
 LookupEnvironment environment)

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 TypeBinding

collateFunctionalInterfaceContracts

protected Stream<MethodBinding> collateFunctionalInterfaceContracts(Scope scope,
 boolean replaceWildcards,
 Set<ReferenceBinding> visitedInterfaces)
                                                             throws org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.DysfunctionalInterfaceException

Overrides:

collateFunctionalInterfaceContracts in class ReferenceBinding

Throws:

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.DysfunctionalInterfaceException

hasTypeBit

public boolean hasTypeBit(int bit)

Description copied from class: TypeBinding

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

Overrides:

hasTypeBit in class TypeBinding

canBeInstantiated

public boolean canBeInstantiated()

Description copied from class: ReferenceBinding

Answer true if the receiver can be instantiated

Overrides:

canBeInstantiated in class ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(PackageBinding invocationPackage)

Description copied from class: ReferenceBinding

Answer true if the receiver is visible to the invocationPackage.

Overrides:

canBeSeenBy in class ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(Scope scope)

Description copied from class: ReferenceBinding

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

Overrides:

canBeSeenBy in class ReferenceBinding

canBeSeenBy

public boolean canBeSeenBy(ReferenceBinding receiverType,
 ReferenceBinding invocationType)

Description copied from class: ReferenceBinding

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

Overrides:

canBeSeenBy in class ReferenceBinding

constantPoolName

public char[] constantPoolName()

Description copied from class: ReferenceBinding

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

Overrides:

constantPoolName in class ReferenceBinding

getPackage

public PackageBinding getPackage()

Overrides:

getPackage in class ReferenceBinding

getIntersectingTypes

public ReferenceBinding[] getIntersectingTypes()

Overrides:

getIntersectingTypes in class TypeBinding

superclass

public ReferenceBinding superclass()

Overrides:

superclass in class ReferenceBinding

superInterfaces

public ReferenceBinding[] superInterfaces()

Overrides:

superInterfaces in class ReferenceBinding

isBoxedPrimitiveType

public boolean isBoxedPrimitiveType()

Overrides:

isBoxedPrimitiveType in class TypeBinding

isCompatibleWith

public boolean isCompatibleWith(TypeBinding right,
 Scope scope)

Description copied from class: 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)

Overrides:

isCompatibleWith in class ReferenceBinding

isSubtypeOf

public boolean isSubtypeOf(TypeBinding other,
 boolean simulatingBugJDK8026527)

Overrides:

isSubtypeOf in class ReferenceBinding

isProperType

public boolean isProperType(boolean admitCapture18)

Description copied from class: TypeBinding

JLS8 Sect 18.1.1

Overrides:

isProperType in class ReferenceBinding

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.

erasure

public TypeBinding erasure()

Overrides:

erasure in class TypeBinding

qualifiedPackageName

public char[] qualifiedPackageName()

Description copied from class: TypeBinding

Answer the qualified name of the receiver's package separated by periods or an empty string if its the default package. For example, {java.util}.

Overrides:

qualifiedPackageName in class TypeBinding

qualifiedSourceName

public char[] qualifiedSourceName()

Description copied from class: 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 & A: "A.M.N".

Overrides:

qualifiedSourceName in class ReferenceBinding

sourceName

public char[] sourceName()

Overrides:

sourceName in class ReferenceBinding

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 ReferenceBinding

shortReadableName

public char[] shortReadableName()

Overrides:

shortReadableName in class ReferenceBinding

isIntersectionType18

public boolean isIntersectionType18()

Overrides:

isIntersectionType18 in class TypeBinding

kind

public int kind()

Overrides:

kind in class TypeBinding

debugName

public String debugName()

Overrides:

debugName in class ReferenceBinding

toString

public String toString()

Overrides:

toString in class Object

getSAMType

public TypeBinding getSAMType(Scope scope)

upwardsProjection

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

Description copied from class: TypeBinding

Perform an upwards type projection as per JLS 4.10.5

Overrides:

upwardsProjection in class TypeBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variables

Returns:

Upwards type projection of 'this', or null if upwards projection is undefined

downwardsProjection

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

Description copied from class: TypeBinding

Perform a downwards type projection as per JLS 4.10.5

Overrides:

downwardsProjection in class TypeBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variables

Returns:

Downwards type projection of 'this', or null if downwards projection is undefined

mentionsAny

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

Description copied from class: TypeBinding

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

Overrides:

mentionsAny in class TypeBinding

updateTagBits

public long updateTagBits()

Description copied from class: TypeBinding

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

Overrides:

updateTagBits in class TypeBinding

isNonDenotable

public boolean isNonDenotable()

Description copied from class: TypeBinding

Does this type lack a class file representation on its own ?

Overrides:

isNonDenotable in class TypeBinding