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

Class TypeReference

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

org.aspectj.org.eclipse.jdt.internal.compiler.ast.TypeReference

All Implemented Interfaces:

TypeConstants, TypeIds

Direct Known Subclasses:

IntersectionCastTypeReference, JavadocImplicitTypeReference, QualifiedTypeReference, SingleTypeReference, UnionTypeReference

public abstract class TypeReference
extends Expression

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	TypeReference.AnnotationPosition	Simplified specification of where in a (possibly complex) type reference we are looking for type annotations.

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

TypeConstants.BoundCheckStatus, TypeConstants.CloseMethodRecord, TypeConstants.DangerousMethod

Field Summary

Fields

Modifier and Type	Field	Description
Annotation[][]	annotations
static final TypeReference[]	NO_TYPE_ARGUMENTS

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

constant, implicitConversion, NO_EXPRESSIONS, resolvedType, statementEnd

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

COMPLAINED_FAKE_REACHABLE, COMPLAINED_UNREACHABLE, inPreConstructorContext, NOT_COMPLAINED

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

Bit1, Bit10, Bit11, Bit12, Bit13, Bit14, Bit15, Bit16, Bit17, Bit18, Bit19, Bit2, Bit20, Bit21, Bit22, Bit23, Bit24, Bit25, Bit26, Bit27, Bit28, Bit29, Bit3, Bit30, Bit31, Bit32, Bit32L, Bit33L, Bit34L, Bit35L, Bit36L, Bit37L, Bit38L, Bit39L, Bit4, Bit40L, Bit41L, Bit42L, Bit43L, Bit44L, Bit45L, Bit46L, Bit47L, Bit48L, Bit49L, Bit5, Bit50L, Bit51L, Bit52L, Bit53L, Bit54L, Bit55L, Bit56L, Bit57L, Bit58L, Bit59L, Bit6, Bit60L, Bit61L, Bit62L, Bit63L, Bit64L, Bit7, Bit8, Bit9, bits, BlockExit, CanBeStatic, ContainsAssertion, DepthMASK, DepthSHIFT, DidResolve, DisableUnnecessaryCastCheck, DiscardEnclosingInstance, DocumentedCasesOmitted, DocumentedFallthrough, Empty, ErrorInSignature, FirstAssignmentToLocal, GenerateCheckcast, HasAbstractMethods, HasAllMethodBodies, HasBeenGenerated, HasBeenResolved, HasFunctionalInterfaceTypes, HasLocalType, HasSyntaxErrors, HasTypeAnnotations, IgnoreNoEffectAssignCheck, IgnoreRawTypeCheck, inModule, InsideExpressionStatement, InsideJavadoc, INVOCATION_ARGUMENT_OK, INVOCATION_ARGUMENT_UNCHECKED, INVOCATION_ARGUMENT_WILDCARD, IsAdditionalDeclarator, IsAnnotationDefaultValue, IsAnonymousType, IsAnySubRoutineEscaping, IsArgument, IsCanonicalConstructor, IsCapturedOuterLocal, IsCompoundAssigned, IsDefaultConstructor, IsDiamond, IsElseIfStatement, IsElseStatementUnreachable, IsForeachElementVariable, IsImplicit, IsImplicitThis, IsImplicitUnit, IsLocalDeclarationReachable, IsLocalType, IsMemberType, IsNonNull, IsReachable, IsRecovered, IsReturnedValue, IsSecondaryType, IsSecretYieldValueUsage, IsStrictlyAssigned, IsSubRoutineEscaping, IsSuperType, IsSynchronized, IsSynthetic, IsThenStatementUnreachable, IsTryBlockExiting, IsTypeElided, IsUnionType, IsUsedInPatternGuard, IsUsefulEmptyStatement, IsVarArgs, LabelUsed, NeededScope, NeedFreeReturn, NeedReceiverGenericCast, NO_ARGUMENTS, NO_RECORD_COMPONENTS, NO_TYPE_PATTERNS, NO_VARIABLES, OnDemand, OperatorMASK, OperatorSHIFT, OverridingMethodWithSupercall, ParenthesizedMASK, ParenthesizedSHIFT, ResolveJavadoc, RestrictiveFlagMASK, ReturnTypeIDMASK, ShadowsOuterLocal, sourceEnd, sourceStart, SuperAccess, ThenExit, Unchecked, UndocumentedEmptyBlock, UnnecessaryCast, UnsafeCast, Used

Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeConstants

