QualifiedTypeReference.java

/*******************************************************************************
 * Copyright (c) 2000, 2010 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.Binding;
import org.eclipse.jdt.internal.compiler.lookup.BlockScope;
import org.eclipse.jdt.internal.compiler.lookup.ClassScope;
import org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment;
import org.eclipse.jdt.internal.compiler.lookup.PackageBinding;
import org.eclipse.jdt.internal.compiler.lookup.ProblemReasons;
import org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding;
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.TypeVariableBinding;
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, i);
			}
			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);
	}
}