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

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

Field Summary

Fields

Modifier and Type	Field and Description
ReferenceBinding[]	intersectingTypes

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, 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, DefaultLocationTypeArgument, DefaultLocationTypeBound, DefaultLocationTypeParameter, FIELD, GENERIC_TYPE, IMPORT, INTERSECTION_TYPE, INTERSECTION_TYPE18, LOCAL, METHOD, NO_ANNOTATIONS, NO_ELEMENT_VALUE_PAIRS, NO_EXCEPTIONS, NO_FIELDS, NO_MEMBER_TYPES, NO_METHODS, NO_NULL_DEFAULT, NO_PARAMETER_NAMES, NO_PARAMETERS, NO_REFERENCE_TYPES, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, NONNULL_BY_DEFAULT, NULL_UNSPECIFIED_BY_DEFAULT, NullnessDefaultMASK, PACKAGE, PARAMETERIZED_TYPE, POLY_TYPE, RAW_TYPE, TYPE, TYPE_PARAMETER, TYPE_USE, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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.
char[]	constantPoolName() Answer the receiver's constant pool name.
java.lang.String	debugName()
protected MethodBinding[]	getInterfaceAbstractContracts(Scope scope, boolean replaceWildcards)
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)
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()
java.lang.String	toString()
long	updateTagBits() Refresh some tagBits from details into the main type.

Methods inherited from class 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, hashCode, hasIncompatibleSuperType, hasMemberTypes, hasNullBit, hasRestrictedAccess, implementsInterface, innerCanBeSeenBy, innerCanBeSeenBy, isAbstract, isAnnotationType, isBinaryBinding, isClass, isConsistentIntersection, isDefault, isDeprecated, isEnum, isFinal, isFunctionalInterface, isHierarchyBeingActivelyConnected, isHierarchyBeingConnected, isHierarchyConnected, isInterface, isOrEnclosedByPrivateType, isPrivate, isProperType, isProtected, isPublic, isStatic, isStrictfp, isSubTypeOfRTL, isSuperclassOf, isThrowable, isUncheckedException, isUsed, isViewedAsDeprecated, memberTypes, methods, nullAnnotatedReadableName, outermostEnclosingType, readableName, retrieveAnnotationHolder, setAnnotations, setContainerAnnotationType, shortReadableName, signature, sortFields, sortMethods, syntheticEnclosingInstanceTypes, tagAsHavingDefectiveContainerType, unResolvedFields

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeBinding

actualType, annotatedDebugName, capture, closestMatch, collectMissingTypes, collectSubstitutes, containerAnnotationType, dimensions, enclosingMethod, enclosingType, enterRecursiveFunction, equalsEquals, erasure, exitRecursiveFunction, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, genericTypeSignature, getErasureCompatibleType, getTypeAnnotations, hasNullTypeAnnotations, hasTypeAnnotations, 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, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isTypeVariable, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, prototype, qualifiedPackageName, setTypeAnnotations, signableName, sIsMoreSpecific, swapUnresolved, syntheticOuterLocalVariables, typeVariables, unannotated, uncapture, wellKnownType, withoutToplevelNullAnnotation

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Binding

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

Methods inherited from class java.lang.Object

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

Field Detail

intersectingTypes

public ReferenceBinding[] intersectingTypes

Constructor Detail

IntersectionTypeBinding18

public IntersectionTypeBinding18(ReferenceBinding[] intersectingTypes,
                                 LookupEnvironment environment)

Method Detail

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

getInterfaceAbstractContracts

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

Overrides:

getInterfaceAbstractContracts in class ReferenceBinding

Throws:

InvalidInputException

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)

Overrides:

isSubtypeOf in class ReferenceBinding

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 java.lang.String debugName()

Overrides:

debugName in class ReferenceBinding

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSAMType

public TypeBinding getSAMType(Scope scope)

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