/*******************************************************************************
* Copyright (c) 2000, 2008 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
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.impl.Constant;
import org.eclipse.jdt.internal.compiler.lookup.*;
public class JavadocAllocationExpression extends AllocationExpression {
public int tagSourceStart, tagSourceEnd;
public int tagValue, memberStart;
public char[][] qualification;
public JavadocAllocationExpression(int start, int end) {
this.sourceStart = start;
this.sourceEnd = end;
this.bits |= InsideJavadoc;
}
public JavadocAllocationExpression(long pos) {
this((int) (pos >>> 32), (int) pos);
}
TypeBinding internalResolveType(Scope scope) {
// Propagate the type checking to the arguments, and check if the constructor is defined.
this.constant = Constant.NotAConstant;
if (this.type == null) {
this.resolvedType = scope.enclosingSourceType();
} else if (scope.kind == Scope.CLASS_SCOPE) {
this.resolvedType = this.type.resolveType((ClassScope)scope);
} else {
this.resolvedType = this.type.resolveType((BlockScope)scope, true /* check bounds*/);
}
// buffering the arguments' types
TypeBinding[] argumentTypes = Binding.NO_PARAMETERS;
boolean hasTypeVarArgs = false;
if (this.arguments != null) {
boolean argHasError = false;
int length = this.arguments.length;
argumentTypes = new TypeBinding[length];
for (int i = 0; i < length; i++) {
Expression argument = this.arguments[i];
if (scope.kind == Scope.CLASS_SCOPE) {
argumentTypes[i] = argument.resolveType((ClassScope)scope);
} else {
argumentTypes[i] = argument.resolveType((BlockScope)scope);
}
if (argumentTypes[i] == null) {
argHasError = true;
} else if (!hasTypeVarArgs) {
hasTypeVarArgs = argumentTypes[i].isTypeVariable();
}
}
if (argHasError) {
return null;
}
}
// check resolved type
if (this.resolvedType == null) {
return null;
}
this.resolvedType = scope.environment().convertToRawType(this.type.resolvedType, true /*force the conversion of enclosing types*/);
SourceTypeBinding enclosingType = scope.enclosingSourceType();
if (enclosingType == null ? false : enclosingType.isCompatibleWith(this.resolvedType)) {
this.bits |= ASTNode.SuperAccess;
}
ReferenceBinding allocationType = (ReferenceBinding) this.resolvedType;
this.binding = scope.getConstructor(allocationType, argumentTypes, this);
if (!this.binding.isValidBinding()) {
ReferenceBinding enclosingTypeBinding = allocationType;
MethodBinding contructorBinding = this.binding;
while (!contructorBinding.isValidBinding() && (enclosingTypeBinding.isMemberType() || enclosingTypeBinding.isLocalType())) {
enclosingTypeBinding = enclosingTypeBinding.enclosingType();
contructorBinding = scope.getConstructor(enclosingTypeBinding, argumentTypes, this);
}
if (contructorBinding.isValidBinding()) {
this.binding = contructorBinding;
}
}
if (!this.binding.isValidBinding()) {
// First try to search a method instead
MethodBinding methodBinding = scope.getMethod(this.resolvedType, this.resolvedType.sourceName(), argumentTypes, this);
if (methodBinding.isValidBinding()) {
this.binding = methodBinding;
} else {
if (this.binding.declaringClass == null) {
this.binding.declaringClass = allocationType;
}
scope.problemReporter().javadocInvalidConstructor(this, this.binding, scope.getDeclarationModifiers());
}
return this.resolvedType;
} else if (this.binding.isVarargs()) {
int length = argumentTypes.length;
if (!(this.binding.parameters.length == length && argumentTypes[length-1].isArrayType())) {
MethodBinding problem = new ProblemMethodBinding(this.binding, this.binding.selector, argumentTypes, ProblemReasons.NotFound);
scope.problemReporter().javadocInvalidConstructor(this, problem, scope.getDeclarationModifiers());
}
} else if (hasTypeVarArgs) {
MethodBinding problem = new ProblemMethodBinding(this.binding, this.binding.selector, argumentTypes, ProblemReasons.NotFound);
scope.problemReporter().javadocInvalidConstructor(this, problem, scope.getDeclarationModifiers());
} else if (this.binding instanceof ParameterizedMethodBinding) {
ParameterizedMethodBinding paramMethodBinding = (ParameterizedMethodBinding) this.binding;
if (paramMethodBinding.hasSubstitutedParameters()) {
int length = argumentTypes.length;
for (int i=0; i<length; i++) {
if (paramMethodBinding.parameters[i] != argumentTypes[i] &&
paramMethodBinding.parameters[i].erasure() != argumentTypes[i].erasure()) {
MethodBinding problem = new ProblemMethodBinding(this.binding, this.binding.selector, argumentTypes, ProblemReasons.NotFound);
scope.problemReporter().javadocInvalidConstructor(this, problem, scope.getDeclarationModifiers());
break;
}
}
}
} else if (this.resolvedType.isMemberType()) {
int length = this.qualification.length;
if (length > 1) { // accept qualified member class constructor reference => see bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=103304
ReferenceBinding enclosingTypeBinding = allocationType;
if (this.type instanceof JavadocQualifiedTypeReference && ((JavadocQualifiedTypeReference)this.type).tokens.length != length) {
scope.problemReporter().javadocInvalidMemberTypeQualification(this.memberStart+1, this.sourceEnd, scope.getDeclarationModifiers());
} else {
int idx = length;
while (idx > 0 && CharOperation.equals(this.qualification[--idx], enclosingTypeBinding.sourceName) && (enclosingTypeBinding = enclosingTypeBinding.enclosingType()) != null) {
// verify that each qualification token matches enclosing types
}
if (idx > 0 || enclosingTypeBinding != null) {
scope.problemReporter().javadocInvalidMemberTypeQualification(this.memberStart+1, this.sourceEnd, scope.getDeclarationModifiers());
}
}
}
}
if (isMethodUseDeprecated(this.binding, scope, true)) {
scope.problemReporter().javadocDeprecatedMethod(this.binding, this, scope.getDeclarationModifiers());
}
return allocationType;
}
public boolean isSuperAccess() {
return (this.bits & ASTNode.SuperAccess) != 0;
}
public TypeBinding resolveType(BlockScope scope) {
return internalResolveType(scope);
}
public TypeBinding resolveType(ClassScope scope) {
return internalResolveType(scope);
}
public void traverse(ASTVisitor visitor, BlockScope scope) {
if (visitor.visit(this, scope)) {
if (this.typeArguments != null) {
for (int i = 0, typeArgumentsLength = this.typeArguments.length; i < typeArgumentsLength; i++) {
this.typeArguments[i].traverse(visitor, scope);
}
}
if (this.type != null) { // enum constant scenario
this.type.traverse(visitor, scope);
}
if (this.arguments != null) {
for (int i = 0, argumentsLength = this.arguments.length; i < argumentsLength; i++)
this.arguments[i].traverse(visitor, scope);
}
}
visitor.endVisit(this, scope);
}
public void traverse(ASTVisitor visitor, ClassScope scope) {
if (visitor.visit(this, scope)) {
if (this.typeArguments != null) {
for (int i = 0, typeArgumentsLength = this.typeArguments.length; i < typeArgumentsLength; i++) {
this.typeArguments[i].traverse(visitor, scope);
}
}
if (this.type != null) { // enum constant scenario
this.type.traverse(visitor, scope);
}
if (this.arguments != null) {
for (int i = 0, argumentsLength = this.arguments.length; i < argumentsLength; i++)
this.arguments[i].traverse(visitor, scope);
}
}
visitor.endVisit(this, scope);
}
}