ANNOTATION, ANNOTATION_PREFIX, ANNOTATION_SUFFIX, ANONYM_PREFIX, ANONYM_SUFFIX, ANONYMOUS_METHOD, APACHE, APACHE_DBUTILS, APACHE_IOUTILS, API, ASSERT_CLASS, ASSERT_FALSE, ASSERT_NOTNULL, ASSERT_NULL, ASSERT_TRUE, ASSERTIONS_CLASS, AUTOMATIC_MODULE_NAME, AUTOWIRED, BEANS, BOOLEAN, BYTE, CAPTURE18, CHANNELS, CHAR, CharArray_JAVA_IO_OBJECTINPUTSTREAM, CharArray_JAVA_IO_OBJECTOUTPUTSTREAM, CharArray_JAVA_IO_OBJECTSTREAMFIELD, CharArray_JAVA_LANG_ANNOTATION_ANNOTATION, CharArray_JAVA_LANG_ENUM, CharArray_JAVA_LANG_OBJECT, CharArray_JAVA_LANG_RECORD, CharArray_JAVA_LANG_RECORD_SLASH, CHECK_ARGUMENT, CHECK_NOT_NULL, CHECK_STATE, CLINIT, CLONE, CLOSE, CLOSE_QUIETLY, closeMethods, COM, COM_GOOGLE_COMMON_BASE_PRECONDITIONS, COM_GOOGLE_INJECT_INJECT, COMMONS, COMPILER, CONSTRAINT_EQUAL, CONSTRAINT_EXTENDS, CONSTRAINT_SUPER, CONTAINS, CONTAINS_ALL, CONTAINS_KEY, CONTAINS_VALUE, CORE, DEFAULT_LOCATION__ARRAY_CONTENTS, DEFAULT_LOCATION__FIELD, DEFAULT_LOCATION__PARAMETER, DEFAULT_LOCATION__RETURN_TYPE, DEFAULT_LOCATION__TYPE_ARGUMENT, DEFAULT_LOCATION__TYPE_BOUND, DEFAULT_LOCATION__TYPE_PARAMETER, DESERIALIZE_LAMBDA, DOM, DOUBLE, ECLIPSE, EQUALS, ESSENTIAL_API, FACTORY, FILTER, FLOAT, FLUENT_RESOURCE_CLASSES, FOR_REMOVAL, FRAMEWORK, GET, GETCLASS, GOOGLE, GUAVA_CLOSEABLES, HASHCODE, IMPLEMENTS, INDEX_OF, INIT, INJECT_PACKAGE, INJECT_TYPE, INT, INTERNAL, INVOKE, IO, IS_INSTANCE, IS_NOTNULL, IS_NULL, IS_TRUE, ITYPEBINDING, JAKARTA, JAKARTA_ANNOTATION_INJECT_INJECT, JAVA, JAVA_BASE, JAVA_IO, JAVA_IO_CLOSEABLE, JAVA_IO_EXTERNALIZABLE, JAVA_IO_IOEXCEPTION, JAVA_IO_OBJECTINPUTSTREAM, JAVA_IO_OBJECTOUTPUTSTREAM, JAVA_IO_OBJECTSTREAMEXCEPTION, JAVA_IO_PRINTSTREAM, JAVA_IO_RESOURCE_FREE_CLOSEABLES, JAVA_IO_SERIALIZABLE, JAVA_IO_WRAPPER_CLOSEABLES, JAVA_LANG, JAVA_LANG_ANNOTATION, JAVA_LANG_ANNOTATION_ANNOTATION, JAVA_LANG_ANNOTATION_DOCUMENTED, JAVA_LANG_ANNOTATION_ELEMENTTYPE, JAVA_LANG_ANNOTATION_INHERITED, JAVA_LANG_ANNOTATION_REPEATABLE, JAVA_LANG_ANNOTATION_RETENTION, JAVA_LANG_ANNOTATION_RETENTIONPOLICY, JAVA_LANG_ANNOTATION_TARGET, JAVA_LANG_ASSERTIONERROR, JAVA_LANG_AUTOCLOSEABLE, JAVA_LANG_BOOLEAN, JAVA_LANG_BYTE, JAVA_LANG_CHARACTER, JAVA_LANG_CLASS, JAVA_LANG_CLASSNOTFOUNDEXCEPTION, JAVA_LANG_CLONEABLE, JAVA_LANG_CONSTANT_CLASSDESC, JAVA_LANG_DEPRECATED, JAVA_LANG_DOUBLE, JAVA_LANG_ENUM, JAVA_LANG_ENUM_ENUMDESC, JAVA_LANG_ERROR, JAVA_LANG_EXCEPTION, JAVA_LANG_FLOAT, JAVA_LANG_FUNCTIONAL_INTERFACE, JAVA_LANG_ILLEGALARGUMENTEXCEPTION, JAVA_LANG_INCOMPATIBLECLASSCHANGEERROR, JAVA_LANG_INTEGER, JAVA_LANG_INVOKE_CONSTANTBOOTSTRAP, JAVA_LANG_INVOKE_LAMBDAMETAFACTORY, JAVA_LANG_INVOKE_METHODHANDLE, JAVA_LANG_INVOKE_METHODHANDLE_$_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLE_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLES, JAVA_LANG_INVOKE_SERIALIZEDLAMBDA, JAVA_LANG_INVOKE_STRING_CONCAT_FACTORY, JAVA_LANG_INVOKE_VARHANDLE, JAVA_LANG_ITERABLE, JAVA_LANG_LONG, JAVA_LANG_NOCLASSDEFERROR, JAVA_LANG_NOSUCHFIELDERROR, JAVA_LANG_OBJECT, JAVA_LANG_OVERRIDE, JAVA_LANG_RECORD, JAVA_LANG_REFLECT_CONSTRUCTOR, JAVA_LANG_REFLECT_FIELD, JAVA_LANG_REFLECT_METHOD, JAVA_LANG_RUNTIME_OBJECTMETHODS, JAVA_LANG_RUNTIME_SWITCHBOOTSTRAPS, JAVA_LANG_RUNTIME_TEMPLATERUNTIME, JAVA_LANG_RUNTIMEEXCEPTION, JAVA_LANG_SAFEVARARGS, JAVA_LANG_SHORT, JAVA_LANG_STRING, JAVA_LANG_STRING_TEMPLATE_STR, JAVA_LANG_STRINGBUFFER, JAVA_LANG_STRINGBUILDER, JAVA_LANG_STRINGTEMPLATE, JAVA_LANG_STRINGTEMPLATE_PROCESSOR, JAVA_LANG_SUPPRESSWARNINGS, JAVA_LANG_SYSTEM, JAVA_LANG_THROWABLE, JAVA_LANG_VOID, JAVA_NIO_FILE_FILES, JAVA_UTIL_ARRAYS, JAVA_UTIL_COLLECTION, JAVA_UTIL_ITERATOR, JAVA_UTIL_LIST, JAVA_UTIL_MAP, JAVA_UTIL_OBJECTS, JAVA_UTIL_STREAM, JAVA_UTIL_STREAM__STREAM, JAVA_UTIL_ZIP_WRAPPER_CLOSEABLES, JAVAC, JAVAX, JAVAX_ANNOTATION_INJECT_INJECT, JAVAX_RMI_CORBA_STUB, JDK, JDK_INTERNAL_JAVAC_PREVIEW_FEATURE, JDK_INTERNAL_PREVIEW_FEATURE, JDK_INTERNAL_VALUEBASED, JDT, JUNIT, JUNIT_FRAMEWORK_ASSERT, JUPITER, KEYWORD_EXTENDS, LAMBDA_TYPE, LANG, LANG3, LAST_INDEX_OF, LENGTH, LONG, LOOKUP, MAIN, META_INF_MANIFEST_MF, METHOD_SOURCE, MODULE_INFO_CLASS_NAME, MODULE_INFO_CLASS_NAME_STRING, MODULE_INFO_FILE_NAME, MODULE_INFO_FILE_NAME_STRING, MODULE_INFO_NAME, MODULE_INFO_NAME_STRING, NEXT, NIO, NON_NULL, NOT_NULL, NULL, OBJECT, ONE_UTIL_STREAMEX, OPTIONAL, ORG, ORG_APACHE_COMMONS_LANG_VALIDATE, ORG_APACHE_COMMONS_LANG3_VALIDATE, ORG_ECLIPSE_CORE_RUNTIME_ASSERT, ORG_ECLIPSE_JDT_CORE_DOM_ITYPEBINDING, ORG_ECLIPSE_JDT_INTERNAL_COMPILER_LOOKUP_TYPEBINDING, ORG_JUNIT_ASSERT, ORG_JUNIT_JUPITER_API_ASSERTIONS, ORG_JUNIT_METHOD_SOURCE, ORG_SPRING_AUTOWIRED, OTHER_WRAPPER_CLOSEABLES, PACKAGE_INFO_NAME, PARAMS, PERMITS, PROVIDER, READOBJECT, READRESOLVE, RECORD_CLASS, RECORD_RESTRICTED_IDENTIFIER, REFLECT, REMOVE, REMOVE_ALL, REQUIRE_NON_NULL, REQUIRED, RESOURCE_FREE_CLOSEABLE_J_U_STREAMS, RESOURCE_FREE_CLOSEABLE_STREAMEX, RETAIN_ALL, RUNTIME, SEALED, SERIALPERSISTENTFIELDS, SERIALVERSIONUID, SHORT, SINCE, SPRING, STRING_CONCAT_MARKER_1, SYNTHETIC_ACCESS_METHOD_PREFIX, SYNTHETIC_ASSERT_DISABLED, SYNTHETIC_CLASS, SYNTHETIC_ENCLOSING_INSTANCE_PREFIX, SYNTHETIC_ENUM_CONSTANT_INITIALIZATION_METHOD_PREFIX, SYNTHETIC_ENUM_VALUES, SYNTHETIC_OUTER_LOCAL_PREFIX, SYNTHETIC_STATIC_FACTORY, SYNTHETIC_SWITCH_ENUM_TABLE, TOSTRING, TYPE, TYPE_PARAMETER_TARGET, TYPE_USE_TARGET, TYPEBINDING, UPPER_ANNOTATION_TYPE, UPPER_CLASS, UPPER_CONSTRUCTOR, UPPER_FIELD, UPPER_LOCAL_VARIABLE, UPPER_METHOD, UPPER_MODULE, UPPER_PACKAGE, UPPER_PARAMETER, UPPER_RECORD_COMPONENT, UPPER_RUNTIME, UPPER_SOURCE, UTIL, VALIDATE_CLASS, VALUE, VALUEOF, VALUES, VAR, VOID, WILDCARD_CAPTURE, WILDCARD_CAPTURE_NAME_PREFIX, WILDCARD_CAPTURE_NAME_SUFFIX, WILDCARD_CAPTURE_SIGNABLE_NAME_SUFFIX, WILDCARD_EXTENDS, WILDCARD_MINUS, WILDCARD_NAME, WILDCARD_PLUS, WILDCARD_STAR, WILDCARD_SUPER, WRITEOBJECT, WRITEREPLACE, YIELD, ZIP

Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeIds

