f3e9dfbd3f2a83fbeb9213263a6b7ffe850240a3
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / internal / compiler / ast / MessageSend.java
1 /*******************************************************************************
2  * Copyright (c) 2000, 2003 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials 
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  * 
8  * Contributors:
9  *     IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package net.sourceforge.phpeclipse.internal.compiler.ast;
12
13 import net.sourceforge.phpdt.internal.compiler.ASTVisitor;
14 import net.sourceforge.phpdt.internal.compiler.flow.FlowContext;
15 import net.sourceforge.phpdt.internal.compiler.flow.FlowInfo;
16 import net.sourceforge.phpdt.internal.compiler.lookup.BindingIds;
17 import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
18 import net.sourceforge.phpdt.internal.compiler.lookup.InvocationSite;
19 import net.sourceforge.phpdt.internal.compiler.lookup.MethodBinding;
20 import net.sourceforge.phpdt.internal.compiler.lookup.ProblemMethodBinding;
21 import net.sourceforge.phpdt.internal.compiler.lookup.ReferenceBinding;
22 import net.sourceforge.phpdt.internal.compiler.lookup.SourceTypeBinding;
23 import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
24
25 public class MessageSend extends Expression implements InvocationSite {
26         public Expression receiver ;
27         public char[] selector ;
28         public Expression[] arguments ;
29         public MethodBinding binding, codegenBinding;
30
31         public long nameSourcePosition ; //(start<<32)+end
32
33         MethodBinding syntheticAccessor;
34
35         public TypeBinding receiverType, qualifyingType;
36         
37 public MessageSend() {
38         
39 }
40 public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) {
41
42         flowInfo = receiver.analyseCode(currentScope, flowContext, flowInfo, !binding.isStatic()).unconditionalInits();
43         if (arguments != null) {
44                 int length = arguments.length;
45                 for (int i = 0; i < length; i++) {
46                         flowInfo = arguments[i].analyseCode(currentScope, flowContext, flowInfo).unconditionalInits();
47                 }
48         }
49         ReferenceBinding[] thrownExceptions;
50         if ((thrownExceptions = binding.thrownExceptions) != NoExceptions) {
51                 // must verify that exceptions potentially thrown by this expression are caught in the method
52                 flowContext.checkExceptionHandlers(thrownExceptions, this, flowInfo, currentScope);
53         }
54         manageSyntheticAccessIfNecessary(currentScope); 
55         return flowInfo;
56 }
57 /**
58  * MessageSend code generation
59  *
60  * @param currentScope net.sourceforge.phpdt.internal.compiler.lookup.BlockScope
61  * @param codeStream net.sourceforge.phpdt.internal.compiler.codegen.CodeStream
62  * @param valueRequired boolean
63  */ 
64 //public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) {
65 //
66 //      int pc = codeStream.position;
67 //
68 //      // generate receiver/enclosing instance access
69 //      boolean isStatic = codegenBinding.isStatic();
70 //      // outer access ?
71 //      if (!isStatic && ((bits & DepthMASK) != 0) && receiver.isImplicitThis()){
72 //              // outer method can be reached through emulation if implicit access
73 //              ReferenceBinding targetType = currentScope.enclosingSourceType().enclosingTypeAt((bits & DepthMASK) >> DepthSHIFT);             
74 //              Object[] path = currentScope.getEmulationPath(targetType, true /*only exact match*/, false/*consider enclosing arg*/);
75 //              codeStream.generateOuterAccess(path, this, targetType, currentScope);
76 //      } else {
77 //              receiver.generateCode(currentScope, codeStream, !isStatic);
78 //      }
79 //      // generate arguments
80 //      if (arguments != null){
81 //              for (int i = 0, max = arguments.length; i < max; i++){
82 //                      arguments[i].generateCode(currentScope, codeStream, true);
83 //              }
84 //      }
85 //      // actual message invocation
86 //      if (syntheticAccessor == null){
87 //              if (isStatic){
88 //                      codeStream.invokestatic(codegenBinding);
89 //              } else {
90 //                      if( (receiver.isSuper()) || codegenBinding.isPrivate()){
91 //                              codeStream.invokespecial(codegenBinding);
92 //                      } else {
93 //                              if (codegenBinding.declaringClass.isInterface()){
94 //                                      codeStream.invokeinterface(codegenBinding);
95 //                              } else {
96 //                                      codeStream.invokevirtual(codegenBinding);
97 //                              }
98 //                      }
99 //              }
100 //      } else {
101 //              codeStream.invokestatic(syntheticAccessor);
102 //      }
103 //      // operation on the returned value
104 //      if (valueRequired){
105 //              // implicit conversion if necessary
106 //              codeStream.generateImplicitConversion(implicitConversion);
107 //      } else {
108 //              // pop return value if any
109 //              switch(binding.returnType.id){
110 //                      case T_long :
111 //                      case T_double :
112 //                              codeStream.pop2();
113 //                              break;
114 //                      case T_void :
115 //                              break;
116 //                      default:
117 //                              codeStream.pop();
118 //              }
119 //      }
120 //      codeStream.recordPositionsFrom(pc, (int)(this.nameSourcePosition >>> 32)); // highlight selector
121 //}
122 public boolean isSuperAccess() {        
123         return receiver.isSuper();
124 }
125 public boolean isTypeAccess() { 
126         return receiver != null && receiver.isTypeReference();
127 }
128 public void manageSyntheticAccessIfNecessary(BlockScope currentScope){
129
130         if (binding.isPrivate()){
131
132                 // depth is set for both implicit and explicit access (see MethodBinding#canBeSeenBy)           
133                 if (currentScope.enclosingSourceType() != binding.declaringClass){
134                 
135                         syntheticAccessor = ((SourceTypeBinding)binding.declaringClass).addSyntheticMethod(binding, isSuperAccess());
136                         currentScope.problemReporter().needToEmulateMethodAccess(binding, this);
137                         return;
138                 }
139
140         } else if (receiver instanceof QualifiedSuperReference){ // qualified super
141
142                 // qualified super need emulation always
143                 SourceTypeBinding destinationType = (SourceTypeBinding)(((QualifiedSuperReference)receiver).currentCompatibleType);
144                 syntheticAccessor = destinationType.addSyntheticMethod(binding, isSuperAccess());
145                 currentScope.problemReporter().needToEmulateMethodAccess(binding, this);
146                 return;
147
148         } else if (binding.isProtected()){
149
150                 SourceTypeBinding enclosingSourceType;
151                 if (((bits & DepthMASK) != 0) 
152                                 && binding.declaringClass.getPackage() 
153                                         != (enclosingSourceType = currentScope.enclosingSourceType()).getPackage()){
154
155                         SourceTypeBinding currentCompatibleType = (SourceTypeBinding)enclosingSourceType.enclosingTypeAt((bits & DepthMASK) >> DepthSHIFT);
156                         syntheticAccessor = currentCompatibleType.addSyntheticMethod(binding, isSuperAccess());
157                         currentScope.problemReporter().needToEmulateMethodAccess(binding, this);
158                         return;
159                 }
160         }
161         // if the binding declaring class is not visible, need special action
162         // for runtime compatibility on 1.2 VMs : change the declaring class of the binding
163         // NOTE: from target 1.2 on, method's declaring class is touched if any different from receiver type
164         // and not from Object or implicit static method call.  
165 //      if (binding.declaringClass != this.qualifyingType
166 //              && !this.qualifyingType.isArrayType()
167 //              && ((currentScope.environment().options.targetJDK >= CompilerOptions.JDK1_2
168 //                              && (!receiver.isImplicitThis() || !binding.isStatic())
169 //                              && binding.declaringClass.id != T_Object) // no change for Object methods
170 //                      || !binding.declaringClass.canBeSeenBy(currentScope))) {
171 //
172 //              this.codegenBinding = currentScope.enclosingSourceType().getUpdatedMethodBinding(binding, (ReferenceBinding) this.qualifyingType);
173 //      }
174 }
175 public StringBuffer printExpression(int indent, StringBuffer output){
176         
177         if (!receiver.isImplicitThis()) receiver.printExpression(0, output).append('.');
178         output.append(selector).append('(') ; //$NON-NLS-1$
179         if (arguments != null) {
180                 for (int i = 0; i < arguments.length ; i ++) {  
181                         if (i > 0) output.append(", "); //$NON-NLS-1$
182                         arguments[i].printExpression(0, output);
183                 }
184         }
185         return output.append(')');
186 }
187 public TypeBinding resolveType(BlockScope scope) {
188         // Answer the signature return type
189         // Base type promotion
190
191         constant = NotAConstant;
192         this.qualifyingType = this.receiverType = receiver.resolveType(scope); 
193         
194         // will check for null after args are resolved
195         TypeBinding[] argumentTypes = NoParameters;
196         if (arguments != null) {
197                 boolean argHasError = false; // typeChecks all arguments 
198                 int length = arguments.length;
199                 argumentTypes = new TypeBinding[length];
200                 for (int i = 0; i < length; i++){
201                         if ((argumentTypes[i] = arguments[i].resolveType(scope)) == null){
202                                 argHasError = true;
203                         }
204                 }
205                 if (argHasError){
206                         if(receiverType instanceof ReferenceBinding) {
207                                 // record any selector match, for clients who may still need hint about possible method match
208                                 this.codegenBinding = this.binding = scope.findMethod((ReferenceBinding)receiverType, selector, new TypeBinding[]{}, this);
209                         }                       
210                         return null;
211                 }
212         }
213         if (this.receiverType == null)
214                 return null;
215
216         // base type cannot receive any message
217         if (this.receiverType.isBaseType()) {
218                 scope.problemReporter().errorNoMethodFor(this, this.receiverType, argumentTypes);
219                 return null;
220         }
221
222         this.codegenBinding = this.binding = 
223                 receiver.isImplicitThis()
224                         ? scope.getImplicitMethod(selector, argumentTypes, this)
225                         : scope.getMethod(this.receiverType, selector, argumentTypes, this); 
226         if (!binding.isValidBinding()) {
227                 if (binding.declaringClass == null) {
228                         if (this.receiverType instanceof ReferenceBinding) {
229                                 binding.declaringClass = (ReferenceBinding) this.receiverType;
230                         } else { 
231                                 scope.problemReporter().errorNoMethodFor(this, this.receiverType, argumentTypes);
232                                 return null;
233                         }
234                 }
235                 scope.problemReporter().invalidMethod(this, binding);
236                 // record the closest match, for clients who may still need hint about possible method match
237                 if (binding instanceof ProblemMethodBinding){
238                         MethodBinding closestMatch = ((ProblemMethodBinding)binding).closestMatch;
239                         if (closestMatch != null) this.codegenBinding = this.binding = closestMatch;
240                 }
241                 return binding == null ? null : binding.returnType;
242         }
243         if (!binding.isStatic()) {
244                 // the "receiver" must not be a type, in other words, a NameReference that the TC has bound to a Type
245                 if (receiver instanceof NameReference 
246                                 && (((NameReference) receiver).bits & BindingIds.TYPE) != 0) {
247                         scope.problemReporter().mustUseAStaticMethod(this, binding);
248                 }
249         } else {
250                 // static message invoked through receiver? legal but unoptimal (optional warning).
251                 if (!(receiver.isImplicitThis()
252                                 || receiver.isSuper()
253                                 || (receiver instanceof NameReference 
254                                         && (((NameReference) receiver).bits & BindingIds.TYPE) != 0))) {
255                         scope.problemReporter().unnecessaryReceiverForStaticMethod(this, binding);
256                 }
257         }
258         if (arguments != null)
259                 for (int i = 0; i < arguments.length; i++)
260                         arguments[i].implicitWidening(binding.parameters[i], argumentTypes[i]);
261
262         //-------message send that are known to fail at compile time-----------
263         if (binding.isAbstract()) {
264                 if (receiver.isSuper()) {
265                         scope.problemReporter().cannotDireclyInvokeAbstractMethod(this, binding);
266                 }
267                 // abstract private methods cannot occur nor abstract static............
268         }
269         if (isMethodUseDeprecated(binding, scope))
270                 scope.problemReporter().deprecatedMethod(binding, this);
271
272         return this.resolvedType = binding.returnType;
273 }
274 public void setActualReceiverType(ReferenceBinding receiverType) {
275         this.qualifyingType = receiverType;
276 }
277 public void setDepth(int depth) {
278         bits &= ~DepthMASK; // flush previous depth if any
279         if (depth > 0) {
280                 bits |= (depth & 0xFF) << DepthSHIFT; // encoded on 8 bits
281         }
282 }
283 public void setFieldIndex(int depth) {
284         // ignore for here
285 }
286
287 public String toStringExpression(){
288         
289         String s = ""; //$NON-NLS-1$
290         if (!receiver.isImplicitThis())
291                 s = s + receiver.toStringExpression()+"."; //$NON-NLS-1$
292         s = s + new String(selector) + "(" ; //$NON-NLS-1$
293         if (arguments != null)
294                 for (int i = 0; i < arguments.length ; i ++)
295                 {       s = s + arguments[i].toStringExpression();
296                         if ( i != arguments.length -1 ) s = s + " , " ;};; //$NON-NLS-1$
297         s =s + ")" ; //$NON-NLS-1$
298         return s;
299 }
300
301 public void traverse(ASTVisitor visitor, BlockScope blockScope) {
302         if (visitor.visit(this, blockScope)) {
303                 receiver.traverse(visitor, blockScope);
304                 if (arguments != null) {
305                         int argumentsLength = arguments.length;
306                         for (int i = 0; i < argumentsLength; i++)
307                                 arguments[i].traverse(visitor, blockScope);
308                 }
309         }
310         visitor.endVisit(this, blockScope);
311 }
312 }