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

Class RawTypeBinding

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

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

All Implemented Interfaces:

Substitution

public class RawTypeBinding
extends ParameterizedTypeBinding

Denote a raw type, i.e. a generic type referenced without any type arguments. e.g. X can be used a raw type 'X', in which case it will behave as X

Nested Class Summary

Nested classes/interfaces inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Substitution

Substitution.NullSubstitution

Field Summary

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding

arguments, enclosingType, environment, fields, genericTypeSignature, memberTypes, methods, superclass, superInterfaces, type

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, DefaultLocationsForTrueValue, DefaultLocationTypeArgument, DefaultLocationTypeBound, DefaultLocationTypeParameter, FIELD, GENERIC_TYPE, IMPORT, INTERSECTION_TYPE, INTERSECTION_TYPE18, LOCAL, METHOD, MODULE, NO_ANNOTATIONS, 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_PLAIN_PACKAGES, NO_REFERENCE_TYPES, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, 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
RawTypeBinding(ReferenceBinding type, ReferenceBinding enclosingType, LookupEnvironment environment) Raw type arguments are erasure of respective parameter bounds.

Method Summary

Modifier and Type	Method and Description
java.lang.String	annotatedDebugName()
ParameterizedTypeBinding	capture(Scope scope, int start, int end) Perform capture conversion for a parameterized type with wildcard arguments
TypeBinding	clone(TypeBinding outerType) 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.X {} -> Lp/X;
ParameterizedMethodBinding	createParameterizedMethod(MethodBinding originalMethod)
java.lang.String	debugName()
ReferenceBinding	downwardsProjection(Scope scope, TypeBinding[] mentionedTypeVariables) Perform a downwards type projection as per JLS 4.10.5
ReferenceBinding	enclosingType()
char[]	genericTypeSignature() Ltype
MethodBinding	getSingleAbstractMethod(Scope scope, boolean replaceWildcards) Return the single abstract method of a functional interface, or one of null or ReferenceBinding.samProblemBinding, if the receiver is not a functional interface as defined in JLS 9.8.
protected void	initializeArguments()
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	isParameterizedType() Returns true if the type is parameterized, e.g.
boolean	isProperType(boolean admitCapture18) JLS8 Sect 18.1.1
boolean	isProvablyDistinct(TypeBinding otherType) Returns true if a type is provably distinct from another one,
boolean	isSubtypeOf(TypeBinding right, 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[]	readableName(boolean showGenerics)
char[]	shortReadableName(boolean showGenerics)
TypeBinding	uncapture(Scope scope) Perform capture deconversion for a parameterized type with captured wildcard arguments
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.

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

actualType, boundCheck, canBeInstantiated, collectMissingTypes, collectSubstitutes, computeId, constantPoolName, environment, erasure, fieldCount, fields, genericType, getAnnotationTagBits, getEnclosingInstancesSlotSize, getExactConstructor, getExactMethod, getExactMethodBase, getField, getField, getInterfaceAbstractContracts, getMethods, getMethodsBase, getNonWildcardParameterization, getOuterLocalVariablesSlotSize, getSingleAbstractMethod, hasMemberTypes, hasMethodWithNumArgs, hasTypeBit, implementsMethod, isBoundParameterizedType, isHierarchyConnected, isRawSubstitution, memberTypes, methods, nullAnnotatedReadableName, problemId, qualifiedPackageName, qualifiedSourceName, readableName, shortReadableName, signature, sourceName, substitute, superclass, superInterfaces, swapUnresolved, syntheticEnclosingInstanceTypes, syntheticOuterLocalVariables, toString, typeArguments, typeVariables, unannotated, unResolvedFields, updateTagBits

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

acceptsNonNullDefault, appendNullAnnotation, applyCloseableClassWhitelists, applyCloseableInterfaceWhitelists, availableFields, availableMethods, binarySearch, binarySearch, canBeSeenBy, canBeSeenBy, canBeSeenBy, computeGenericTypeSignature, computeId, depth, detectAnnotationCycle, enclosingTypeAt, enumConstantCount, getAccessFlags, getAnnotations, getFileName, getMemberType, getMethods, getPackage, getTypeVariable, hasEnclosingInstanceContext, hashCode, hasHierarchyCheckStarted, hasIncompatibleSuperType, hasNullBit, hasRestrictedAccess, implementsInterface, innerCanBeSeenBy, innerCanBeSeenBy, isAbstract, isAnnotationType, isBinaryBinding, isClass, isCompatibleWith, isConsistentIntersection, isDefault, isDeprecated, isEnum, isFinal, isFunctionalInterface, isHierarchyBeingActivelyConnected, isHierarchyBeingConnected, isInterface, isNestmateOf, isOrEnclosedByPrivateType, isPrivate, isProtected, isPublic, isStatic, isStrictfp, isSubTypeOfRTL, isSuperclassOf, isThrowable, isUncheckedException, isUsed, isViewedAsDeprecated, module, outermostEnclosingType, retrieveAnnotationHolder, setAnnotations, setContainerAnnotationType, setHierarchyCheckDone, sortFields, sortMethods, tagAsHavingDefectiveContainerType

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

closestMatch, containerAnnotationType, dimensions, enclosingMethod, enterRecursiveFunction, equalsEquals, exitRecursiveFunction, findSuperTypeOriginatingFrom, findSuperTypeOriginatingFrom, genericCast, getErasureCompatibleType, getIntersectingTypes, getTypeAnnotations, hasNullTypeAnnotations, hasTypeAnnotations, isAnonymousType, isArrayType, isBaseType, isBoxedPrimitiveType, isBoxingCompatibleWith, isCapture, isCompatibleWith, isFreeTypeVariable, isFunctionalType, isGenericType, isHierarchyInconsistent, isIntersectionType, isIntersectionType18, isLocalType, isMemberType, isNestedType, isNumericType, isParameterizedTypeWithActualArguments, isParameterizedWithOwnVariables, isPolyType, isPotentiallyCompatibleWith, isPrimitiveOrBoxedPrimitiveType, isPrimitiveType, isRawType, isRecord, isReifiable, isRepeatableAnnotationType, isTypeArgumentContainedBy, isTypeVariable, isUnboundWildcard, isUnresolvedType, isWildcard, leafComponentType, needsUncheckedConversion, notEquals, original, prototype, setTypeAnnotations, signableName, sIsMoreSpecific, wellKnownBaseType, wellKnownType

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RawTypeBinding

public RawTypeBinding(ReferenceBinding type,
                      ReferenceBinding enclosingType,
                      LookupEnvironment environment)

Raw type arguments are erasure of respective parameter bounds. But we may not have resolved these bounds yet if creating raw types while supertype hierarchies are being connected. Therefore, use 'null' instead, and access these in a lazy way later on (when substituting).

Method Detail

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Description copied from class: ReferenceBinding

p.X {} -> Lp/X;

Overrides:

computeUniqueKey in class ParameterizedTypeBinding

clone

public TypeBinding clone(TypeBinding outerType)

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 ParameterizedTypeBinding

withoutToplevelNullAnnotation

public TypeBinding withoutToplevelNullAnnotation()

Description copied from class: TypeBinding

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

Overrides:

withoutToplevelNullAnnotation in class ParameterizedTypeBinding

createParameterizedMethod

public ParameterizedMethodBinding createParameterizedMethod(MethodBinding originalMethod)

Overrides:

createParameterizedMethod in class ParameterizedTypeBinding

See Also:

ParameterizedTypeBinding.createParameterizedMethod(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.MethodBinding)

isParameterizedType

public boolean isParameterizedType()

Description copied from class: TypeBinding

Returns true if the type is parameterized, e.g. List. Note that some instances of ParameterizedTypeBinding have no arguments, like for non-generic members of a parameterized type. Use TypeBinding.isParameterizedTypeWithActualArguments() instead to find out.

Overrides:

isParameterizedType in class ParameterizedTypeBinding

kind

public int kind()

Overrides:

kind in class ParameterizedTypeBinding

debugName

public java.lang.String debugName()

Overrides:

debugName in class ParameterizedTypeBinding

See Also:

TypeBinding.debugName()

annotatedDebugName

public java.lang.String annotatedDebugName()

Overrides:

annotatedDebugName in class ParameterizedTypeBinding

genericTypeSignature

public char[] genericTypeSignature()

Ltype; LY;

Overrides:

genericTypeSignature in class ParameterizedTypeBinding

isEquivalentTo

public boolean isEquivalentTo(TypeBinding otherType)

Description copied from class: TypeBinding

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

Overrides:

isEquivalentTo in class ParameterizedTypeBinding

isProvablyDistinct

public boolean isProvablyDistinct(TypeBinding otherType)

Description copied from class: TypeBinding

Returns true if a type is provably distinct from another one,

Overrides:

isProvablyDistinct in class TypeBinding

isSubtypeOf

public boolean isSubtypeOf(TypeBinding right,
                           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 ParameterizedTypeBinding

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.

initializeArguments

protected void initializeArguments()

Overrides:

initializeArguments in class ParameterizedTypeBinding

capture

public ParameterizedTypeBinding capture(Scope scope,
                                        int start,
                                        int end)

Description copied from class: ParameterizedTypeBinding

Perform capture conversion for a parameterized type with wildcard arguments

Overrides:

capture in class ParameterizedTypeBinding

See Also:

TypeBinding.capture(Scope,int, int)

uncapture

public TypeBinding uncapture(Scope scope)

Description copied from class: ParameterizedTypeBinding

Perform capture deconversion for a parameterized type with captured wildcard arguments

Overrides:

uncapture in class ParameterizedTypeBinding

See Also:

TypeBinding.uncapture(Scope)

getSingleAbstractMethod

public MethodBinding getSingleAbstractMethod(Scope scope,
                                             boolean replaceWildcards)

Description copied from class: TypeBinding

Return the single abstract method of a functional interface, or one of null or ReferenceBinding.samProblemBinding, if the receiver is not a functional interface as defined in JLS 9.8. In particular null is answered if the receiver is not a reference type, or is a problem type.

Overrides:

getSingleAbstractMethod in class ParameterizedTypeBinding

Parameters:

scope - scope

replaceWildcards - Should wildcards be replaced following JLS 9.8? Say false for lambdas with explicit argument types which should apply 18.5.3

Returns:

The single abstract method of a functional interface, or one of null or ReferenceBinding.samProblemBinding, if the receiver is not a functional interface.

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 ParameterizedTypeBinding

readableName

public char[] readableName(boolean showGenerics)

Overrides:

readableName in class ParameterizedTypeBinding

See Also:

Binding.readableName()

shortReadableName

public char[] shortReadableName(boolean showGenerics)

Overrides:

shortReadableName in class ParameterizedTypeBinding

See Also:

Binding.shortReadableName()

upwardsProjection

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

Description copied from class: ReferenceBinding

Perform an upwards type projection as per JLS 4.10.5

Overrides:

upwardsProjection in class ParameterizedTypeBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

downwardsProjection

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

Description copied from class: ReferenceBinding

Perform a downwards type projection as per JLS 4.10.5

Overrides:

downwardsProjection in class ParameterizedTypeBinding

Parameters:

scope - Relevant scope for evaluating type projection

mentionedTypeVariables - Filter for mentioned type variabled

enclosingType

public ReferenceBinding enclosingType()

Overrides:

enclosingType in class ParameterizedTypeBinding

See Also:

TypeBinding.enclosingType()