| /******************************************************************************* |
| * Copyright (c) 2000, 2018 IBM Corporation and others. |
| * |
| * This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License 2.0 |
| * which accompanies this distribution, and is available at |
| * https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * 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 |
| * Bug 392099 - [1.8][compiler][null] Apply null annotation on types for null analysis |
| * Bug 415043 - [1.8][null] Follow-up re null type annotations after bug 392099 |
| * Bug 405569 - Resource leak check false positive when using DbUtils.closeQuietly |
| * Bug 411964 - [1.8][null] leverage null type annotation in foreach statement |
| * Bug 417295 - [1.8[[null] Massage type annotated null analysis to gel well with deep encoded type bindings. |
| * Bug 400874 - [1.8][compiler] Inference infrastructure should evolve to meet JLS8 18.x (Part G of JSR335 spec) |
| * Bug 423504 - [1.8] Implement "18.5.3 Functional Interface Parameterization Inference" |
| * Bug 424710 - [1.8][compiler] CCE in SingleNameReference.localVariableBinding |
| * Bug 425152 - [1.8] [compiler] Lambda Expression not resolved but flow analyzed leading to NPE. |
| * Bug 424205 - [1.8] Cannot infer type for diamond type with lambda on method invocation |
| * Bug 424415 - [1.8][compiler] Eventual resolution of ReferenceExpression is not seen to be happening. |
| * Bug 426366 - [1.8][compiler] Type inference doesn't handle multiple candidate target types in outer overload context |
| * Bug 426290 - [1.8][compiler] Inference + overloading => wrong method resolution ? |
| * Bug 427483 - [Java 8] Variables in lambdas sometimes can't be resolved |
| * Bug 427438 - [1.8][compiler] NPE at org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.generateCode(ConditionalExpression.java:280) |
| * Bug 426996 - [1.8][inference] try to avoid method Expression.unresolve()? |
| * Bug 428352 - [1.8][compiler] Resolution errors don't always surface |
| * Bug 429430 - [1.8] Lambdas and method reference infer wrong exception type with generics (RuntimeException instead of IOException) |
| * Bug 441734 - [1.8][inference] Generic method with nested parameterized type argument fails on method reference |
| * Bug 452788 - [1.8][compiler] Type not correctly inferred in lambda expression |
| * Bug 456487 - [1.8][null] @Nullable type variant of @NonNull-constrained type parameter causes grief |
| * Bug 407414 - [compiler][null] Incorrect warning on a primitive type being null |
| * Bug 472618 - [compiler][null] assertNotNull vs. Assert.assertNotNull |
| * Bug 470958 - [1.8] Unable to convert lambda |
| * Bug 410218 - Optional warning for arguments of "unexpected" types to Map#get(Object), Collection#remove(Object) et al. |
| * Jesper S Moller - Contributions for |
| * Bug 378674 - "The method can be declared as static" is wrong |
| * Andy Clement (GoPivotal, Inc) aclement@gopivotal.com - Contributions for |
| * Bug 383624 - [1.8][compiler] Revive code generation support for type annotations (from Olivier's work) |
| * Bug 409245 - [1.8][compiler] Type annotations dropped when call is routed through a synthetic bridge method |
| *******************************************************************************/ |
| package org.eclipse.jdt.internal.compiler.ast; |
| |
| import static org.eclipse.jdt.internal.compiler.ast.ExpressionContext.*; |
| |
| import java.util.HashMap; |
| |
| import org.eclipse.jdt.core.compiler.CharOperation; |
| import org.eclipse.jdt.core.compiler.IProblem; |
| 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.IrritantSet; |
| import org.eclipse.jdt.internal.compiler.impl.ReferenceContext; |
| import org.eclipse.jdt.internal.compiler.lookup.ArrayBinding; |
| 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.FieldBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier; |
| import org.eclipse.jdt.internal.compiler.lookup.InferenceContext18; |
| import org.eclipse.jdt.internal.compiler.lookup.InferenceVariable; |
| 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.ParameterizedMethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.PolyParameterizedGenericMethodBinding; |
| import org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding; |
| 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.lookup.TypeVariableBinding; |
| import org.eclipse.jdt.internal.compiler.problem.ProblemSeverities; |
| import org.eclipse.jdt.internal.compiler.util.SimpleLookupTable; |
| |
| public class MessageSend extends Expression implements IPolyExpression, Invocation { |
| |
| 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; |
| public ExpressionContext expressionContext = VANILLA_CONTEXT; |
| |
| // hold on to this context from invocation applicability inference until invocation type inference (per method candidate): |
| private SimpleLookupTable/*<PGMB,InferenceContext18>*/ inferenceContexts; |
| private HashMap<TypeBinding, MethodBinding> solutionsPerTargetType; |
| private InferenceContext18 outerInferenceContext; // resolving within the context of an outer (lambda) inference? |
| |
| private boolean receiverIsType; |
| protected boolean argsContainCast; |
| public TypeBinding[] argumentTypes = Binding.NO_PARAMETERS; |
| public boolean argumentsHaveErrors = false; |
| |
| |
| @Override |
| 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: |
| CompilerOptions compilerOptions = currentScope.compilerOptions(); |
| boolean analyseResources = compilerOptions.analyseResourceLeaks; |
| if (analyseResources) { |
| if (nonStatic) { |
| // closeable.close() |
| if (CharOperation.equals(TypeConstants.CLOSE, this.selector)) { |
| recordCallingClose(currentScope, flowContext, flowInfo, 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)) |
| { |
| int len = Math.min(record.numCloseableArgs, this.arguments.length); |
| for (int j=0; j<len; j++) |
| recordCallingClose(currentScope, flowContext, flowInfo, this.arguments[j]); |
| break; |
| } |
| } |
| } |
| } |
| if (compilerOptions.isAnyEnabled(IrritantSet.UNLIKELY_ARGUMENT_TYPE) && this.binding.isValidBinding() |
| && this.arguments != null) { |
| if (this.arguments.length == 1 && !this.binding.isStatic()) { |
| UnlikelyArgumentCheck argumentChecks = UnlikelyArgumentCheck.determineCheckForNonStaticSingleArgumentMethod( |
| this.argumentTypes[0], currentScope, this.selector, this.actualReceiverType, this.binding.parameters); |
| |
| if (argumentChecks != null && argumentChecks.isDangerous(currentScope)) { |
| currentScope.problemReporter().unlikelyArgumentType(this.arguments[0], this.binding, |
| this.argumentTypes[0], argumentChecks.typeToReport, argumentChecks.dangerousMethod); |
| } |
| } else if (this.arguments.length == 2 && this.binding.isStatic()) { |
| UnlikelyArgumentCheck argumentChecks = UnlikelyArgumentCheck.determineCheckForStaticTwoArgumentMethod( |
| this.argumentTypes[1], currentScope, this.selector, this.argumentTypes[0], |
| this.binding.parameters, this.actualReceiverType); |
| |
| if (argumentChecks != null && argumentChecks.isDangerous(currentScope)) { |
| currentScope.problemReporter().unlikelyArgumentType(this.arguments[1], this.binding, |
| this.argumentTypes[1], argumentChecks.typeToReport, argumentChecks.dangerousMethod); |
| } |
| } |
| } |
| |
| if (nonStatic) { |
| int timeToLive = ((this.bits & ASTNode.InsideExpressionStatement) != 0) ? 3 : 2; |
| this.receiver.checkNPE(currentScope, flowContext, flowInfo, timeToLive); |
| } |
| |
| 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; |
| } |
| private void recordCallingClose(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Expression closeTarget) { |
| 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(); |
| } |
| } |
| } |
| |
| // 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]; |
| TypeBinding declaringClass = this.binding.declaringClass; |
| if (declaringClass != null && parameterType != null) { |
| switch (declaringClass.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; |
| } |
| |
| @Override |
| public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck) { |
| // message send as a receiver |
| int nullStatus = nullStatus(flowInfo, flowContext); // note that flowInfo is not used inside nullStatus(..) |
| if ((nullStatus & FlowInfo.POTENTIALLY_NULL) != 0) { |
| if(this.binding.returnType.isTypeVariable() && nullStatus == FlowInfo.FREE_TYPEVARIABLE && scope.environment().globalOptions.pessimisticNullAnalysisForFreeTypeVariablesEnabled) { |
| scope.problemReporter().methodReturnTypeFreeTypeVariableReference(this.binding, this); |
| } else { |
| scope.problemReporter().messageSendPotentialNullReference(this.binding, this); |
| } |
| } else if ((this.resolvedType.tagBits & TagBits.AnnotationNonNull) != 0) { |
| NullAnnotationMatching nonNullStatus = NullAnnotationMatching.okNonNullStatus(this); |
| if (nonNullStatus.wantToReport()) |
| nonNullStatus.report(scope); |
| } |
| 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) |
| */ |
| @Override |
| 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 (ArrayBinding.isArrayClone(this.actualReceiverType, this.binding) |
| && 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; |
| } else if (originalType.leafComponentType().isTypeVariable()) { |
| TypeBinding targetType = (!compileTimeType.isBaseType() && runtimeTimeType.isBaseType()) |
| ? compileTimeType // unboxing: checkcast before conversion |
| : runtimeTimeType; |
| this.valueCast = originalType.genericCast(targetType); |
| } |
| 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 |
| */ |
| @Override |
| public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) { |
| cleanUpInferenceContexts(); |
| 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()) || |
| (!currentScope.enclosingSourceType().isNestmateOf(this.binding.declaringClass) && 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 */, this.typeArguments); |
| } |
| // 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() |
| */ |
| @Override |
| public TypeBinding[] genericTypeArguments() { |
| return this.genericTypeArguments; |
| } |
| |
| @Override |
| public boolean isSuperAccess() { |
| return this.receiver.isSuper(); |
| } |
| @Override |
| 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().isNestmateOf(codegenBinding.declaringClass) && |
| TypeBinding.notEquals(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; |
| } |
| } |
| } |
| @Override |
| public int nullStatus(FlowInfo flowInfo, FlowContext flowContext) { |
| if ((this.implicitConversion & TypeIds.BOXING) != 0) |
| return FlowInfo.NON_NULL; |
| 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.AnnotationNullMASK) == 0L) // alternatively look for type annotation (will only be present in 1.8+): |
| tagBits = this.binding.returnType.tagBits & TagBits.AnnotationNullMASK; |
| if(tagBits == 0L && this.binding.returnType.isFreeTypeVariable()) { |
| return FlowInfo.FREE_TYPEVARIABLE; |
| } |
| return FlowInfo.tagBitsToNullStatus(tagBits); |
| } |
| return FlowInfo.UNKNOWN; |
| } |
| /** |
| * @see org.eclipse.jdt.internal.compiler.ast.Expression#postConversionType(Scope) |
| */ |
| @Override |
| 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; |
| } |
| |
| @Override |
| 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(')'); |
| } |
| |
| @Override |
| public TypeBinding resolveType(BlockScope scope) { |
| // Answer the signature return type, answers PolyTypeBinding if a poly expression and there is no target type |
| // Base type promotion |
| if (this.constant != Constant.NotAConstant) { |
| this.constant = Constant.NotAConstant; |
| long sourceLevel = scope.compilerOptions().sourceLevel; |
| boolean receiverCast = false; |
| if (this.receiver instanceof CastExpression) { |
| this.receiver.bits |= ASTNode.DisableUnnecessaryCastCheck; // will check later on |
| receiverCast = true; |
| } |
| this.actualReceiverType = this.receiver.resolveType(scope); |
| if (this.actualReceiverType instanceof InferenceVariable) { |
| scope.referenceContext().tagAsHavingIgnoredMandatoryErrors(IProblem.UndefinedMethod); |
| return null; // not yet ready for resolving |
| } |
| this.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 |
| TypeBinding resolvedType2 = ((CastExpression)this.receiver).expression.resolvedType; |
| if (TypeBinding.equalsEquals(resolvedType2, this.actualReceiverType)) { |
| if (!scope.environment().usesNullTypeAnnotations() || !NullAnnotationMatching.analyse(this.actualReceiverType, resolvedType2, -1).isAnyMismatch()) { |
| scope.problemReporter().unnecessaryCast((CastExpression) this.receiver); |
| } |
| } |
| } |
| // resolve type arguments (for generic constructor call) |
| if (this.typeArguments != null) { |
| int length = this.typeArguments.length; |
| this.argumentsHaveErrors = 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*/, Binding.DefaultLocationTypeArgument)) == null) { |
| this.argumentsHaveErrors = true; |
| } |
| if (this.argumentsHaveErrors && typeReference instanceof Wildcard) { |
| scope.problemReporter().illegalUsageOfWildcard(typeReference); |
| } |
| } |
| if (this.argumentsHaveErrors) { |
| 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 |
| if (this.arguments != null) { |
| this.argumentsHaveErrors = false; // typeChecks all arguments |
| int length = this.arguments.length; |
| this.argumentTypes = new TypeBinding[length]; |
| for (int i = 0; i < length; i++){ |
| Expression argument = this.arguments[i]; |
| if (this.arguments[i].resolvedType != null) |
| scope.problemReporter().genericInferenceError("Argument was unexpectedly found resolved", this); //$NON-NLS-1$ |
| if (argument instanceof CastExpression) { |
| argument.bits |= ASTNode.DisableUnnecessaryCastCheck; // will check later on |
| this.argsContainCast = true; |
| } |
| argument.setExpressionContext(INVOCATION_CONTEXT); |
| if ((this.argumentTypes[i] = argument.resolveType(scope)) == null){ |
| this.argumentsHaveErrors = true; |
| } |
| } |
| if (this.argumentsHaveErrors) { |
| 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] = this.argumentTypes[i] == null ? TypeBinding.NULL : this.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, false); |
| |
| 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, this.argumentTypes); |
| return null; |
| } |
| } |
| |
| TypeBinding methodType = findMethodBinding(scope); |
| if (methodType != null && methodType.isPolyType()) { |
| this.resolvedType = this.binding.returnType.capture(scope, this.sourceStart, this.sourceEnd); |
| return methodType; |
| } |
| |
| 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, this.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, scope); |
| MethodBinding closestMatch = ((ProblemMethodBinding)this.binding).closestMatch; |
| switch (this.binding.problemId()) { |
| case ProblemReasons.Ambiguous : |
| break; // no resilience on ambiguous |
| case ProblemReasons.InferredApplicableMethodInapplicable: |
| case ProblemReasons.InvocationTypeInferenceFailure: |
| // Grabbing the closest match improves error reporting in nested invocation contexts |
| if (this.expressionContext != INVOCATION_CONTEXT) |
| break; |
| //$FALL-THROUGH$ |
| 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; |
| case ProblemReasons.ContradictoryNullAnnotations : |
| if (closestMatch != null && closestMatch.returnType != null) |
| this.resolvedType = closestMatch.returnType.withoutToplevelNullAnnotation(); |
| 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) { |
| ImplicitNullAnnotationVerifier.ensureNullnessIsKnown(this.binding, scope); |
| if (compilerOptions.sourceLevel >= ClassFileConstants.JDK1_8) { |
| if (this.binding instanceof ParameterizedGenericMethodBinding && this.typeArguments != null) { |
| TypeVariableBinding[] typeVariables = this.binding.original().typeVariables(); |
| for (int i = 0; i < this.typeArguments.length; i++) |
| this.typeArguments[i].checkNullConstraints(scope, (ParameterizedGenericMethodBinding) this.binding, typeVariables, i); |
| } |
| } |
| } |
| |
| 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 (this.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 (TypeBinding.notEquals(this.actualReceiverType, oldReceiverType) && TypeBinding.notEquals(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.binding.declaringClass.isInterface() && !((isTypeAccess() || this.receiver.isImplicitThis()) && TypeBinding.equalsEquals(this.binding.declaringClass, this.actualReceiverType))) { |
| scope.problemReporter().nonStaticOrAlienTypeReceiver(this, this.binding); |
| } else if (!(this.receiver.isImplicitThis() || this.receiver.isSuper() || this.receiverIsType)) { |
| scope.problemReporter().nonStaticAccessToStaticMethod(this, this.binding); |
| } |
| if (!this.receiver.isImplicitThis() && TypeBinding.notEquals(this.binding.declaringClass, this.actualReceiverType)) { |
| scope.problemReporter().indirectAccessToStaticMethod(this, this.binding); |
| } |
| } |
| if (checkInvocationArguments(scope, this.receiver, this.actualReceiverType, this.binding, this.arguments, this.argumentTypes, this.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); |
| |
| 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.sourceStart, 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, this.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; |
| } |
| |
| protected TypeBinding findMethodBinding(BlockScope scope) { |
| ReferenceContext referenceContext = scope.methodScope().referenceContext; |
| if (referenceContext instanceof LambdaExpression) { |
| this.outerInferenceContext = ((LambdaExpression) referenceContext).inferenceContext; |
| } |
| |
| if (this.expectedType != null && this.binding instanceof PolyParameterizedGenericMethodBinding) { |
| this.binding = this.solutionsPerTargetType.get(this.expectedType); |
| } |
| if (this.binding == null) { // first look up or a "cache miss" somehow. |
| this.binding = this.receiver.isImplicitThis() ? |
| scope.getImplicitMethod(this.selector, this.argumentTypes, this) |
| : scope.getMethod(this.actualReceiverType, this.selector, this.argumentTypes, this); |
| |
| if (this.binding instanceof PolyParameterizedGenericMethodBinding) { |
| this.solutionsPerTargetType = new HashMap<TypeBinding, MethodBinding>(); |
| return new PolyTypeBinding(this); |
| } |
| } |
| resolvePolyExpressionArguments(this, this.binding, this.argumentTypes, scope); |
| return this.binding.returnType; |
| } |
| |
| @Override |
| public void setActualReceiverType(ReferenceBinding receiverType) { |
| if (receiverType == null) return; // error scenario only |
| this.actualReceiverType = receiverType; |
| } |
| @Override |
| 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) |
| */ |
| @Override |
| public void setExpectedType(TypeBinding expectedType) { |
| this.expectedType = expectedType; |
| } |
| |
| @Override |
| public void setExpressionContext(ExpressionContext context) { |
| this.expressionContext = context; |
| } |
| |
| @Override |
| 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. |
| */ |
| return isPolyExpression(this.binding); |
| } |
| |
| @Override |
| public boolean isBoxingCompatibleWith(TypeBinding targetType, Scope scope) { |
| if (this.argumentsHaveErrors || this.binding == null || !this.binding.isValidBinding() || targetType == null || scope == null) |
| return false; |
| if (isPolyExpression() && !targetType.isPrimitiveOrBoxedPrimitiveType()) // i.e it is dumb to trigger inference, checking boxing compatibility against say Collector<? super T, A, R>. |
| return false; |
| TypeBinding originalExpectedType = this.expectedType; |
| try { |
| MethodBinding method = this.solutionsPerTargetType != null ? this.solutionsPerTargetType.get(targetType) : null; |
| if (method == null) { |
| this.expectedType = targetType; |
| // No need to tunnel through overload resolution. this.binding is the MSMB. |
| method = isPolyExpression() ? ParameterizedGenericMethodBinding.computeCompatibleMethod18(this.binding.shallowOriginal(), this.argumentTypes, scope, this) : this.binding; |
| registerResult(targetType, method); |
| } |
| if (method == null || !method.isValidBinding() || method.returnType == null || !method.returnType.isValidBinding()) |
| return false; |
| return super.isBoxingCompatible(method.returnType.capture(scope, this.sourceStart, this.sourceEnd), targetType, this, scope); |
| } finally { |
| this.expectedType = originalExpectedType; |
| } |
| } |
| |
| @Override |
| public boolean isCompatibleWith(TypeBinding targetType, final Scope scope) { |
| if (this.argumentsHaveErrors || this.binding == null || !this.binding.isValidBinding() || targetType == null || scope == null) |
| return false; |
| TypeBinding originalExpectedType = this.expectedType; |
| try { |
| MethodBinding method = this.solutionsPerTargetType != null ? this.solutionsPerTargetType.get(targetType) : null; |
| if (method == null) { |
| this.expectedType = targetType; |
| // No need to tunnel through overload resolution. this.binding is the MSMB. |
| method = isPolyExpression() ? ParameterizedGenericMethodBinding.computeCompatibleMethod18(this.binding.shallowOriginal(), this.argumentTypes, scope, this) : this.binding; |
| registerResult(targetType, method); |
| } |
| TypeBinding returnType; |
| if (method == null || !method.isValidBinding() || (returnType = method.returnType) == null || !returnType.isValidBinding()) |
| return false; |
| if ((this.bits & ASTNode.Unchecked) != 0 && this.genericTypeArguments == null) |
| returnType = scope.environment().convertToRawType(returnType.erasure(), true); |
| return returnType.capture(scope, this.sourceStart, this.sourceEnd).isCompatibleWith(targetType, scope); |
| } finally { |
| this.expectedType = originalExpectedType; |
| } |
| } |
| |
| /** Variant of isPolyExpression() to be used during type inference, when a resolution candidate exists. */ |
| @Override |
| public boolean isPolyExpression(MethodBinding resolutionCandidate) { |
| 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 (resolutionCandidate != null) { |
| if (resolutionCandidate instanceof ParameterizedGenericMethodBinding) { |
| ParameterizedGenericMethodBinding pgmb = (ParameterizedGenericMethodBinding) resolutionCandidate; |
| if (pgmb.inferredReturnType) |
| return true; // if already determined |
| } |
| if (resolutionCandidate.returnType != null) { |
| // resolution may have prematurely instantiated the generic method, we need the original, though: |
| MethodBinding candidateOriginal = resolutionCandidate.original(); |
| return candidateOriginal.returnType.mentionsAny(candidateOriginal.typeVariables(), -1); |
| } |
| } |
| |
| return false; |
| } |
| |
| @Override |
| public boolean sIsMoreSpecific(TypeBinding s, TypeBinding t, Scope scope) { |
| if (super.sIsMoreSpecific(s, t, scope)) |
| return true; |
| return isPolyExpression() ? !s.isBaseType() && t.isBaseType() : false; |
| } |
| |
| @Override |
| public void setFieldIndex(int depth) { |
| // ignore for here |
| } |
| @Override |
| public TypeBinding invocationTargetType() { |
| return this.expectedType; |
| } |
| |
| @Override |
| 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); |
| } |
| @Override |
| public boolean statementExpression() { |
| return ((this.bits & ASTNode.ParenthesizedMASK) == 0); |
| } |
| @Override |
| public boolean receiverIsImplicitThis() { |
| return this.receiver.isImplicitThis(); |
| } |
| // -- interface Invocation: -- |
| @Override |
| public MethodBinding binding() { |
| return this.binding; |
| } |
| |
| @Override |
| public void registerInferenceContext(ParameterizedGenericMethodBinding method, InferenceContext18 infCtx18) { |
| if (this.inferenceContexts == null) |
| this.inferenceContexts = new SimpleLookupTable(); |
| this.inferenceContexts.put(method, infCtx18); |
| } |
| |
| @Override |
| public void registerResult(TypeBinding targetType, MethodBinding method) { |
| if (this.solutionsPerTargetType == null) |
| this.solutionsPerTargetType = new HashMap<TypeBinding, MethodBinding>(); |
| this.solutionsPerTargetType.put(targetType, method); |
| } |
| |
| @Override |
| public InferenceContext18 getInferenceContext(ParameterizedMethodBinding method) { |
| if (this.inferenceContexts == null) |
| return null; |
| return (InferenceContext18) this.inferenceContexts.get(method); |
| } |
| @Override |
| public void cleanUpInferenceContexts() { |
| if (this.inferenceContexts == null) |
| return; |
| for (Object value : this.inferenceContexts.valueTable) |
| if (value != null) |
| ((InferenceContext18) value).cleanUp(); |
| this.inferenceContexts = null; |
| this.outerInferenceContext = null; |
| this.solutionsPerTargetType = null; |
| } |
| @Override |
| public Expression[] arguments() { |
| return this.arguments; |
| } |
| @Override |
| public ExpressionContext getExpressionContext() { |
| return this.expressionContext; |
| } |
| // -- Interface InvocationSite: -- |
| @Override |
| public InferenceContext18 freshInferenceContext(Scope scope) { |
| return new InferenceContext18(scope, this.arguments, this, this.outerInferenceContext); |
| } |
| @Override |
| public boolean isQualifiedSuper() { |
| return this.receiver.isQualifiedSuper(); |
| } |
| } |