/*******************************************************************************
* Copyright (c) 2000, 2018 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
* Technical University Berlin - extended API and implementation
* Stephan Herrmann - Contribution for
* bug 392384 - [1.8][compiler][null] Restore nullness info from type annotations in class files
* Bug 415043 - [1.8][null] Follow-up re null type annotations after bug 392099
* Andy Clement (GoPivotal, Inc) aclement@gopivotal.com - Contributions for
* Bug 415543 - [1.8][compiler] Incorrect bound index in RuntimeInvisibleTypeAnnotations attribute
*******************************************************************************/
package org.eclipse.jdt.internal.compiler.ast;
import java.util.List;
import org.eclipse.jdt.core.compiler.CharOperation;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
import org.eclipse.jdt.internal.compiler.ast.TypeReference.AnnotationCollector;
import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import org.eclipse.jdt.internal.compiler.codegen.AnnotationTargetTypeConstants;
import org.eclipse.jdt.internal.compiler.codegen.CodeStream;
import org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding;
import org.eclipse.jdt.internal.compiler.lookup.Binding;
import org.eclipse.jdt.internal.compiler.lookup.BlockScope;
import org.eclipse.jdt.internal.compiler.lookup.ClassScope;
import org.eclipse.jdt.internal.compiler.lookup.FieldBinding;
import org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment;
import org.eclipse.jdt.internal.compiler.lookup.MethodBinding;
import org.eclipse.jdt.internal.compiler.lookup.MethodScope;
import org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding;
import org.eclipse.jdt.internal.compiler.lookup.Scope;
import org.eclipse.jdt.internal.compiler.lookup.TypeBinding;
import org.eclipse.jdt.internal.compiler.lookup.TypeConstants;
import org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding;
import org.eclipse.objectteams.otdt.internal.core.compiler.ast.TypeAnchorReference;
import org.eclipse.objectteams.otdt.internal.core.compiler.lookup.ITeamAnchor;
import org.eclipse.objectteams.otdt.internal.core.compiler.lookup.ProblemAnchorBinding;
import org.eclipse.objectteams.otdt.internal.core.compiler.model.FieldModel;
import org.eclipse.objectteams.otdt.internal.core.compiler.model.RoleModel;
/**
* OTDT changes:
* What: support base bound
*/
public class TypeParameter extends AbstractVariableDeclaration {
public TypeVariableBinding binding;
public TypeReference[] bounds;
/**
* @see org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration#getKind()
*/
@Override
public int getKind() {
return TYPE_PARAMETER;
}
//{ObjectTeams: new query
public boolean hasBaseBound() {
return this.type != null && (this.type.bits & IsRoleType) != 0;
}
// SH}
public void checkBounds(Scope scope) {
if (this.type != null) {
this.type.checkBounds(scope);
}
if (this.bounds != null) {
for (int i = 0, length = this.bounds.length; i < length; i++) {
this.bounds[i].checkBounds(scope);
}
}
}
public void getAllAnnotationContexts(int targetType, int typeParameterIndex, List allAnnotationContexts) {
AnnotationCollector collector = new AnnotationCollector(this, targetType, typeParameterIndex, allAnnotationContexts);
if (this.annotations != null) {
int annotationsLength = this.annotations.length;
for (int i = 0; i < annotationsLength; i++)
this.annotations[i].traverse(collector, (BlockScope) null);
}
switch(collector.targetType) {
case AnnotationTargetTypeConstants.CLASS_TYPE_PARAMETER :
collector.targetType = AnnotationTargetTypeConstants.CLASS_TYPE_PARAMETER_BOUND;
break;
case AnnotationTargetTypeConstants.METHOD_TYPE_PARAMETER :
collector.targetType = AnnotationTargetTypeConstants.METHOD_TYPE_PARAMETER_BOUND;
}
int boundIndex = 0;
if (this.type != null) {
// boundIndex 0 is always a class
if (this.type.resolvedType.isInterface())
boundIndex = 1;
if ((this.type.bits & ASTNode.HasTypeAnnotations) != 0) {
collector.info2 = boundIndex;
this.type.traverse(collector, (BlockScope) null);
}
}
if (this.bounds != null) {
int boundsLength = this.bounds.length;
for (int i = 0; i < boundsLength; i++) {
TypeReference bound = this.bounds[i];
if ((bound.bits & ASTNode.HasTypeAnnotations) == 0) {
continue;
}
collector.info2 = ++boundIndex;
bound.traverse(collector, (BlockScope) null);
}
}
}
private void internalResolve(Scope scope, boolean staticContext) {
// detect variable/type name collisions
if (this.binding != null) {
Binding existingType = scope.parent.getBinding(this.name, Binding.TYPE, this, false/*do not resolve hidden field*/);
if (existingType != null
&& this.binding != existingType
&& existingType.isValidBinding()
&& (existingType.kind() != Binding.TYPE_PARAMETER || !staticContext)) {
//{ObjectTeams: could be equivalent type parameters of class/ifc-parts of the same role:
if (!(RoleModel.areTypeParametersOfSameRole(this.binding, existingType)
|| scope.isGeneratedScope())) // don't report in generated methods
// SH}
scope.problemReporter().typeHiding(this, existingType);
}
}
if (this.annotations != null || scope.environment().usesNullTypeAnnotations()) {
resolveAnnotations(scope);
}
if (CharOperation.equals(this.name, TypeConstants.VAR)) {
if (scope.compilerOptions().sourceLevel < ClassFileConstants.JDK10) {
scope.problemReporter().varIsReservedTypeNameInFuture(this);
} else {
scope.problemReporter().varIsNotAllowedHere(this);
}
}
RecordDeclaration.checkAndFlagRecordNameErrors(this.name, this, scope);
}
@Override
public void resolve(BlockScope scope) {
internalResolve(scope, scope.methodScope().isStatic);
}
public void resolve(ClassScope scope) {
internalResolve(scope, scope.enclosingSourceType().isStatic());
}
public void resolveAnnotations(Scope scope) {
BlockScope resolutionScope = Scope.typeAnnotationsResolutionScope(scope);
if (resolutionScope != null) {
AnnotationBinding [] annotationBindings = resolveAnnotations(resolutionScope, this.annotations, this.binding, false);
LookupEnvironment environment = scope.environment();
boolean isAnnotationBasedNullAnalysisEnabled = environment.globalOptions.isAnnotationBasedNullAnalysisEnabled;
if (annotationBindings != null && annotationBindings.length > 0) {
this.binding.setTypeAnnotations(annotationBindings, isAnnotationBasedNullAnalysisEnabled);
scope.referenceCompilationUnit().compilationResult.hasAnnotations = true;
}
if (isAnnotationBasedNullAnalysisEnabled) {
if (this.binding != null && this.binding.isValidBinding()) {
if (!this.binding.hasNullTypeAnnotations()
&& scope.hasDefaultNullnessFor(Binding.DefaultLocationTypeParameter, this.sourceStart())) {
AnnotationBinding[] annots = new AnnotationBinding[] { environment.getNonNullAnnotation() };
TypeVariableBinding previousBinding = this.binding;
this.binding = (TypeVariableBinding) environment.createAnnotatedType(this.binding, annots);
if (scope instanceof MethodScope) {
/*
* for method type parameters, references to the bindings have already been copied into
* MethodBinding.typeVariables - update them.
*/
MethodScope methodScope = (MethodScope) scope;
if (methodScope.referenceContext instanceof AbstractMethodDeclaration) {
MethodBinding methodBinding = ((AbstractMethodDeclaration) methodScope.referenceContext).binding;
if (methodBinding != null) {
methodBinding.updateTypeVariableBinding(previousBinding, this.binding);
}
}
}
}
this.binding.evaluateNullAnnotations(scope, this);
}
}
}
}
@Override
public StringBuffer printStatement(int indent, StringBuffer output) {
if (this.annotations != null) {
printAnnotations(this.annotations, output);
output.append(' ');
}
output.append(this.name);
if (this.type != null) {
//{ObjectTeams: role type bound:
if (hasBaseBound())
output.append(" base "); //$NON-NLS-1$
else
// SH}
output.append(" extends "); //$NON-NLS-1$
this.type.print(0, output);
}
if (this.bounds != null){
for (int i = 0; i < this.bounds.length; i++) {
output.append(" & "); //$NON-NLS-1$
this.bounds[i].print(0, output);
}
}
return output;
}
@Override
public void generateCode(BlockScope currentScope, CodeStream codeStream) {
// nothing to do
}
@Override
public void traverse(ASTVisitor visitor, BlockScope scope) {
if (visitor.visit(this, scope)) {
if (this.annotations != null) {
int annotationsLength = this.annotations.length;
for (int i = 0; i < annotationsLength; i++)
this.annotations[i].traverse(visitor, scope);
}
if (this.type != null) {
this.type.traverse(visitor, scope);
}
if (this.bounds != null) {
int boundsLength = this.bounds.length;
for (int i = 0; i < boundsLength; i++) {
this.bounds[i].traverse(visitor, scope);
}
}
}
visitor.endVisit(this, scope);
}
public void traverse(ASTVisitor visitor, ClassScope scope) {
if (visitor.visit(this, scope)) {
if (this.annotations != null) {
int annotationsLength = this.annotations.length;
for (int i = 0; i < annotationsLength; i++)
this.annotations[i].traverse(visitor, scope);
}
if (this.type != null) {
this.type.traverse(visitor, scope);
}
if (this.bounds != null) {
int boundsLength = this.bounds.length;
for (int i = 0; i < boundsLength; i++) {
this.bounds[i].traverse(visitor, scope);
}
}
}
visitor.endVisit(this, scope);
}
//{ObjectTeams: for type parameters with an anchor (C<R<@t..>>)
public void connectTypeAnchors(Scope scope) {
if (this.type instanceof TypeAnchorReference) {
int numParams = 1;
if (this.bounds != null)
numParams += this.bounds.length;
ITeamAnchor[] anchors = new ITeamAnchor[numParams];
anchors[0] = ((TypeAnchorReference) this.type).resolveAnchor(scope);
if (!ProblemAnchorBinding.checkAnchor(scope, this.type, anchors[0], this.name))
return;
if (anchors[0] instanceof FieldBinding && anchors[0].isValidBinding())
FieldModel.getModel(((FieldBinding)anchors[0]).original()).addUsageRank(this.binding.rank);
// FIXME(SH): else store this in the AnchorListAttribute!
int boundCnt = 0;
if (this.bounds != null)
for (int i=0; i<this.bounds.length; i++) {
if (this.bounds[i] instanceof TypeAnchorReference) {
anchors[1+i] = ((TypeAnchorReference)this.bounds[i]).resolveAnchor(scope);
} else {
// poor man's version of resolving static type bounds:
TypeBinding bound = this.bounds[i].resolveType((ClassScope)scope);
if (++boundCnt == 1)
this.binding.superclass = (ReferenceBinding) bound;
else
scope.problemReporter().incompleteDependentTypesImplementation(this, "Cannot combine more than one type bound with an instance bound");
}
}
this.binding.anchors = anchors;
}
}
// SH}
}