BitAnyNullAnnotation, BitAutoCloseable, BitCloseable, BitCollection, BitList, BitMap, BitNonNullAnnotation, BitNonNullByDefaultAnnotation, BitNotOwningAnnotation, BitNullableAnnotation, BitOwningAnnotation, BitResourceFreeCloseable, BitUninitialized, BitUninternedType, BitWrapperCloseable, Boolean2Boolean, Boolean2Int, Boolean2String, BOXING, Byte2Byte, Byte2Char, Byte2Double, Byte2Float, Byte2Int, Byte2Long, Byte2Short, Byte2String, Char2Byte, Char2Char, Char2Double, Char2Float, Char2Int, Char2Long, Char2Short, Char2String, COMPILE_TYPE_MASK, Double2Byte, Double2Char, Double2Double, Double2Float, Double2Int, Double2Long, Double2Short, Double2String, Float2Byte, Float2Char, Float2Double, Float2Float, Float2Int, Float2Long, Float2Short, Float2String, IMPLICIT_CONVERSION_MASK, InheritableBits, Int2Byte, Int2Char, Int2Double, Int2Float, Int2Int, Int2Long, Int2Short, Int2String, Long2Byte, Long2Char, Long2Double, Long2Float, Long2Int, Long2Long, Long2Short, Long2String, NoId, Null2Null, Null2String, Object2boolean, Object2byte, Object2char, Object2double, Object2float, Object2int, Object2long, Object2Object, Object2short, Object2String, Short2Byte, Short2Char, Short2Double, Short2Float, Short2Int, Short2Long, Short2Short, Short2String, String2String, T_boolean, T_byte, T_char, T_ComGoogleCommonBasePreconditions, T_ComGoogleInjectInject, T_double, T_float, T_int, T_JavaIoException, T_JavaIoExternalizable, T_JavaIoObjectStreamException, T_JavaIoPrintStream, T_JavaIoSerializable, T_JavaLangAnnotationAnnotation, T_JavaLangAnnotationDocumented, T_JavaLangAnnotationElementType, T_JavaLangAnnotationInherited, T_JavaLangAnnotationRepeatable, T_JavaLangAnnotationRetention, T_JavaLangAnnotationRetentionPolicy, T_JavaLangAnnotationTarget, T_JavaLangAssertionError, T_JavaLangAutoCloseable, T_JavaLangBoolean, T_JavaLangByte, T_JavaLangCharacter, T_JavaLangClass, T_JavaLangClassNotFoundException, T_JavaLangCloneable, T_JavaLangDeprecated, T_JavaLangDouble, T_JavaLangEnum, T_JavaLangError, T_JavaLangException, T_JavaLangFloat, T_JavaLangFunctionalInterface, T_JavaLangIllegalArgumentException, T_JavaLangInteger, T_JavaLangInvokeMethodHandlePolymorphicSignature, T_JavaLangIterable, T_JavaLangLong, T_JavaLangNoClassDefError, T_JavaLangObject, T_JavaLangOverride, T_JavaLangRecord, T_JavaLangReflectConstructor, T_JavaLangReflectField, T_JavaLangReflectMethod, T_JavaLangRuntimeException, T_JavaLangSafeVarargs, T_JavaLangShort, T_JavaLangString, T_JavaLangStringBuffer, T_JavaLangStringBuilder, T_JavaLangSuppressWarnings, T_JavaLangSystem, T_JavaLangThrowable, T_JavaLangVoid, T_JavaUtilCollection, T_JavaUtilIterator, T_JavaUtilList, T_JavaUtilMap, T_JavaUtilObjects, T_JavaxInjectInject, T_JdkInternalPreviewFeature, T_JunitFrameworkAssert, T_LastWellKnownTypeId, T_long, T_null, T_OrgApacheCommonsLang3Validate, T_OrgApacheCommonsLangValidate, T_OrgEclipseCoreRuntimeAssert, T_OrgJunitAssert, T_OrgJunitJupiterApiAssertions, T_OrgJunitJupiterParamsProviderMethodSource, T_OrgSpringframeworkBeansFactoryAnnotationAutowired, T_short, T_undefined, T_void, UNBOXING

