blob: 5d33bfe709d07b41182572e121137deadbf37c81 [file] [log] [blame]
/*******************************************************************************
* 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.lookup.*;
import org.eclipse.jdt.internal.compiler.problem.AbortCompilation;
public class QualifiedTypeReference extends TypeReference {
public char[][] tokens;
public long[] sourcePositions;
public QualifiedTypeReference(char[][] sources , long[] poss) {
this.tokens = sources ;
this.sourcePositions = poss ;
this.sourceStart = (int) (this.sourcePositions[0]>>>32) ;
this.sourceEnd = (int)(this.sourcePositions[this.sourcePositions.length-1] & 0x00000000FFFFFFFFL ) ;
}
public TypeReference copyDims(int dim){
//return a type reference copy of me with some dimensions
//warning : the new type ref has a null binding
return new ArrayQualifiedTypeReference(this.tokens, dim, this.sourcePositions);
}
protected TypeBinding findNextTypeBinding(int tokenIndex, Scope scope, PackageBinding packageBinding) {
LookupEnvironment env = scope.environment();
try {
env.missingClassFileLocation = this;
if (this.resolvedType == null) {
this.resolvedType = scope.getType(this.tokens[tokenIndex], packageBinding);
} else {
this.resolvedType = scope.getMemberType(this.tokens[tokenIndex], (ReferenceBinding) this.resolvedType);
if (!this.resolvedType.isValidBinding()) {
this.resolvedType = new ProblemReferenceBinding(
CharOperation.subarray(this.tokens, 0, tokenIndex + 1),
(ReferenceBinding)this.resolvedType.closestMatch(),
this.resolvedType.problemId());
}
}
return this.resolvedType;
} catch (AbortCompilation e) {
e.updateContext(this, scope.referenceCompilationUnit().compilationResult);
throw e;
} finally {
env.missingClassFileLocation = null;
}
}
public char[] getLastToken() {
return this.tokens[this.tokens.length-1];
}
protected TypeBinding getTypeBinding(Scope scope) {
if (this.resolvedType != null) {
return this.resolvedType;
}
Binding binding = scope.getPackage(this.tokens);
if (binding != null && !binding.isValidBinding()) {
if (binding instanceof ProblemReferenceBinding && binding.problemId() == ProblemReasons.NotFound) {
ProblemReferenceBinding problemBinding = (ProblemReferenceBinding) binding;
Binding pkg = scope.getTypeOrPackage(this.tokens);
return new ProblemReferenceBinding(problemBinding.compoundName, pkg instanceof PackageBinding ? null : scope.environment().createMissingType(null, this.tokens), ProblemReasons.NotFound);
}
return (ReferenceBinding) binding; // not found
}
PackageBinding packageBinding = binding == null ? null : (PackageBinding) binding;
boolean isClassScope = scope.kind == Scope.CLASS_SCOPE;
ReferenceBinding qualifiedType = null;
for (int i = packageBinding == null ? 0 : packageBinding.compoundName.length, max = this.tokens.length, last = max-1; i < max; i++) {
findNextTypeBinding(i, scope, packageBinding);
if (!this.resolvedType.isValidBinding())
return this.resolvedType;
if (i == 0 && this.resolvedType.isTypeVariable() && ((TypeVariableBinding) this.resolvedType).firstBound == null) { // cannot select from a type variable
scope.problemReporter().illegalAccessFromTypeVariable((TypeVariableBinding) this.resolvedType, this);
return null;
}
if (i < last && isTypeUseDeprecated(this.resolvedType, scope)) {
reportDeprecatedType(this.resolvedType, scope);
}
if (isClassScope)
if (((ClassScope) scope).detectHierarchyCycle(this.resolvedType, this)) // must connect hierarchy to find inherited member types
return null;
ReferenceBinding currentType = (ReferenceBinding) this.resolvedType;
if (qualifiedType != null) {
ReferenceBinding enclosingType = currentType.enclosingType();
if (enclosingType != null && enclosingType.erasure() != qualifiedType.erasure()) {
qualifiedType = enclosingType; // inherited member type, leave it associated with its enclosing rather than subtype
}
boolean rawQualified;
if (currentType.isGenericType()) {
qualifiedType = scope.environment().createRawType(currentType, qualifiedType);
} else if ((rawQualified = qualifiedType.isRawType()) && !currentType.isStatic()) {
qualifiedType = scope.environment().createRawType((ReferenceBinding)currentType.erasure(), qualifiedType);
} else if ((rawQualified || qualifiedType.isParameterizedType()) && qualifiedType.erasure() == currentType.enclosingType().erasure()) {
qualifiedType = scope.environment().createParameterizedType((ReferenceBinding)currentType.erasure(), null, qualifiedType);
} else {
qualifiedType = currentType;
}
} else {
qualifiedType = currentType.isGenericType() ? (ReferenceBinding)scope.environment().convertToRawType(currentType, false /*do not force conversion of enclosing types*/) : currentType;
}
}
this.resolvedType = qualifiedType;
return this.resolvedType;
}
public char[][] getTypeName(){
return this.tokens;
}
public StringBuffer printExpression(int indent, StringBuffer output) {
for (int i = 0; i < this.tokens.length; i++) {
if (i > 0) output.append('.');
output.append(this.tokens[i]);
}
return output;
}
public void traverse(ASTVisitor visitor, BlockScope scope) {
visitor.visit(this, scope);
visitor.endVisit(this, scope);
}
public void traverse(ASTVisitor visitor, ClassScope scope) {
visitor.visit(this, scope);
visitor.endVisit(this, scope);
}
}