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

  • 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