Constructor Summary

Constructors

Constructor	Description
TypeReference()

Method Summary

Modifier and Type	Method	Description
void	aboutToResolve(Scope scope)
FlowInfo	analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
abstract TypeReference	augmentTypeWithAdditionalDimensions(int additionalDimensions, Annotation[][] additionalAnnotations, boolean isVarargs)
static final TypeReference	baseTypeReference(int baseType, int dim)
static final TypeReference	baseTypeReference(int baseType, int dim, Annotation[][] dimAnnotations)
void	checkBounds(Scope scope)
protected void	checkIllegalNullAnnotation(Scope scope)
protected void	checkIllegalNullAnnotations(Scope scope, TypeReference[] typeArguments)	Check all typeArguments for illegal null annotations on base types.
protected void	checkNullConstraints(Scope scope, Substitution substitution, TypeBinding[] variables, int rank)	Check whether this type reference conforms to the null constraints defined for the corresponding type variable.
static boolean	containsNullAnnotation(Annotation[] annotations)
int	dimensions()
int	extraDimensions()	This method is used to return the array dimension declared after the name of a local or a field declaration.
Annotation	findAnnotation(long nullTagBits)	Retrieve the null annotation that has been translated to the given nullTagBits.
AnnotationContext[]	getAllAnnotationContexts(int targetType)
void	getAllAnnotationContexts(int targetType, int info, int typeIndex, List<AnnotationContext> allAnnotationContexts)
void	getAllAnnotationContexts(int targetType, int info, List<AnnotationContext> allAnnotationContexts)	info can be either a type index (superclass/superinterfaces) or a pc into the bytecode
void	getAllAnnotationContexts(int targetType, int info, List<AnnotationContext> allAnnotationContexts, Annotation[] se7Annotations)
void	getAllAnnotationContexts(int targetType, int info, List<AnnotationContext> allAnnotationContexts, Annotation[][] annotationsOnDimensions, int dimensions)	info can be either a type index (superclass/superinterfaces) or a pc into the bytecode
void	getAllAnnotationContexts(int targetType, List<AnnotationContext> allAnnotationContexts)
int	getAnnotatableLevels()
Annotation[][]	getAnnotationsOnDimensions()
Annotation[][]	getAnnotationsOnDimensions(boolean useSourceOrder)
abstract char[]	getLastToken()
protected Annotation[][]	getMergedAnnotationsOnDimensions(int additionalDimensions, Annotation[][] additionalAnnotations)
char[][]	getParameterizedTypeName()
Annotation[]	getTopAnnotations()
TypeReference[][]	getTypeArguments()
protected abstract TypeBinding	getTypeBinding(Scope scope)
TypeBinding	getTypeBindingPublic(Scope scope)
abstract char[][]	getTypeName()
TypeReference[]	getTypeReferences()
protected static boolean	hasCompletedHierarchyCheckWithMembers(TypeBinding type)
boolean	hasNullTypeAnnotation(TypeReference.AnnotationPosition position)
protected TypeBinding	internalResolveType(Scope scope, int location)
boolean	isBaseTypeReference()
boolean	isParameterizedTypeReference()
boolean	isTypeNameVar(Scope scope)	Checks to see if the declaration uses 'var' as type name
boolean	isTypeReference()
boolean	isUnionType()
boolean	isVarargs()
boolean	isWildcard()
protected void	reportDeprecatedType(TypeBinding type, Scope scope)
protected void	reportDeprecatedType(TypeBinding type, Scope scope, int index)
protected void	reportInvalidType(Scope scope)
protected void	reportVarIsNotAllowedHere(Scope scope)
protected void	resolveAnnotations(Scope scope, int location)
TypeBinding	resolveSuperType(ClassScope scope)
final TypeBinding	resolveType(BlockScope blockScope)	Resolve the type of this expression in the context of a blockScope
TypeBinding	resolveType(BlockScope scope, boolean checkBounds)
TypeBinding	resolveType(BlockScope scope, boolean checkBounds, int location)
TypeBinding	resolveType(ClassScope scope)	Resolve the type of this expression in the context of a classScope
TypeBinding	resolveType(ClassScope scope, int location)
TypeBinding	resolveTypeArgument(BlockScope blockScope, ReferenceBinding genericType, int rank)
TypeBinding	resolveTypeArgument(ClassScope classScope, ReferenceBinding genericType, int rank)
void	setAnnotationsOnDimensions(Annotation[][] annotationsOnDimensions)
abstract void	traverse(ASTVisitor visitor, BlockScope scope)	Traverse an expression in the context of a blockScope
abstract void	traverse(ASTVisitor visitor, ClassScope scope)	Traverse an expression in the context of a classScope
protected TypeBinding	updateParameterizedTypeWithAnnotations(Scope scope, TypeBinding type, TypeReference[] argRefs)
void	updateWithAnnotations(Scope scope, int location)

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

