| /******************************************************************************* |
| * Copyright (c) 2000, 2016 IBM Corporation and others. |
| * |
| * This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License 2.0 |
| * which accompanies this distribution, and is available at |
| * https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| * Andy Clement (GoPivotal, Inc) aclement@gopivotal.com - Contributions for |
| * Bug 415397 - [1.8][compiler] Type Annotations on wildcard type argument dropped |
| * Stephan Herrmann - Contribution for |
| * Bug 415043 - [1.8][null] Follow-up re null type annotations after bug 392099 |
| * Bug 417295 - [1.8[[null] Massage type annotated null analysis to gel well with deep encoded type bindings. |
| * Bug 429958 - [1.8][null] evaluate new DefaultLocation attribute of @NonNullByDefault |
| * Bug 440462 - [null][compiler]NPE in EJC for erroneous null annotations |
| * Bug 441693 - [1.8][null] Bogus warning for type argument annotated with @NonNull |
| *******************************************************************************/ |
| package org.eclipse.jdt.internal.compiler.ast; |
| |
| import org.eclipse.jdt.core.compiler.CharOperation; |
| import org.eclipse.jdt.internal.compiler.ASTVisitor; |
| import org.eclipse.jdt.internal.compiler.lookup.*; |
| |
| /** |
| * Node to represent Wildcard |
| */ |
| public class Wildcard extends SingleTypeReference { |
| |
| public static final int UNBOUND = 0; |
| public static final int EXTENDS = 1; |
| public static final int SUPER = 2; |
| |
| public TypeReference bound; |
| public int kind; |
| |
| public Wildcard(int kind) { |
| super(WILDCARD_NAME, 0); |
| this.kind = kind; |
| } |
| |
| @Override |
| public char [][] getParameterizedTypeName() { |
| switch (this.kind) { |
| case Wildcard.UNBOUND : |
| return new char[][] { WILDCARD_NAME }; |
| case Wildcard.EXTENDS : |
| return new char[][] { CharOperation.concat(WILDCARD_NAME, WILDCARD_EXTENDS, CharOperation.concatWith(this.bound.getParameterizedTypeName(), '.')) }; |
| default: // SUPER |
| return new char[][] { CharOperation.concat(WILDCARD_NAME, WILDCARD_SUPER, CharOperation.concatWith(this.bound.getParameterizedTypeName(), '.')) }; |
| } |
| } |
| |
| @Override |
| public char [][] getTypeName() { |
| switch (this.kind) { |
| case Wildcard.UNBOUND : |
| return new char[][] { WILDCARD_NAME }; |
| case Wildcard.EXTENDS : |
| return new char[][] { CharOperation.concat(WILDCARD_NAME, WILDCARD_EXTENDS, CharOperation.concatWith(this.bound.getTypeName(), '.')) }; |
| default: // SUPER |
| return new char[][] { CharOperation.concat(WILDCARD_NAME, WILDCARD_SUPER, CharOperation.concatWith(this.bound.getTypeName(), '.')) }; |
| } |
| } |
| |
| private TypeBinding internalResolveType(Scope scope, ReferenceBinding genericType, int rank) { |
| TypeBinding boundType = null; |
| if (this.bound != null) { |
| boundType = scope.kind == Scope.CLASS_SCOPE |
| ? this.bound.resolveType((ClassScope)scope, Binding.DefaultLocationTypeBound) |
| : this.bound.resolveType((BlockScope)scope, true /* check bounds*/, Binding.DefaultLocationTypeBound); |
| this.bits |= (this.bound.bits & ASTNode.HasTypeAnnotations); |
| if (boundType == null) { |
| return null; |
| } |
| } |
| this.resolvedType = scope.environment().createWildcard(genericType, rank, boundType, null /*no extra bound*/, this.kind); |
| resolveAnnotations(scope, 0); // no defaultNullness for wildcards |
| |
| if(scope.environment().usesNullTypeAnnotations()) { |
| ((WildcardBinding)this.resolvedType).evaluateNullAnnotations(scope, this); |
| } |
| |
| return this.resolvedType; |
| } |
| |
| @Override |
| public StringBuffer printExpression(int indent, StringBuffer output){ |
| if (this.annotations != null && this.annotations[0] != null) { |
| printAnnotations(this.annotations[0], output); |
| output.append(' '); |
| } |
| switch (this.kind) { |
| case Wildcard.UNBOUND : |
| output.append(WILDCARD_NAME); |
| break; |
| case Wildcard.EXTENDS : |
| output.append(WILDCARD_NAME).append(WILDCARD_EXTENDS); |
| this.bound.printExpression(0, output); |
| break; |
| default: // SUPER |
| output.append(WILDCARD_NAME).append(WILDCARD_SUPER); |
| this.bound.printExpression(0, output); |
| break; |
| } |
| return output; |
| } |
| |
| // only invoked for improving resilience when unable to bind generic type from parameterized reference |
| @Override |
| public TypeBinding resolveType(BlockScope scope, boolean checkBounds, int location) { |
| if (this.bound != null) { |
| this.bound.resolveType(scope, checkBounds, Binding.DefaultLocationTypeBound); |
| this.bits |= (this.bound.bits & ASTNode.HasTypeAnnotations); |
| } |
| return null; |
| } |
| // only invoked for improving resilience when unable to bind generic type from parameterized reference |
| @Override |
| public TypeBinding resolveType(ClassScope scope, int location) { |
| if (this.bound != null) { |
| this.bound.resolveType(scope, Binding.DefaultLocationTypeBound); |
| this.bits |= (this.bound.bits & ASTNode.HasTypeAnnotations); |
| } |
| return null; |
| } |
| @Override |
| public TypeBinding resolveTypeArgument(BlockScope blockScope, ReferenceBinding genericType, int rank) { |
| return internalResolveType(blockScope, genericType, rank); // no defaultNullness for wildcards |
| } |
| |
| @Override |
| public TypeBinding resolveTypeArgument(ClassScope classScope, ReferenceBinding genericType, int rank) { |
| return internalResolveType(classScope, genericType, rank); // no defaultNullness for wildcards |
| } |
| |
| @Override |
| public void traverse(ASTVisitor visitor, BlockScope scope) { |
| if (visitor.visit(this, scope)) { |
| if (this.annotations != null) { |
| Annotation [] typeAnnotations = this.annotations[0]; |
| for (int i = 0, length = typeAnnotations == null ? 0 : typeAnnotations.length; i < length; i++) { |
| typeAnnotations[i].traverse(visitor, scope); |
| } |
| } |
| if (this.bound != null) { |
| this.bound.traverse(visitor, scope); |
| } |
| } |
| visitor.endVisit(this, scope); |
| } |
| |
| @Override |
| public void traverse(ASTVisitor visitor, ClassScope scope) { |
| if (visitor.visit(this, scope)) { |
| if (this.annotations != null) { |
| Annotation [] typeAnnotations = this.annotations[0]; |
| for (int i = 0, length = typeAnnotations == null ? 0 : typeAnnotations.length; i < length; i++) { |
| typeAnnotations[i].traverse(visitor, scope); |
| } |
| } |
| if (this.bound != null) { |
| this.bound.traverse(visitor, scope); |
| } |
| } |
| visitor.endVisit(this, scope); |
| } |
| @Override |
| public boolean isWildcard() { |
| return true; |
| } |
| } |