| /******************************************************************************* |
| * Copyright (c) 2000, 2012 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 |
| * |
| * This is an implementation of an early-draft specification developed under the Java |
| * Community Process (JCP) and is made available for testing and evaluation purposes |
| * only. The code is not compatible with any specification of the JCP. |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| * Fraunhofer FIRST - extended API and implementation |
| * Technical University Berlin - extended 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; |
| import org.eclipse.objectteams.otdt.core.compiler.IOTConstants; |
| import org.eclipse.objectteams.otdt.internal.core.compiler.model.TypeModel; |
| import org.eclipse.objectteams.otdt.internal.core.compiler.util.RoleTypeCreator; |
| |
| /** |
| * OTDT changes: |
| * What: support resolving of anchored types. |
| * |
| * What: support baseclass decapsulation |
| * |
| * What: detect and report qualifiedProtectedRole (except for generated references) |
| * |
| * @version $Id: QualifiedTypeReference.java 23404 2010-02-03 14:10:22Z stephan $ |
| */ |
| public class QualifiedTypeReference extends TypeReference { |
| |
| public char[][] tokens; |
| public long[] sourcePositions; |
| //{ObjectTeams: exempt generated references from OTJLD 1.2.3(b). |
| public boolean isGenerated; |
| public QualifiedTypeReference(char[][] sources , long[] poss, boolean isGenerated) { |
| this(sources,poss); |
| this.isGenerated = isGenerated; |
| if (isGenerated) |
| this.bits |= ASTNode.IgnoreRawTypeCheck; |
| } |
| // SH} |
| |
| 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); |
| } |
| |
| public TypeReference copyDims(int dim, Annotation[][] annotationsOnDimensions) { |
| //return a type reference copy of me with some dimensions |
| //warning : the new type ref has a null binding |
| ArrayQualifiedTypeReference arrayQualifiedTypeReference = new ArrayQualifiedTypeReference(this.tokens, dim, annotationsOnDimensions, this.sourcePositions); |
| arrayQualifiedTypeReference.bits |= (this.bits & ASTNode.HasTypeAnnotations); |
| if (annotationsOnDimensions != null) { |
| arrayQualifiedTypeReference.bits |= ASTNode.HasTypeAnnotations; |
| } |
| return arrayQualifiedTypeReference; |
| } |
| |
| //{ObjectTeams: |
| /** |
| * Try to resolve this type reference as an anchored type "t.R". |
| * @param scope |
| */ |
| TypeBinding resolveAnchoredType(Scope scope) { |
| if (this.tokens.length >= 2) { |
| TypeBinding anchoredType = RoleTypeCreator.resolveAnchoredType( |
| scope, this, this.tokens, dimensions()); |
| if (anchoredType != null) { |
| // it is an anchored role type ... |
| this.resolvedType = anchoredType; |
| if (anchoredType.problemId() == ProblemReasons.NotVisible) |
| { |
| // ... but an illegal one |
| ProblemReferenceBinding problemType = (ProblemReferenceBinding)anchoredType; |
| scope.problemReporter().externalizingNonPublicRole( |
| this, |
| (ReferenceBinding)problemType.closestMatch().leafComponentType()); |
| return null; // don't report again |
| } |
| return anchoredType; // includes the case of AnchorNotFinal |
| } |
| } |
| return null; |
| } |
| // SH} |
| |
| 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 { |
| //{ObjectTeams: members are in the classpart |
| if (this.resolvedType.isRole()) |
| this.resolvedType = ((ReferenceBinding)this.resolvedType).roleModel.getClassPartBinding(); |
| // SH} |
| 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()); |
| } |
| } |
| //{ObjectTeams: baseclass decapsulation? |
| checkBaseclassDecapsulation(scope); |
| // SH} |
| 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); |
| //{ObjectTeams: give it a try as a team.R type: FIXME(SH): redundant if invoked from resolveType() |
| if (binding == null || binding.problemId() == ProblemReasons.NotFound) { |
| // inheritance from anchored type is not allowed (OTJLD 1.2.2(g)). |
| boolean isSearchingSuper = ((scope instanceof ClassScope) && ((ClassScope)scope).superTypeReference == this); |
| if (this.tokens.length >= 2 && !isSearchingSuper) { |
| // 0-dimensions because ArrayQualifiedTypeReference will wrap roleType in an ArrayBinding later. |
| TypeBinding roleType = RoleTypeCreator.resolveAnchoredType(scope, this, this.tokens, 0); |
| if (roleType != null && roleType.problemId() != ProblemReasons.NotFound) { |
| this.resolvedType = roleType; |
| TypeModel.checkReferencedTeam(roleType, scope); |
| ReferenceBinding enclosingType = scope.enclosingSourceType(); |
| if (!(enclosingType != null && enclosingType.isSynthInterface())) |
| if ((this.bits & IsAllocationType) == 0) // new path.R() is a different story |
| reportDeprecatedPathSyntax(scope); |
| return roleType; |
| } |
| } |
| } |
| // SH} |
| 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); |
| } |
| //{ObjectTeams: statically qualified use of role? |
| if (i > 0 && !this.isGenerated && shouldAnalyzeRoleReference()) { // generated (and copied) methods are allowed to use MyTeam.R |
| if (isIllegalQualifiedUseOfProtectedRole(scope)) { |
| // already reported |
| } else { |
| scope.problemReporter().qualifiedRole(this, (ReferenceBinding)this.resolvedType); |
| } |
| // keep a problem binding, clients may be interested in this information |
| return this.resolvedType = new ProblemReferenceBinding(((ReferenceBinding)this.resolvedType).compoundName, (ReferenceBinding)this.resolvedType, ProblemReasons.ProblemAlreadyReported); |
| } |
| // SH} |
| 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; |
| } |
| //{ObjectTeams: overridable hook for above |
| protected void reportDeprecatedPathSyntax(Scope scope) { |
| scope.problemReporter().deprecatedPathSyntax(this); |
| } |
| // SH} |
| |
| 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('.'); |
| if (this.annotations != null && this.annotations[i] != null) { |
| printAnnotations(this.annotations[i], output); |
| output.append(' '); |
| } |
| //{ObjectTeams: suppress prefix: |
| if (CharOperation.equals(this.tokens[i], IOTConstants._OT_BASE)) |
| output.append(IOTConstants.BASE); |
| else |
| // SH} |
| output.append(this.tokens[i]); |
| } |
| return output; |
| } |
| |
| public void traverse(ASTVisitor visitor, BlockScope scope) { |
| if (visitor.visit(this, scope)) { |
| if (this.annotations != null) { |
| int annotationsLevels = this.annotations.length; |
| for (int i = 0; i < annotationsLevels; i++) { |
| int annotationsLength = this.annotations[i] == null ? 0 : this.annotations[i].length; |
| for (int j = 0; j < annotationsLength; j++) |
| this.annotations[i][j].traverse(visitor, scope); |
| } |
| } |
| } |
| visitor.endVisit(this, scope); |
| } |
| |
| public void traverse(ASTVisitor visitor, ClassScope scope) { |
| if (visitor.visit(this, scope)) { |
| if (this.annotations != null) { |
| int annotationsLevels = this.annotations.length; |
| for (int i = 0; i < annotationsLevels; i++) { |
| int annotationsLength = this.annotations[i] == null ? 0 : this.annotations[i].length; |
| for (int j = 0; j < annotationsLength; j++) |
| this.annotations[i][j].traverse(visitor, scope); |
| } |
| } |
| } |
| visitor.endVisit(this, scope); |
| } |
| public int getAnnotatableLevels() { |
| return this.tokens.length; |
| } |
| } |