analyseCode, buildStringForConcatation, checkCastTypesCompatibility, checkNPE, checkNPE, checkNPEbyUnboxing, checkUnsafeCast, computeConversion, computeNullStatus, forcedToBeRaw, generateCode, generateCode, generateOptimizedBoolean, generateOptimizedStringConcatenation, generateOptimizedStringConcatenationCreation, getDirectBinding, getPolyExpressions, isBoxingCompatibleWith, isCompactableOperation, isCompatibleWith, isConstantValueOfTypeAssignableToType, isConstantValueRepresentable, isExactMethodReference, isFunctionalType, isPertinentToApplicability, isPolyExpression, isPolyExpression, isPotentiallyCompatibleWith, isTrulyExpression, localVariableBinding, markAsNonNull, nullAnnotatedVariableBinding, nullStatus, optimizedBooleanConstant, optimizedNullComparisonConstant, postConversionType, print, printExpression, printStatement, resolve, resolveExpressionExpecting, resolveExpressionType, resolveTypeExpecting, resolveTypeExpectingWithBindings, resolveTypeWithBindings, reusableJSRTarget, setExpectedType, setExpressionContext, sIsMoreSpecific, statementExpression, tagAsNeedCheckCast, tagAsUnnecessaryCast, toTypeReference, updateFlowOnBooleanResult

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

