| /******************************************************************************* |
| * Copyright (c) 2000, 2013 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 |
| * Nick Teryaev - fix for bug (https://bugs.eclipse.org/bugs/show_bug.cgi?id=40752) |
| * Stephan Herrmann - Contributions for |
| * bug 319201 - [null] no warning when unboxing SingleNameReference causes NPE |
| * bug 349326 - [1.7] new warning for missing try-with-resources |
| * bug 186342 - [compiler][null] Using annotations for null checking |
| * bug 358903 - Filter practically unimportant resource leak warnings |
| * bug 370639 - [compiler][resource] restore the default for resource leak warnings |
| * bug 345305 - [compiler][null] Compiler misidentifies a case of "variable can only be null" |
| * bug 388996 - [compiler][resource] Incorrect 'potential resource leak' |
| * bug 379784 - [compiler] "Method can be static" is not getting reported |
| * bug 379834 - Wrong "method can be static" in presence of qualified super and different staticness of nested super class. |
| * bug 388281 - [compiler][null] inheritance of null annotations as an option |
| * bug 392862 - [1.8][compiler][null] Evaluate null annotations on array types |
| * bug 394768 - [compiler][resource] Incorrect resource leak warning when creating stream in conditional |
| * bug 381445 - [compiler][resource] Can the resource leak check be made aware of Closeables.closeQuietly? |
| * bug 331649 - [compiler][null] consider null annotations for fields |
| * bug 383368 - [compiler][null] syntactic null analysis for field references |
| * bug 382069 - [null] Make the null analysis consider JUnit's assertNotNull similarly to assertions |
| * bug 382350 - [1.8][compiler] Unable to invoke inherited default method via I.super.m() syntax |
| * bug 404649 - [1.8][compiler] detect illegal reference to indirect or redundant super |
| * bug 403086 - [compiler][null] include the effect of 'assert' in syntactic null analysis for fields |
| * bug 403147 - [compiler][null] FUP of bug 400761: consolidate interaction between unboxing, NPE, and deferred checking |
| * Jesper S Moller - Contributions for |
| * Bug 378674 - "The method can be declared as static" is wrong |
| * Andy Clement - Contributions for |
| * Bug 383624 - [1.8][compiler] Revive code generation support for type annotations (from Olivier's work) |
| *******************************************************************************/ |
| 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.classfmt.ClassFileConstants; |
| import org.eclipse.jdt.internal.compiler.codegen.CodeStream; |
| import org.eclipse.jdt.internal.compiler.codegen.Opcodes; |
| import org.eclipse.jdt.internal.compiler.flow.FlowContext; |
| import org.eclipse.jdt.internal.compiler.flow.FlowInfo; |
| import org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo; |
| import org.eclipse.jdt.internal.compiler.impl.CompilerOptions; |
| import org.eclipse.jdt.internal.compiler.impl.Constant; |
| import org.eclipse.jdt.internal.compiler.impl.ReferenceContext; |
| import org.eclipse.jdt.internal.compiler.lookup.Binding; |
| import org.eclipse.jdt.internal.compiler.lookup.BlockScope; |
| import org.eclipse.jdt.internal.compiler.lookup.ExtraCompilerModifiers; |
| import org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier; |
| import org.eclipse.jdt.internal.compiler.lookup.FieldBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.InvocationSite; |
| import org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.MethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.MissingTypeBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.PolymorphicMethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.ProblemReasons; |
| import org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.RawTypeBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.Scope; |
| import org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.TagBits; |
| import org.eclipse.jdt.internal.compiler.lookup.TypeBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.TypeConstants; |
| import org.eclipse.jdt.internal.compiler.lookup.TypeIds; |
| import org.eclipse.jdt.internal.compiler.problem.ProblemSeverities; |
| |
| public class MessageSend extends Expression implements InvocationSite { |
| |
| public Expression receiver; |
| public char[] selector; |
| public Expression[] arguments; |
| public MethodBinding binding; // exact binding resulting from lookup |
| public MethodBinding syntheticAccessor; // synthetic accessor for inner-emulation |
| public TypeBinding expectedType; // for generic method invocation (return type inference) |
| |
| public long nameSourcePosition ; //(start<<32)+end |
| |
| public TypeBinding actualReceiverType; |
| public TypeBinding valueCast; // extra reference type cast to perform on method returned value |
| public TypeReference[] typeArguments; |
| public TypeBinding[] genericTypeArguments; |
| private ExpressionContext expressionContext = VANILLA_CONTEXT; |
| |
| public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) { |
| boolean nonStatic = !this.binding.isStatic(); |
| boolean wasInsideAssert = ((flowContext.tagBits & FlowContext.HIDE_NULL_COMPARISON_WARNING) != 0); |
| flowInfo = this.receiver.analyseCode(currentScope, flowContext, flowInfo, nonStatic).unconditionalInits(); |
| |
| // recording the closing of AutoCloseable resources: |
| boolean analyseResources = currentScope.compilerOptions().analyseResourceLeaks; |
| if (analyseResources) { |
| Expression closeTarget = null; |
| if (nonStatic) { |
| // closeable.close() |
| if (CharOperation.equals(TypeConstants.CLOSE, this.selector)) { |
| closeTarget = this.receiver; |
| } |
| } else if (this.arguments != null && this.arguments.length > 0 && FakedTrackingVariable.isAnyCloseable(this.arguments[0].resolvedType)) { |
| // Helper.closeMethod(closeable, ..) |
| for (int i=0; i<TypeConstants.closeMethods.length; i++) { |
| CloseMethodRecord record = TypeConstants.closeMethods[i]; |
| if (CharOperation.equals(record.selector, this.selector) |
| && CharOperation.equals(record.typeName, this.binding.declaringClass.compoundName)) |
| { |
| closeTarget = this.arguments[0]; |
| break; |
| } |
| } |
| } |
| if (closeTarget != null) { |
| FakedTrackingVariable trackingVariable = FakedTrackingVariable.getCloseTrackingVariable(closeTarget, flowInfo, flowContext); |
| if (trackingVariable != null) { // null happens if target is not a local variable or not an AutoCloseable |
| if (trackingVariable.methodScope == currentScope.methodScope()) { |
| trackingVariable.markClose(flowInfo, flowContext); |
| } else { |
| trackingVariable.markClosedInNestedMethod(); |
| } |
| } |
| } |
| } |
| |
| if (nonStatic) { |
| this.receiver.checkNPE(currentScope, flowContext, flowInfo); |
| } |
| |
| if (this.arguments != null) { |
| int length = this.arguments.length; |
| for (int i = 0; i < length; i++) { |
| Expression argument = this.arguments[i]; |
| argument.checkNPEbyUnboxing(currentScope, flowContext, flowInfo); |
| switch (detectAssertionUtility(i)) { |
| case TRUE_ASSERTION: |
| flowInfo = analyseBooleanAssertion(currentScope, argument, flowContext, flowInfo, wasInsideAssert, true); |
| break; |
| case FALSE_ASSERTION: |
| flowInfo = analyseBooleanAssertion(currentScope, argument, flowContext, flowInfo, wasInsideAssert, false); |
| break; |
| case NONNULL_ASSERTION: |
| flowInfo = analyseNullAssertion(currentScope, argument, flowContext, flowInfo, false); |
| break; |
| case NULL_ASSERTION: |
| flowInfo = analyseNullAssertion(currentScope, argument, flowContext, flowInfo, true); |
| break; |
| default: |
| flowInfo = argument.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits(); |
| } |
| if (analyseResources) { |
| // if argument is an AutoCloseable insert info that it *may* be closed (by the target method, i.e.) |
| flowInfo = FakedTrackingVariable.markPassedToOutside(currentScope, argument, flowInfo, flowContext, false); |
| } |
| } |
| analyseArguments(currentScope, flowContext, flowInfo, this.binding, this.arguments); |
| } |
| ReferenceBinding[] thrownExceptions; |
| if ((thrownExceptions = this.binding.thrownExceptions) != Binding.NO_EXCEPTIONS) { |
| if ((this.bits & ASTNode.Unchecked) != 0 && this.genericTypeArguments == null) { |
| // https://bugs.eclipse.org/bugs/show_bug.cgi?id=277643, align with javac on JLS 15.12.2.6 |
| thrownExceptions = currentScope.environment().convertToRawTypes(this.binding.thrownExceptions, true, true); |
| } |
| // must verify that exceptions potentially thrown by this expression are caught in the method |
| flowContext.checkExceptionHandlers(thrownExceptions, this, flowInfo.copy(), currentScope); |
| // TODO (maxime) the copy above is needed because of a side effect into |
| // checkExceptionHandlers; consider protecting there instead of here; |
| // NullReferenceTest#test0510 |
| } |
| manageSyntheticAccessIfNecessary(currentScope, flowInfo); |
| // account for pot. exceptions thrown by method execution |
| flowContext.recordAbruptExit(); |
| flowContext.expireNullCheckedFieldInfo(); // no longer trust this info after any message send |
| return flowInfo; |
| } |
| |
| // classification of well-known assertion utilities: |
| private static final int TRUE_ASSERTION = 1; |
| private static final int FALSE_ASSERTION = 2; |
| private static final int NULL_ASSERTION = 3; |
| private static final int NONNULL_ASSERTION = 4; |
| |
| // is the argument at the given position being checked by a well-known assertion utility? |
| // if so answer what kind of assertion we are facing. |
| private int detectAssertionUtility(int argumentIdx) { |
| TypeBinding[] parameters = this.binding.original().parameters; |
| if (argumentIdx < parameters.length) { |
| TypeBinding parameterType = parameters[argumentIdx]; |
| if (this.actualReceiverType != null && parameterType != null) { |
| switch (this.actualReceiverType.id) { |
| case TypeIds.T_OrgEclipseCoreRuntimeAssert: |
| if (parameterType.id == TypeIds.T_boolean) |
| return TRUE_ASSERTION; |
| if (parameterType.id == TypeIds.T_JavaLangObject && CharOperation.equals(TypeConstants.IS_NOTNULL, this.selector)) |
| return NONNULL_ASSERTION; |
| break; |
| case TypeIds.T_JunitFrameworkAssert: |
| case TypeIds.T_OrgJunitAssert: |
| if (parameterType.id == TypeIds.T_boolean) { |
| if (CharOperation.equals(TypeConstants.ASSERT_TRUE, this.selector)) |
| return TRUE_ASSERTION; |
| if (CharOperation.equals(TypeConstants.ASSERT_FALSE, this.selector)) |
| return FALSE_ASSERTION; |
| } else if (parameterType.id == TypeIds.T_JavaLangObject) { |
| if (CharOperation.equals(TypeConstants.ASSERT_NOTNULL, this.selector)) |
| return NONNULL_ASSERTION; |
| if (CharOperation.equals(TypeConstants.ASSERT_NULL, this.selector)) |
| return NULL_ASSERTION; |
| } |
| break; |
| case TypeIds.T_OrgApacheCommonsLangValidate: |
| if (parameterType.id == TypeIds.T_boolean) { |
| if (CharOperation.equals(TypeConstants.IS_TRUE, this.selector)) |
| return TRUE_ASSERTION; |
| } else if (parameterType.id == TypeIds.T_JavaLangObject) { |
| if (CharOperation.equals(TypeConstants.NOT_NULL, this.selector)) |
| return NONNULL_ASSERTION; |
| } |
| break; |
| case TypeIds.T_OrgApacheCommonsLang3Validate: |
| if (parameterType.id == TypeIds.T_boolean) { |
| if (CharOperation.equals(TypeConstants.IS_TRUE, this.selector)) |
| return TRUE_ASSERTION; |
| } else if (parameterType.isTypeVariable()) { |
| if (CharOperation.equals(TypeConstants.NOT_NULL, this.selector)) |
| return NONNULL_ASSERTION; |
| } |
| break; |
| case TypeIds.T_ComGoogleCommonBasePreconditions: |
| if (parameterType.id == TypeIds.T_boolean) { |
| if (CharOperation.equals(TypeConstants.CHECK_ARGUMENT, this.selector) |
| || CharOperation.equals(TypeConstants.CHECK_STATE, this.selector)) |
| return TRUE_ASSERTION; |
| } else if (parameterType.isTypeVariable()) { |
| if (CharOperation.equals(TypeConstants.CHECK_NOT_NULL, this.selector)) |
| return NONNULL_ASSERTION; |
| } |
| break; |
| case TypeIds.T_JavaUtilObjects: |
| if (parameterType.isTypeVariable()) { |
| if (CharOperation.equals(TypeConstants.REQUIRE_NON_NULL, this.selector)) |
| return NONNULL_ASSERTION; |
| } |
| break; |
| } |
| } |
| } |
| return 0; |
| } |
| private FlowInfo analyseBooleanAssertion(BlockScope currentScope, Expression argument, |
| FlowContext flowContext, FlowInfo flowInfo, boolean wasInsideAssert, boolean passOnTrue) |
| { |
| Constant cst = argument.optimizedBooleanConstant(); |
| boolean isOptimizedTrueAssertion = cst != Constant.NotAConstant && cst.booleanValue() == true; |
| boolean isOptimizedFalseAssertion = cst != Constant.NotAConstant && cst.booleanValue() == false; |
| int tagBitsSave = flowContext.tagBits; |
| flowContext.tagBits |= FlowContext.HIDE_NULL_COMPARISON_WARNING; |
| if (!passOnTrue) |
| flowContext.tagBits |= FlowContext.INSIDE_NEGATION; // this affects syntactic analysis for fields in EqualExpression |
| FlowInfo conditionFlowInfo = argument.analyseCode(currentScope, flowContext, flowInfo.copy()); |
| flowContext.extendTimeToLiveForNullCheckedField(2); // survive this assert as a MessageSend and as a Statement |
| flowContext.tagBits = tagBitsSave; |
| |
| UnconditionalFlowInfo assertWhenPassInfo; |
| FlowInfo assertWhenFailInfo; |
| boolean isOptimizedPassing; |
| boolean isOptimizedFailing; |
| if (passOnTrue) { |
| assertWhenPassInfo = conditionFlowInfo.initsWhenTrue().unconditionalInits(); |
| assertWhenFailInfo = conditionFlowInfo.initsWhenFalse(); |
| isOptimizedPassing = isOptimizedTrueAssertion; |
| isOptimizedFailing = isOptimizedFalseAssertion; |
| } else { |
| assertWhenPassInfo = conditionFlowInfo.initsWhenFalse().unconditionalInits(); |
| assertWhenFailInfo = conditionFlowInfo.initsWhenTrue(); |
| isOptimizedPassing = isOptimizedFalseAssertion; |
| isOptimizedFailing = isOptimizedTrueAssertion; |
| } |
| if (isOptimizedPassing) { |
| assertWhenFailInfo.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); |
| } |
| if (!isOptimizedFailing) { |
| // if assertion is not failing for sure, only then it makes sense to carry the flow info ahead. |
| // if the code does reach ahead, it means the assert didn't cause an exit, and so |
| // the expression inside it shouldn't change the prior flowinfo |
| // viz. org.eclipse.core.runtime.Assert.isLegal(false && o != null) |
| |
| // keep the merge from the initial code for the definite assignment |
| // analysis, tweak the null part to influence nulls downstream |
| flowInfo = flowInfo.mergedWith(assertWhenFailInfo.nullInfoLessUnconditionalCopy()). |
| addInitializationsFrom(assertWhenPassInfo.discardInitializationInfo()); |
| } |
| return flowInfo; |
| } |
| private FlowInfo analyseNullAssertion(BlockScope currentScope, Expression argument, |
| FlowContext flowContext, FlowInfo flowInfo, boolean expectingNull) |
| { |
| int nullStatus = argument.nullStatus(flowInfo, flowContext); |
| boolean willFail = (nullStatus == (expectingNull ? FlowInfo.NON_NULL : FlowInfo.NULL)); |
| flowInfo = argument.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits(); |
| LocalVariableBinding local = argument.localVariableBinding(); |
| if (local != null) {// beyond this point the argument can only be null/nonnull |
| if (expectingNull) |
| flowInfo.markAsDefinitelyNull(local); |
| else |
| flowInfo.markAsDefinitelyNonNull(local); |
| } else { |
| if (!expectingNull |
| && argument instanceof Reference |
| && currentScope.compilerOptions().enableSyntacticNullAnalysisForFields) |
| { |
| FieldBinding field = ((Reference)argument).lastFieldBinding(); |
| if (field != null && (field.type.tagBits & TagBits.IsBaseType) == 0) { |
| flowContext.recordNullCheckedFieldReference((Reference) argument, 3); // survive this assert as a MessageSend and as a Statement |
| } |
| } |
| } |
| if (willFail) |
| flowInfo.setReachMode(FlowInfo.UNREACHABLE_BY_NULLANALYSIS); |
| return flowInfo; |
| } |
| |
| public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo) { |
| // message send as a receiver |
| if ((nullStatus(flowInfo, flowContext) & FlowInfo.POTENTIALLY_NULL) != 0) // note that flowInfo is not used inside nullStatus(..) |
| scope.problemReporter().messageSendPotentialNullReference(this.binding, this); |
| return true; // done all possible checking |
| } |
| /** |
| * @see org.eclipse.jdt.internal.compiler.ast.Expression#computeConversion(org.eclipse.jdt.internal.compiler.lookup.Scope, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding) |
| */ |
| public void computeConversion(Scope scope, TypeBinding runtimeTimeType, TypeBinding compileTimeType) { |
| if (runtimeTimeType == null || compileTimeType == null) |
| return; |
| // set the generic cast after the fact, once the type expectation is fully known (no need for strict cast) |
| if (this.binding != null && this.binding.isValidBinding()) { |
| MethodBinding originalBinding = this.binding.original(); |
| TypeBinding originalType = originalBinding.returnType; |
| // extra cast needed if method return type is type variable |
| if (originalType.leafComponentType().isTypeVariable()) { |
| TypeBinding targetType = (!compileTimeType.isBaseType() && runtimeTimeType.isBaseType()) |
| ? compileTimeType // unboxing: checkcast before conversion |
| : runtimeTimeType; |
| this.valueCast = originalType.genericCast(targetType); |
| } else if (this.binding == scope.environment().arrayClone |
| && runtimeTimeType.id != TypeIds.T_JavaLangObject |
| && scope.compilerOptions().sourceLevel >= ClassFileConstants.JDK1_5) { |
| // from 1.5 source level on, array#clone() resolves to array type, but codegen to #clone()Object - thus require extra inserted cast |
| this.valueCast = runtimeTimeType; |
| } |
| if (this.valueCast instanceof ReferenceBinding) { |
| ReferenceBinding referenceCast = (ReferenceBinding) this.valueCast; |
| if (!referenceCast.canBeSeenBy(scope)) { |
| scope.problemReporter().invalidType(this, |
| new ProblemReferenceBinding( |
| CharOperation.splitOn('.', referenceCast.shortReadableName()), |
| referenceCast, |
| ProblemReasons.NotVisible)); |
| } |
| } |
| } |
| super.computeConversion(scope, runtimeTimeType, compileTimeType); |
| } |
| |
| /** |
| * MessageSend code generation |
| * |
| * @param currentScope org.eclipse.jdt.internal.compiler.lookup.BlockScope |
| * @param codeStream org.eclipse.jdt.internal.compiler.codegen.CodeStream |
| * @param valueRequired boolean |
| */ |
| public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) { |
| int pc = codeStream.position; |
| // generate receiver/enclosing instance access |
| MethodBinding codegenBinding = this.binding instanceof PolymorphicMethodBinding ? this.binding : this.binding.original(); |
| boolean isStatic = codegenBinding.isStatic(); |
| if (isStatic) { |
| this.receiver.generateCode(currentScope, codeStream, false); |
| } else if ((this.bits & ASTNode.DepthMASK) != 0 && this.receiver.isImplicitThis()) { // outer access ? |
| // outer method can be reached through emulation if implicit access |
| ReferenceBinding targetType = currentScope.enclosingSourceType().enclosingTypeAt((this.bits & ASTNode.DepthMASK) >> ASTNode.DepthSHIFT); |
| Object[] path = currentScope.getEmulationPath(targetType, true /*only exact match*/, false/*consider enclosing arg*/); |
| codeStream.generateOuterAccess(path, this, targetType, currentScope); |
| } else { |
| this.receiver.generateCode(currentScope, codeStream, true); |
| if ((this.bits & NeedReceiverGenericCast) != 0) { |
| codeStream.checkcast(this.actualReceiverType); |
| } |
| } |
| codeStream.recordPositionsFrom(pc, this.sourceStart); |
| // generate arguments |
| generateArguments(this.binding, this.arguments, currentScope, codeStream); |
| pc = codeStream.position; |
| // actual message invocation |
| if (this.syntheticAccessor == null){ |
| TypeBinding constantPoolDeclaringClass = CodeStream.getConstantPoolDeclaringClass(currentScope, codegenBinding, this.actualReceiverType, this.receiver.isImplicitThis()); |
| if (isStatic){ |
| codeStream.invoke(Opcodes.OPC_invokestatic, codegenBinding, constantPoolDeclaringClass, this.typeArguments); |
| } else if((this.receiver.isSuper()) || codegenBinding.isPrivate()){ |
| codeStream.invoke(Opcodes.OPC_invokespecial, codegenBinding, constantPoolDeclaringClass, this.typeArguments); |
| } else if (constantPoolDeclaringClass.isInterface()) { // interface or annotation type |
| codeStream.invoke(Opcodes.OPC_invokeinterface, codegenBinding, constantPoolDeclaringClass, this.typeArguments); |
| } else { |
| codeStream.invoke(Opcodes.OPC_invokevirtual, codegenBinding, constantPoolDeclaringClass, this.typeArguments); |
| } |
| } else { |
| codeStream.invoke(Opcodes.OPC_invokestatic, this.syntheticAccessor, null /* default declaringClass */); |
| } |
| // required cast must occur even if no value is required |
| if (this.valueCast != null) codeStream.checkcast(this.valueCast); |
| if (valueRequired){ |
| // implicit conversion if necessary |
| codeStream.generateImplicitConversion(this.implicitConversion); |
| } else { |
| boolean isUnboxing = (this.implicitConversion & TypeIds.UNBOXING) != 0; |
| // conversion only generated if unboxing |
| if (isUnboxing) codeStream.generateImplicitConversion(this.implicitConversion); |
| switch (isUnboxing ? postConversionType(currentScope).id : codegenBinding.returnType.id) { |
| case T_long : |
| case T_double : |
| codeStream.pop2(); |
| break; |
| case T_void : |
| break; |
| default : |
| codeStream.pop(); |
| } |
| } |
| codeStream.recordPositionsFrom(pc, (int)(this.nameSourcePosition >>> 32)); // highlight selector |
| } |
| /** |
| * @see org.eclipse.jdt.internal.compiler.lookup.InvocationSite#genericTypeArguments() |
| */ |
| public TypeBinding[] genericTypeArguments() { |
| return this.genericTypeArguments; |
| } |
| |
| public boolean isSuperAccess() { |
| return this.receiver.isSuper(); |
| } |
| public boolean isTypeAccess() { |
| return this.receiver != null && this.receiver.isTypeReference(); |
| } |
| public void manageSyntheticAccessIfNecessary(BlockScope currentScope, FlowInfo flowInfo){ |
| |
| if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) != 0) return; |
| |
| // if method from parameterized type got found, use the original method at codegen time |
| MethodBinding codegenBinding = this.binding.original(); |
| if (this.binding.isPrivate()){ |
| |
| // depth is set for both implicit and explicit access (see MethodBinding#canBeSeenBy) |
| if (currentScope.enclosingSourceType() != codegenBinding.declaringClass){ |
| this.syntheticAccessor = ((SourceTypeBinding)codegenBinding.declaringClass).addSyntheticMethod(codegenBinding, false /* not super access there */); |
| currentScope.problemReporter().needToEmulateMethodAccess(codegenBinding, this); |
| return; |
| } |
| |
| } else if (this.receiver instanceof QualifiedSuperReference) { // qualified super |
| if (this.actualReceiverType.isInterface()) |
| return; // invoking an overridden default method, which is accessible/public by definition |
| // qualified super need emulation always |
| SourceTypeBinding destinationType = (SourceTypeBinding)(((QualifiedSuperReference)this.receiver).currentCompatibleType); |
| this.syntheticAccessor = destinationType.addSyntheticMethod(codegenBinding, isSuperAccess()); |
| currentScope.problemReporter().needToEmulateMethodAccess(codegenBinding, this); |
| return; |
| |
| } else if (this.binding.isProtected()){ |
| |
| SourceTypeBinding enclosingSourceType; |
| if (((this.bits & ASTNode.DepthMASK) != 0) |
| && codegenBinding.declaringClass.getPackage() |
| != (enclosingSourceType = currentScope.enclosingSourceType()).getPackage()){ |
| |
| SourceTypeBinding currentCompatibleType = (SourceTypeBinding)enclosingSourceType.enclosingTypeAt((this.bits & ASTNode.DepthMASK) >> ASTNode.DepthSHIFT); |
| this.syntheticAccessor = currentCompatibleType.addSyntheticMethod(codegenBinding, isSuperAccess()); |
| currentScope.problemReporter().needToEmulateMethodAccess(codegenBinding, this); |
| return; |
| } |
| } |
| } |
| public int nullStatus(FlowInfo flowInfo, FlowContext flowContext) { |
| if (this.binding.isValidBinding()) { |
| // try to retrieve null status of this message send from an annotation of the called method: |
| long tagBits = this.binding.tagBits; |
| if ((tagBits & TagBits.AnnotationNonNull) != 0) |
| return FlowInfo.NON_NULL; |
| if ((tagBits & TagBits.AnnotationNullable) != 0) |
| return FlowInfo.POTENTIALLY_NULL | FlowInfo.POTENTIALLY_NON_NULL; |
| } |
| return FlowInfo.UNKNOWN; |
| } |
| /** |
| * @see org.eclipse.jdt.internal.compiler.ast.Expression#postConversionType(Scope) |
| */ |
| public TypeBinding postConversionType(Scope scope) { |
| TypeBinding convertedType = this.resolvedType; |
| if (this.valueCast != null) |
| convertedType = this.valueCast; |
| int runtimeType = (this.implicitConversion & TypeIds.IMPLICIT_CONVERSION_MASK) >> 4; |
| switch (runtimeType) { |
| case T_boolean : |
| convertedType = TypeBinding.BOOLEAN; |
| break; |
| case T_byte : |
| convertedType = TypeBinding.BYTE; |
| break; |
| case T_short : |
| convertedType = TypeBinding.SHORT; |
| break; |
| case T_char : |
| convertedType = TypeBinding.CHAR; |
| break; |
| case T_int : |
| convertedType = TypeBinding.INT; |
| break; |
| case T_float : |
| convertedType = TypeBinding.FLOAT; |
| break; |
| case T_long : |
| convertedType = TypeBinding.LONG; |
| break; |
| case T_double : |
| convertedType = TypeBinding.DOUBLE; |
| break; |
| default : |
| } |
| if ((this.implicitConversion & TypeIds.BOXING) != 0) { |
| convertedType = scope.environment().computeBoxingType(convertedType); |
| } |
| return convertedType; |
| } |
| |
| public StringBuffer printExpression(int indent, StringBuffer output){ |
| |
| if (!this.receiver.isImplicitThis()) this.receiver.printExpression(0, output).append('.'); |
| if (this.typeArguments != null) { |
| output.append('<'); |
| int max = this.typeArguments.length - 1; |
| for (int j = 0; j < max; j++) { |
| this.typeArguments[j].print(0, output); |
| output.append(", ");//$NON-NLS-1$ |
| } |
| this.typeArguments[max].print(0, output); |
| output.append('>'); |
| } |
| output.append(this.selector).append('(') ; |
| if (this.arguments != null) { |
| for (int i = 0; i < this.arguments.length ; i ++) { |
| if (i > 0) output.append(", "); //$NON-NLS-1$ |
| this.arguments[i].printExpression(0, output); |
| } |
| } |
| return output.append(')'); |
| } |
| |
| public TypeBinding resolveType(BlockScope scope) { |
| // Answer the signature return type |
| // Base type promotion |
| |
| this.constant = Constant.NotAConstant; |
| boolean receiverCast = false, argsContainCast = false; |
| if (this.receiver instanceof CastExpression) { |
| this.receiver.bits |= ASTNode.DisableUnnecessaryCastCheck; // will check later on |
| receiverCast = true; |
| } |
| this.actualReceiverType = this.receiver.resolveType(scope); |
| boolean receiverIsType = this.receiver instanceof NameReference && (((NameReference) this.receiver).bits & Binding.TYPE) != 0; |
| if (receiverCast && this.actualReceiverType != null) { |
| // due to change of declaring class with receiver type, only identity cast should be notified |
| if (((CastExpression)this.receiver).expression.resolvedType == this.actualReceiverType) { |
| scope.problemReporter().unnecessaryCast((CastExpression)this.receiver); |
| } |
| } |
| // resolve type arguments (for generic constructor call) |
| if (this.typeArguments != null) { |
| int length = this.typeArguments.length; |
| boolean argHasError = scope.compilerOptions().sourceLevel < ClassFileConstants.JDK1_5; // typeChecks all arguments |
| this.genericTypeArguments = new TypeBinding[length]; |
| for (int i = 0; i < length; i++) { |
| TypeReference typeReference = this.typeArguments[i]; |
| if ((this.genericTypeArguments[i] = typeReference.resolveType(scope, true /* check bounds*/)) == null) { |
| argHasError = true; |
| } |
| if (argHasError && typeReference instanceof Wildcard) { |
| scope.problemReporter().illegalUsageOfWildcard(typeReference); |
| } |
| } |
| if (argHasError) { |
| if (this.arguments != null) { // still attempt to resolve arguments |
| for (int i = 0, max = this.arguments.length; i < max; i++) { |
| this.arguments[i].resolveType(scope); |
| } |
| } |
| return null; |
| } |
| } |
| // will check for null after args are resolved |
| TypeBinding[] argumentTypes = Binding.NO_PARAMETERS; |
| boolean polyExpressionSeen = false; |
| if (this.arguments != null) { |
| boolean argHasError = false; // typeChecks all arguments |
| int length = this.arguments.length; |
| argumentTypes = new TypeBinding[length]; |
| TypeBinding argumentType; |
| for (int i = 0; i < length; i++){ |
| Expression argument = this.arguments[i]; |
| if (argument instanceof CastExpression) { |
| argument.bits |= ASTNode.DisableUnnecessaryCastCheck; // will check later on |
| argsContainCast = true; |
| } |
| argument.setExpressionContext(INVOCATION_CONTEXT); |
| if ((argumentType = argumentTypes[i] = argument.resolveType(scope)) == null){ |
| argHasError = true; |
| } |
| if (argumentType != null && argumentType.kind() == Binding.POLY_TYPE) |
| polyExpressionSeen = true; |
| } |
| if (argHasError) { |
| if (this.actualReceiverType instanceof ReferenceBinding) { |
| // record a best guess, for clients who need hint about possible method match |
| TypeBinding[] pseudoArgs = new TypeBinding[length]; |
| for (int i = length; --i >= 0;) |
| pseudoArgs[i] = argumentTypes[i] == null ? TypeBinding.NULL : argumentTypes[i]; // replace args with errors with null type |
| this.binding = |
| this.receiver.isImplicitThis() |
| ? scope.getImplicitMethod(this.selector, pseudoArgs, this) |
| : scope.findMethod((ReferenceBinding) this.actualReceiverType, this.selector, pseudoArgs, this); |
| if (this.binding != null && !this.binding.isValidBinding()) { |
| MethodBinding closestMatch = ((ProblemMethodBinding)this.binding).closestMatch; |
| // record the closest match, for clients who may still need hint about possible method match |
| if (closestMatch != null) { |
| if (closestMatch.original().typeVariables != Binding.NO_TYPE_VARIABLES) { // generic method |
| // shouldn't return generic method outside its context, rather convert it to raw method (175409) |
| closestMatch = scope.environment().createParameterizedGenericMethod(closestMatch.original(), (RawTypeBinding)null); |
| } |
| this.binding = closestMatch; |
| MethodBinding closestMatchOriginal = closestMatch.original(); |
| if (closestMatchOriginal.isOrEnclosedByPrivateType() && !scope.isDefinedInMethod(closestMatchOriginal)) { |
| // ignore cases where method is used from within inside itself (e.g. direct recursions) |
| closestMatchOriginal.modifiers |= ExtraCompilerModifiers.AccLocallyUsed; |
| } |
| } |
| } |
| } |
| return null; |
| } |
| } |
| if (this.actualReceiverType == null) { |
| return null; |
| } |
| // base type cannot receive any message |
| if (this.actualReceiverType.isBaseType()) { |
| scope.problemReporter().errorNoMethodFor(this, this.actualReceiverType, argumentTypes); |
| return null; |
| } |
| this.binding = this.receiver.isImplicitThis() |
| ? scope.getImplicitMethod(this.selector, argumentTypes, this) |
| : scope.getMethod(this.actualReceiverType, this.selector, argumentTypes, this); |
| |
| if (polyExpressionSeen && polyExpressionsHaveErrors(scope, this.binding, this.arguments, argumentTypes)) |
| return null; |
| |
| if (!this.binding.isValidBinding()) { |
| if (this.binding.declaringClass == null) { |
| if (this.actualReceiverType instanceof ReferenceBinding) { |
| this.binding.declaringClass = (ReferenceBinding) this.actualReceiverType; |
| } else { |
| scope.problemReporter().errorNoMethodFor(this, this.actualReceiverType, argumentTypes); |
| return null; |
| } |
| } |
| // https://bugs.eclipse.org/bugs/show_bug.cgi?id=245007 avoid secondary errors in case of |
| // missing super type for anonymous classes ... |
| ReferenceBinding declaringClass = this.binding.declaringClass; |
| boolean avoidSecondary = declaringClass != null && |
| declaringClass.isAnonymousType() && |
| declaringClass.superclass() instanceof MissingTypeBinding; |
| if (!avoidSecondary) |
| scope.problemReporter().invalidMethod(this, this.binding); |
| MethodBinding closestMatch = ((ProblemMethodBinding)this.binding).closestMatch; |
| switch (this.binding.problemId()) { |
| case ProblemReasons.Ambiguous : |
| break; // no resilience on ambiguous |
| case ProblemReasons.NotVisible : |
| case ProblemReasons.NonStaticReferenceInConstructorInvocation : |
| case ProblemReasons.NonStaticReferenceInStaticContext : |
| case ProblemReasons.ReceiverTypeNotVisible : |
| case ProblemReasons.ParameterBoundMismatch : |
| // only steal returnType in cases listed above |
| if (closestMatch != null) this.resolvedType = closestMatch.returnType; |
| break; |
| } |
| // record the closest match, for clients who may still need hint about possible method match |
| if (closestMatch != null) { |
| this.binding = closestMatch; |
| MethodBinding closestMatchOriginal = closestMatch.original(); |
| if (closestMatchOriginal.isOrEnclosedByPrivateType() && !scope.isDefinedInMethod(closestMatchOriginal)) { |
| // ignore cases where method is used from within inside itself (e.g. direct recursions) |
| closestMatchOriginal.modifiers |= ExtraCompilerModifiers.AccLocallyUsed; |
| } |
| } |
| return (this.resolvedType != null && (this.resolvedType.tagBits & TagBits.HasMissingType) == 0) |
| ? this.resolvedType |
| : null; |
| } |
| final CompilerOptions compilerOptions = scope.compilerOptions(); |
| if (compilerOptions.complianceLevel <= ClassFileConstants.JDK1_6 |
| && this.binding.isPolymorphic()) { |
| scope.problemReporter().polymorphicMethodNotBelow17(this); |
| return null; |
| } |
| |
| if (compilerOptions.isAnnotationBasedNullAnalysisEnabled && (this.binding.tagBits & TagBits.IsNullnessKnown) == 0) { |
| // not interested in reporting problems against this.binding: |
| new ImplicitNullAnnotationVerifier(compilerOptions.inheritNullAnnotations) |
| .checkImplicitNullAnnotations(this.binding, null/*srcMethod*/, false, scope); |
| } |
| |
| if (((this.bits & ASTNode.InsideExpressionStatement) != 0) |
| && this.binding.isPolymorphic()) { |
| // we only set the return type to be void if this method invocation is used inside an expression statement |
| this.binding = scope.environment().updatePolymorphicMethodReturnType((PolymorphicMethodBinding) this.binding, TypeBinding.VOID); |
| } |
| if ((this.binding.tagBits & TagBits.HasMissingType) != 0) { |
| scope.problemReporter().missingTypeInMethod(this, this.binding); |
| } |
| if (!this.binding.isStatic()) { |
| // the "receiver" must not be a type |
| if (receiverIsType) { |
| scope.problemReporter().mustUseAStaticMethod(this, this.binding); |
| if (this.actualReceiverType.isRawType() |
| && (this.receiver.bits & ASTNode.IgnoreRawTypeCheck) == 0 |
| && compilerOptions.getSeverity(CompilerOptions.RawTypeReference) != ProblemSeverities.Ignore) { |
| scope.problemReporter().rawTypeReference(this.receiver, this.actualReceiverType); |
| } |
| } else { |
| // handle indirect inheritance thru variable secondary bound |
| // receiver may receive generic cast, as part of implicit conversion |
| TypeBinding oldReceiverType = this.actualReceiverType; |
| this.actualReceiverType = this.actualReceiverType.getErasureCompatibleType(this.binding.declaringClass); |
| this.receiver.computeConversion(scope, this.actualReceiverType, this.actualReceiverType); |
| if (this.actualReceiverType != oldReceiverType && this.receiver.postConversionType(scope) != this.actualReceiverType) { // record need for explicit cast at codegen since receiver could not handle it |
| this.bits |= NeedReceiverGenericCast; |
| } |
| } |
| } else { |
| // static message invoked through receiver? legal but unoptimal (optional warning). |
| if (!(this.receiver.isImplicitThis() || this.receiver.isSuper() || receiverIsType)) { |
| scope.problemReporter().nonStaticAccessToStaticMethod(this, this.binding); |
| } |
| if (!this.receiver.isImplicitThis() && this.binding.declaringClass != this.actualReceiverType) { |
| scope.problemReporter().indirectAccessToStaticMethod(this, this.binding); |
| } |
| } |
| if (checkInvocationArguments(scope, this.receiver, this.actualReceiverType, this.binding, this.arguments, argumentTypes, argsContainCast, this)) { |
| this.bits |= ASTNode.Unchecked; |
| } |
| |
| //-------message send that are known to fail at compile time----------- |
| if (this.binding.isAbstract()) { |
| if (this.receiver.isSuper()) { |
| scope.problemReporter().cannotDireclyInvokeAbstractMethod(this, this.binding); |
| } |
| // abstract private methods cannot occur nor abstract static............ |
| } |
| if (isMethodUseDeprecated(this.binding, scope, true)) |
| scope.problemReporter().deprecatedMethod(this.binding, this); |
| |
| // from 1.5 source level on, array#clone() returns the array type (but binding still shows Object) |
| if (this.binding == scope.environment().arrayClone && compilerOptions.sourceLevel >= ClassFileConstants.JDK1_5) { |
| this.resolvedType = this.actualReceiverType; |
| } else { |
| TypeBinding returnType; |
| if ((this.bits & ASTNode.Unchecked) != 0 && this.genericTypeArguments == null) { |
| // https://bugs.eclipse.org/bugs/show_bug.cgi?id=277643, align with javac on JLS 15.12.2.6 |
| returnType = this.binding.returnType; |
| if (returnType != null) { |
| returnType = scope.environment().convertToRawType(returnType.erasure(), true); |
| } |
| } else { |
| returnType = this.binding.returnType; |
| if (returnType != null) { |
| returnType = returnType.capture(scope, this.sourceEnd); |
| } |
| } |
| this.resolvedType = returnType; |
| } |
| if (this.receiver.isSuper() && compilerOptions.getSeverity(CompilerOptions.OverridingMethodWithoutSuperInvocation) != ProblemSeverities.Ignore) { |
| final ReferenceContext referenceContext = scope.methodScope().referenceContext; |
| if (referenceContext instanceof AbstractMethodDeclaration) { |
| final AbstractMethodDeclaration abstractMethodDeclaration = (AbstractMethodDeclaration) referenceContext; |
| MethodBinding enclosingMethodBinding = abstractMethodDeclaration.binding; |
| if (enclosingMethodBinding.isOverriding() |
| && CharOperation.equals(this.binding.selector, enclosingMethodBinding.selector) |
| && this.binding.areParametersEqual(enclosingMethodBinding)) { |
| abstractMethodDeclaration.bits |= ASTNode.OverridingMethodWithSupercall; |
| } |
| } |
| } |
| if (this.receiver.isSuper() && this.actualReceiverType.isInterface()) { |
| // 15.12.3 (Java 8) |
| scope.checkAppropriateMethodAgainstSupers(this.selector, this.binding, argumentTypes, this); |
| } |
| if (this.typeArguments != null && this.binding.original().typeVariables == Binding.NO_TYPE_VARIABLES) { |
| scope.problemReporter().unnecessaryTypeArgumentsForMethodInvocation(this.binding, this.genericTypeArguments, this.typeArguments); |
| } |
| return (this.resolvedType.tagBits & TagBits.HasMissingType) == 0 |
| ? this.resolvedType |
| : null; |
| } |
| |
| public void setActualReceiverType(ReferenceBinding receiverType) { |
| if (receiverType == null) return; // error scenario only |
| this.actualReceiverType = receiverType; |
| } |
| public void setDepth(int depth) { |
| this.bits &= ~ASTNode.DepthMASK; // flush previous depth if any |
| if (depth > 0) { |
| this.bits |= (depth & 0xFF) << ASTNode.DepthSHIFT; // encoded on 8 bits |
| } |
| } |
| |
| /** |
| * @see org.eclipse.jdt.internal.compiler.ast.Expression#setExpectedType(org.eclipse.jdt.internal.compiler.lookup.TypeBinding) |
| */ |
| public void setExpectedType(TypeBinding expectedType) { |
| this.expectedType = expectedType; |
| } |
| |
| public void setExpressionContext(ExpressionContext context) { |
| this.expressionContext = context; |
| } |
| |
| public boolean isPolyExpression() { |
| |
| /* 15.12 has four requirements: 1) The invocation appears in an assignment context or an invocation context |
| 2) The invocation elides NonWildTypeArguments 3) the method to be invoked is a generic method (8.4.4). |
| 4) The return type of the method to be invoked mentions at least one of the method's type parameters. |
| |
| We are in no position to ascertain the last two until after resolution has happened. So no client should |
| depend on asking this question before resolution. |
| */ |
| if (this.expressionContext != ASSIGNMENT_CONTEXT && this.expressionContext != INVOCATION_CONTEXT) |
| return false; |
| |
| if (this.typeArguments != null && this.typeArguments.length > 0) |
| return false; |
| |
| if (this.constant != Constant.NotAConstant) |
| throw new UnsupportedOperationException("Unresolved MessageSend can't be queried if it is a polyexpression"); //$NON-NLS-1$ |
| |
| if (this.binding != null && this.binding instanceof ParameterizedGenericMethodBinding) { |
| ParameterizedGenericMethodBinding pgmb = (ParameterizedGenericMethodBinding) this.binding; |
| return pgmb.inferredReturnType; |
| } |
| |
| return false; |
| } |
| |
| public boolean tIsMoreSpecific(TypeBinding t, TypeBinding s) { |
| return isPolyExpression() ? !t.isBaseType() && s.isBaseType() : super.tIsMoreSpecific(t, s); |
| } |
| |
| public void setFieldIndex(int depth) { |
| // ignore for here |
| } |
| public TypeBinding expectedType() { |
| return this.expectedType; |
| } |
| |
| public void traverse(ASTVisitor visitor, BlockScope blockScope) { |
| if (visitor.visit(this, blockScope)) { |
| this.receiver.traverse(visitor, blockScope); |
| if (this.typeArguments != null) { |
| for (int i = 0, typeArgumentsLength = this.typeArguments.length; i < typeArgumentsLength; i++) { |
| this.typeArguments[i].traverse(visitor, blockScope); |
| } |
| } |
| if (this.arguments != null) { |
| int argumentsLength = this.arguments.length; |
| for (int i = 0; i < argumentsLength; i++) |
| this.arguments[i].traverse(visitor, blockScope); |
| } |
| } |
| visitor.endVisit(this, blockScope); |
| } |
| public boolean statementExpression() { |
| return true; |
| } |
| public boolean receiverIsImplicitThis() { |
| return this.receiver.isImplicitThis(); |
| } |
| } |