analyseArguments, bindingsWhenComplete, bindingsWhenFalse, bindingsWhenTrue, branchChainTo, breaksOut, canCompleteNormally, checkAgainstNullTypeAnnotation, complainIfUnreachable, completesByContinue, containsPatternVariable, containsPatternVariable, continueCompletes, continuesAtOuterLabel, doesNotCompleteNormally, doNotReportUnreachable, expectedType, findConstructorBinding, generateArguments, getExpressionContext, invocationTargetType, isBoxingCompatible, isEmptyBlock, isKnowDeadCodePattern, isValidJavaStatement, resolveWithBindings

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

acceptPotentiallyCompatibleMethods, checkingPotentialCompatibility, checkInvocationArguments, concreteStatement, copyRecordComponentAnnotations, copySE8AnnotationsToType, getRelevantAnnotations, handleNonNullByDefault, isFieldUseDeprecated, isImplicitThis, isMethodUseDeprecated, isQualifiedSuper, isSuper, isThis, isType, isTypeUseDeprecated, isUnqualifiedSuper, printAnnotations, printIndent, printModifiers, receiverIsImplicitThis, resolveAnnotations, resolveAnnotations, resolveAnnotations, resolveDeprecatedAnnotations, resolvePolyExpressionArguments, resolveStatements, sourceEnd, sourceStart, toString

Methods inherited from class java.lang.Object

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

Field Details

NO_TYPE_ARGUMENTS

public static final TypeReference[] NO_TYPE_ARGUMENTS

annotations

public Annotation[][] annotations

Constructor Details

TypeReference

public TypeReference()

Method Details

baseTypeReference

public static final TypeReference baseTypeReference(int baseType,
 int dim,
 Annotation[][] dimAnnotations)

baseTypeReference

public static final TypeReference baseTypeReference(int baseType,
 int dim)

aboutToResolve

public void aboutToResolve(Scope scope)

analyseCode

public FlowInfo analyseCode(BlockScope currentScope,
 FlowContext flowContext,
 FlowInfo flowInfo)

Overrides:

analyseCode in class Expression

checkBounds

public void checkBounds(Scope scope)

augmentTypeWithAdditionalDimensions

public abstract TypeReference augmentTypeWithAdditionalDimensions(int additionalDimensions,
 Annotation[][] additionalAnnotations,
 boolean isVarargs)

getMergedAnnotationsOnDimensions

protected Annotation[][] getMergedAnnotationsOnDimensions(int additionalDimensions,
 Annotation[][] additionalAnnotations)

dimensions

public int dimensions()

extraDimensions

public int extraDimensions()

This method is used to return the array dimension declared after the name of a local or a field declaration. For example: int i, j[] = null, k[][] = {{}}; It should return 0 for i, 1 for j and 2 for k.

Returns:

int the extra dimension found

getAllAnnotationContexts

public AnnotationContext[] getAllAnnotationContexts(int targetType)

getAllAnnotationContexts

public void getAllAnnotationContexts(int targetType,
 int info,
 List<AnnotationContext> allAnnotationContexts)

info can be either a type index (superclass/superinterfaces) or a pc into the bytecode

getAllAnnotationContexts

public void getAllAnnotationContexts(int targetType,
 int info,
 List<AnnotationContext> allAnnotationContexts,
 Annotation[] se7Annotations)

getAllAnnotationContexts

public void getAllAnnotationContexts(int targetType,
 int info,
 List<AnnotationContext> allAnnotationContexts,
 Annotation[][] annotationsOnDimensions,
 int dimensions)

info can be either a type index (superclass/superinterfaces) or a pc into the bytecode

getAllAnnotationContexts

public void getAllAnnotationContexts(int targetType,
 int info,
 int typeIndex,
 List<AnnotationContext> allAnnotationContexts)

getAllAnnotationContexts

public void getAllAnnotationContexts(int targetType,
 List<AnnotationContext> allAnnotationContexts)

getAnnotationsOnDimensions

public Annotation[][] getAnnotationsOnDimensions()

getTypeArguments

public TypeReference[][] getTypeArguments()

getAnnotationsOnDimensions

public Annotation[][] getAnnotationsOnDimensions(boolean useSourceOrder)

Parameters:

useSourceOrder - if true annotations on dimensions are returned in source order, otherwise they are returned per how they ought to be interpreted by a type system, or external persistence view. For example, given the following: int @Nullable [] f @NonNull [] ==> f is really a @NonNull array of @Nullable arrays of ints. This is the type system view since extended dimensions bind more readily than type components that precede the identifier. This is how it ought to be encoded in bindings and how it ought to be persisted in class files. However for DOM/AST construction, we need the dimensions in source order, so we provide a way for the clients to ask what they want.

setAnnotationsOnDimensions

public void setAnnotationsOnDimensions(Annotation[][] annotationsOnDimensions)

getLastToken

public abstract char[] getLastToken()

getParameterizedTypeName

public char[][] getParameterizedTypeName()

Returns:

char[][] TODO (jerome) should merge back into #getTypeName()

getTypeBindingPublic

public TypeBinding getTypeBindingPublic(Scope scope)

getTypeBinding

protected abstract TypeBinding getTypeBinding(Scope scope)

getTypeName

public abstract char[][] getTypeName()

Returns:

char[][]

internalResolveType

protected TypeBinding internalResolveType(Scope scope,
 int location)

isTypeReference

public boolean isTypeReference()

Overrides:

isTypeReference in class Expression

isWildcard

public boolean isWildcard()

isUnionType

public boolean isUnionType()

isVarargs

public boolean isVarargs()

isParameterizedTypeReference

public boolean isParameterizedTypeReference()

reportDeprecatedType

protected void reportDeprecatedType(TypeBinding type,
 Scope scope,
 int index)

reportDeprecatedType

protected void reportDeprecatedType(TypeBinding type,
 Scope scope)

reportInvalidType

protected void reportInvalidType(Scope scope)

reportVarIsNotAllowedHere

protected void reportVarIsNotAllowedHere(Scope scope)

resolveSuperType

public TypeBinding resolveSuperType(ClassScope scope)

resolveType

public final TypeBinding resolveType(BlockScope blockScope)

Description copied from class: Expression

Resolve the type of this expression in the context of a blockScope

Overrides:

resolveType in class Expression

Returns:

Return the actual type of this expression after resolution

resolveType

public TypeBinding resolveType(BlockScope scope,
 boolean checkBounds)

resolveType

public TypeBinding resolveType(BlockScope scope,
 boolean checkBounds,
 int location)

resolveType

public TypeBinding resolveType(ClassScope scope)

Description copied from class: Expression

Resolve the type of this expression in the context of a classScope

Overrides:

resolveType in class Expression

Returns:

Return the actual type of this expression after resolution

resolveType

public TypeBinding resolveType(ClassScope scope,
 int location)

resolveTypeArgument

public TypeBinding resolveTypeArgument(BlockScope blockScope,
 ReferenceBinding genericType,
 int rank)

resolveTypeArgument

public TypeBinding resolveTypeArgument(ClassScope classScope,
 ReferenceBinding genericType,
 int rank)

traverse

public abstract void traverse(ASTVisitor visitor,
 BlockScope scope)

Description copied from class: Expression

Traverse an expression in the context of a blockScope

Overrides:

traverse in class Expression

traverse

public abstract void traverse(ASTVisitor visitor,
 ClassScope scope)

Description copied from class: Expression

Traverse an expression in the context of a classScope

Overrides:

traverse in class Expression

updateWithAnnotations

public void updateWithAnnotations(Scope scope,
 int location)

updateParameterizedTypeWithAnnotations

protected TypeBinding updateParameterizedTypeWithAnnotations(Scope scope,
 TypeBinding type,
 TypeReference[] argRefs)

resolveAnnotations

protected void resolveAnnotations(Scope scope,
 int location)

hasCompletedHierarchyCheckWithMembers

protected static boolean hasCompletedHierarchyCheckWithMembers(TypeBinding type)

getTopAnnotations

public Annotation[] getTopAnnotations()

getAnnotatableLevels

public int getAnnotatableLevels()

checkIllegalNullAnnotations

protected void checkIllegalNullAnnotations(Scope scope,
 TypeReference[] typeArguments)

Check all typeArguments for illegal null annotations on base types.

checkNullConstraints

protected void checkNullConstraints(Scope scope,
 Substitution substitution,
 TypeBinding[] variables,
 int rank)

Check whether this type reference conforms to the null constraints defined for the corresponding type variable.

checkIllegalNullAnnotation

protected void checkIllegalNullAnnotation(Scope scope)

findAnnotation

public Annotation findAnnotation(long nullTagBits)

Retrieve the null annotation that has been translated to the given nullTagBits.

hasNullTypeAnnotation

public boolean hasNullTypeAnnotation(TypeReference.AnnotationPosition position)

containsNullAnnotation

public static boolean containsNullAnnotation(Annotation[] annotations)

getTypeReferences

public TypeReference[] getTypeReferences()

isBaseTypeReference

public boolean isBaseTypeReference()

isTypeNameVar

public boolean isTypeNameVar(Scope scope)

Checks to see if the declaration uses 'var' as type name

Parameters:

scope - Relevant scope, for error reporting

Returns:

true, if source level is Java 10 or above and the type name is just 'var', false otherwise