misc
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / flow / FlowContext.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.phpdt.internal.compiler.flow;
12
13 import net.sourceforge.phpdt.core.compiler.CharOperation;
14 import net.sourceforge.phpdt.internal.compiler.codegen.Label;
15 import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
16 import net.sourceforge.phpdt.internal.compiler.lookup.ReferenceBinding;
17 import net.sourceforge.phpdt.internal.compiler.lookup.Scope;
18 import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
19 import net.sourceforge.phpdt.internal.compiler.lookup.TypeConstants;
20 import net.sourceforge.phpdt.internal.compiler.lookup.VariableBinding;
21 import net.sourceforge.phpeclipse.internal.compiler.ast.ASTNode;
22 import net.sourceforge.phpeclipse.internal.compiler.ast.AbstractMethodDeclaration;
23 import net.sourceforge.phpeclipse.internal.compiler.ast.Reference;
24 import net.sourceforge.phpeclipse.internal.compiler.ast.TryStatement;
25
26 /**
27  * Reflects the context of code analysis, keeping track of enclosing
28  *      try statements, exception handlers, etc...
29  */
30 public class FlowContext implements TypeConstants {
31         
32         public ASTNode associatedNode;
33         public FlowContext parent;
34
35         public final static FlowContext NotContinuableContext = new FlowContext(null, null);
36                 
37         public FlowContext(FlowContext parent, ASTNode associatedNode) {
38
39                 this.parent = parent;
40                 this.associatedNode = associatedNode;
41         }
42         
43         public Label breakLabel() {
44
45                 return null;
46         }
47         
48         public void checkExceptionHandlers(
49                 TypeBinding[] raisedExceptions,
50                 ASTNode location,
51                 FlowInfo flowInfo,
52                 BlockScope scope) {
53
54                 // check that all the argument exception types are handled
55                 // JDK Compatible implementation - when an exception type is thrown, 
56                 // all related catch blocks are marked as reachable... instead of those only
57                 // until the point where it is safely handled (Smarter - see comment at the end)
58                 int remainingCount; // counting the number of remaining unhandled exceptions
59                 int raisedCount; // total number of exceptions raised
60                 if ((raisedExceptions == null)
61                         || ((raisedCount = raisedExceptions.length) == 0))
62                         return;
63                 remainingCount = raisedCount;
64
65                 // duplicate the array of raised exceptions since it will be updated
66                 // (null replaces any handled exception)
67                 System.arraycopy(
68                         raisedExceptions,
69                         0,
70                         (raisedExceptions = new TypeBinding[raisedCount]),
71                         0,
72                         raisedCount);
73                 FlowContext traversedContext = this;
74
75                 while (traversedContext != null) {
76                         ASTNode sub;
77                         if (((sub = traversedContext.subRoutine()) != null) && sub.cannotReturn()) {
78                                 // traversing a non-returning subroutine means that all unhandled 
79                                 // exceptions will actually never get sent...
80                                 return;
81                         }
82                         // filter exceptions that are locally caught from the innermost enclosing 
83                         // try statement to the outermost ones.
84                         if (traversedContext instanceof ExceptionHandlingFlowContext) {
85                                 ExceptionHandlingFlowContext exceptionContext =
86                                         (ExceptionHandlingFlowContext) traversedContext;
87                                 ReferenceBinding[] caughtExceptions;
88                                 if ((caughtExceptions = exceptionContext.handledExceptions) != NoExceptions) {
89                                         int caughtCount = caughtExceptions.length;
90                                         boolean[] locallyCaught = new boolean[raisedCount]; // at most
91
92                                         for (int caughtIndex = 0; caughtIndex < caughtCount; caughtIndex++) {
93                                                 ReferenceBinding caughtException = caughtExceptions[caughtIndex];
94                                                 for (int raisedIndex = 0; raisedIndex < raisedCount; raisedIndex++) {
95                                                         TypeBinding raisedException;
96                                                         if ((raisedException = raisedExceptions[raisedIndex]) != null) {
97                                                                 switch (Scope.compareTypes(raisedException, caughtException)) {
98                                                                         case EqualOrMoreSpecific :
99                                                                                 exceptionContext.recordHandlingException(
100                                                                                         caughtException,
101                                                                                         flowInfo.unconditionalInits(),
102                                                                                         raisedException,
103                                                                                         location,
104                                                                                         locallyCaught[raisedIndex]);
105                                                                                 // was already definitely caught ?
106                                                                                 if (!locallyCaught[raisedIndex]) {
107                                                                                         locallyCaught[raisedIndex] = true;
108                                                                                         // remember that this exception has been definitely caught
109                                                                                         remainingCount--;
110                                                                                 }
111                                                                                 break;
112                                                                         case MoreGeneric :
113                                                                                 exceptionContext.recordHandlingException(
114                                                                                         caughtException,
115                                                                                         flowInfo.unconditionalInits(),
116                                                                                         raisedException,
117                                                                                         location,
118                                                                                         false);
119                                                                                 // was not caught already per construction
120                                                                 }
121                                                         }
122                                                 }
123                                         }
124                                         // remove locally caught exceptions from the remaining ones
125                                         for (int i = 0; i < raisedCount; i++) {
126                                                 if (locallyCaught[i]) {
127                                                         raisedExceptions[i] = null; // removed from the remaining ones.
128                                                 }
129                                         }
130                                 }
131                                 // method treatment for unchecked exceptions
132                                 if (exceptionContext.isMethodContext) {
133                                         for (int i = 0; i < raisedCount; i++) {
134                                                 TypeBinding raisedException;
135                                                 if ((raisedException = raisedExceptions[i]) != null) {
136                                                         if (raisedException.isCompatibleWith(scope.getJavaLangRuntimeException())
137                                                                 || raisedException.isCompatibleWith(scope.getJavaLangError())) {
138                                                                 remainingCount--;
139                                                                 raisedExceptions[i] = null;
140                                                         }
141                                                 }
142                                         }
143                                         // anonymous constructors are allowed to throw any exceptions (their thrown exceptions
144                                         // clause will be fixed up later as per JLS 8.6).
145                                         if (exceptionContext.associatedNode instanceof AbstractMethodDeclaration){
146                                                 AbstractMethodDeclaration method = (AbstractMethodDeclaration)exceptionContext.associatedNode;
147                                                 if (method.isConstructor() && method.binding.declaringClass.isAnonymousType()){
148                                                                 
149                                                         for (int i = 0; i < raisedCount; i++) {
150                                                                 TypeBinding raisedException;
151                                                                 if ((raisedException = raisedExceptions[i]) != null) {
152                                                                         exceptionContext.mergeUnhandledException(raisedException);
153                                                                 }
154                                                         }
155                                                         return; // no need to complain, will fix up constructor exceptions                                              
156                                                 }
157                                         }
158                                         break; // not handled anywhere, thus jump to error handling
159                                 }
160                         }
161                         if (remainingCount == 0)
162                                 return;
163                                 
164                         traversedContext.recordReturnFrom(flowInfo.unconditionalInits());
165                         if (traversedContext.associatedNode instanceof TryStatement){
166                                 flowInfo = flowInfo.copy().addInitializationsFrom(((TryStatement) traversedContext.associatedNode).subRoutineInits);
167                         }
168                         traversedContext = traversedContext.parent;
169                 }
170                 // if reaches this point, then there are some remaining unhandled exception types.      
171                 nextReport: for (int i = 0; i < raisedCount; i++) {
172                         TypeBinding exception;
173                         if ((exception = raisedExceptions[i]) != null) {
174                                 // only one complaint if same exception declared to be thrown more than once
175                                 for (int j = 0; j < i; j++) {
176                                         if (raisedExceptions[j] == exception) continue nextReport; // already reported 
177                                 }
178                                 scope.problemReporter().unhandledException(exception, location);
179                         }
180                 }
181         }
182
183         public void checkExceptionHandlers(
184                 TypeBinding raisedException,
185                 ASTNode location,
186                 FlowInfo flowInfo,
187                 BlockScope scope) {
188
189                 // LIGHT-VERSION OF THE EQUIVALENT WITH AN ARRAY OF EXCEPTIONS
190                 // check that all the argument exception types are handled
191                 // JDK Compatible implementation - when an exception type is thrown, 
192                 // all related catch blocks are marked as reachable... instead of those only
193                 // until the point where it is safely handled (Smarter - see comment at the end)
194                 FlowContext traversedContext = this;
195                 while (traversedContext != null) {
196                         ASTNode sub;
197                         if (((sub = traversedContext.subRoutine()) != null) && sub.cannotReturn()) {
198                                 // traversing a non-returning subroutine means that all unhandled 
199                                 // exceptions will actually never get sent...
200                                 return;
201                         }
202                         
203                         // filter exceptions that are locally caught from the innermost enclosing 
204                         // try statement to the outermost ones.
205                         if (traversedContext instanceof ExceptionHandlingFlowContext) {
206                                 ExceptionHandlingFlowContext exceptionContext =
207                                         (ExceptionHandlingFlowContext) traversedContext;
208                                 ReferenceBinding[] caughtExceptions;
209                                 if ((caughtExceptions = exceptionContext.handledExceptions) != NoExceptions) {
210                                         boolean definitelyCaught = false;
211                                         for (int caughtIndex = 0, caughtCount = caughtExceptions.length;
212                                                 caughtIndex < caughtCount;
213                                                 caughtIndex++) {
214                                                 ReferenceBinding caughtException = caughtExceptions[caughtIndex];
215                                                 switch (Scope.compareTypes(raisedException, caughtException)) {
216                                                         case EqualOrMoreSpecific :
217                                                                 exceptionContext.recordHandlingException(
218                                                                         caughtException,
219                                                                         flowInfo.unconditionalInits(),
220                                                                         raisedException,
221                                                                         location,
222                                                                         definitelyCaught);
223                                                                 // was it already definitely caught ?
224                                                                 definitelyCaught = true;
225                                                                 break;
226                                                         case MoreGeneric :
227                                                                 exceptionContext.recordHandlingException(
228                                                                         caughtException,
229                                                                         flowInfo.unconditionalInits(),
230                                                                         raisedException,
231                                                                         location,
232                                                                         false);
233                                                                 // was not caught already per construction
234                                                 }
235                                         }
236                                         if (definitelyCaught)
237                                                 return;
238                                 }
239                                 // method treatment for unchecked exceptions
240                                 if (exceptionContext.isMethodContext) {
241                                         if (raisedException.isCompatibleWith(scope.getJavaLangRuntimeException())
242                                                 || raisedException.isCompatibleWith(scope.getJavaLangError()))
243                                                 return;
244                                                 
245                                         // anonymous constructors are allowed to throw any exceptions (their thrown exceptions
246                                         // clause will be fixed up later as per JLS 8.6).
247                                         if (exceptionContext.associatedNode instanceof AbstractMethodDeclaration){
248                                                 AbstractMethodDeclaration method = (AbstractMethodDeclaration)exceptionContext.associatedNode;
249                                                 if (method.isConstructor() && method.binding.declaringClass.isAnonymousType()){
250                                                                         
251                                                         exceptionContext.mergeUnhandledException(raisedException);
252                                                         return; // no need to complain, will fix up constructor exceptions                                              
253                                                 }
254                                         }
255                                         break; // not handled anywhere, thus jump to error handling
256                                 }
257                         }
258
259                         traversedContext.recordReturnFrom(flowInfo.unconditionalInits());
260                         if (traversedContext.associatedNode instanceof TryStatement){
261                                 flowInfo = flowInfo.copy().addInitializationsFrom(((TryStatement) traversedContext.associatedNode).subRoutineInits);
262                         }
263                         traversedContext = traversedContext.parent;
264                 }
265                 // if reaches this point, then there are some remaining unhandled exception types.
266                 scope.problemReporter().unhandledException(raisedException, location);
267         }
268
269         public Label continueLabel() {
270
271                 return null;
272         }
273
274         /*
275          * lookup through break labels
276          */
277         public FlowContext getTargetContextForBreakLabel(char[] labelName) {
278
279                 FlowContext current = this, lastNonReturningSubRoutine = null;
280                 while (current != null) {
281                         if (current.isNonReturningContext()) {
282                                 lastNonReturningSubRoutine = current;
283                         }
284                         char[] currentLabelName;
285                         if (((currentLabelName = current.labelName()) != null)
286                                 && CharOperation.equals(currentLabelName, labelName)) {
287                                 if (lastNonReturningSubRoutine == null) {
288                                         return current;
289                                 } else {
290                                         return lastNonReturningSubRoutine;
291                                 }
292                         }
293                         current = current.parent;
294                 }
295                 // not found
296                 return null;
297         }
298
299         /*
300          * lookup through continue labels
301          */
302         public FlowContext getTargetContextForContinueLabel(char[] labelName) {
303
304                 FlowContext current = this;
305                 FlowContext lastContinuable = null;
306                 FlowContext lastNonReturningSubRoutine = null;
307
308                 while (current != null) {
309                         if (current.isNonReturningContext()) {
310                                 lastNonReturningSubRoutine = current;
311                         } else {
312                                 if (current.isContinuable()) {
313                                         lastContinuable = current;
314                                 }
315                         }
316                         
317                         char[] currentLabelName;
318                         if ((currentLabelName = current.labelName()) != null && CharOperation.equals(currentLabelName, labelName)) {
319
320                                 // matching label found                                 
321                                 if ((lastContinuable != null)
322                                         && (current.associatedNode.concreteStatement()  == lastContinuable.associatedNode)) {
323                                                 
324                                         if (lastNonReturningSubRoutine == null) {
325                                                 return lastContinuable;
326                                         } else {
327                                                 return lastNonReturningSubRoutine;
328                                         }
329                                 } else {
330                                         // label is found, but not a continuable location
331                                         return NotContinuableContext;
332                                 }
333                         }
334                         current = current.parent;
335                 }
336                 // not found
337                 return null;
338         }
339
340         /*
341          * lookup a default break through breakable locations
342          */
343         public FlowContext getTargetContextForDefaultBreak() {
344
345                 FlowContext current = this, lastNonReturningSubRoutine = null;
346                 while (current != null) {
347                         if (current.isNonReturningContext()) {
348                                 lastNonReturningSubRoutine = current;
349                         }
350                         if (current.isBreakable() && current.labelName() == null) {
351                                 if (lastNonReturningSubRoutine == null) {
352                                         return current;
353                                 } else {
354                                         return lastNonReturningSubRoutine;
355                                 }
356                         }
357                         current = current.parent;
358                 }
359                 // not found
360                 return null;
361         }
362
363         /*
364          * lookup a default continue amongst continuable locations
365          */
366         public FlowContext getTargetContextForDefaultContinue() {
367
368                 FlowContext current = this, lastNonReturningSubRoutine = null;
369                 while (current != null) {
370                         if (current.isNonReturningContext()) {
371                                 lastNonReturningSubRoutine = current;
372                         }
373                         if (current.isContinuable()) {
374                                 if (lastNonReturningSubRoutine == null) {
375                                         return current;
376                                 } else {
377                                         return lastNonReturningSubRoutine;
378                                 }
379                         }
380                         current = current.parent;
381                 }
382                 // not found
383                 return null;
384         }
385
386         public String individualToString() {
387
388                 return "Flow context"; //$NON-NLS-1$
389         }
390
391         public FlowInfo initsOnBreak() {
392
393                 return FlowInfo.DEAD_END;
394         }
395
396         public UnconditionalFlowInfo initsOnReturn() {
397
398                 return FlowInfo.DEAD_END;
399         }
400
401         public boolean isBreakable() {
402
403                 return false;
404         }
405
406         public boolean isContinuable() {
407
408                 return false;
409         }
410
411         public boolean isNonReturningContext() {
412
413                 return false;
414         }
415
416         public boolean isSubRoutine() {
417
418                 return false;
419         }
420
421         public char[] labelName() {
422
423                 return null;
424         }
425
426         public void recordBreakFrom(FlowInfo flowInfo) {
427         }
428
429         public void recordContinueFrom(FlowInfo flowInfo) {
430         }
431
432         boolean recordFinalAssignment(
433                 VariableBinding variable,
434                 Reference finalReference) {
435
436                 return true; // keep going
437         }
438
439         public void recordReturnFrom(FlowInfo flowInfo) {
440         }
441
442         public void recordSettingFinal(
443                 VariableBinding variable,
444                 Reference finalReference) {
445
446                 // for initialization inside looping statement that effectively loops
447                 FlowContext context = this;
448                 while (context != null) {
449                         if (!context.recordFinalAssignment(variable, finalReference)) {
450                                 break; // no need to keep going
451                         }
452                         context = context.parent;
453                 }
454         }
455
456         void removeFinalAssignmentIfAny(Reference reference) {
457         }
458
459         public ASTNode subRoutine() {
460
461                 return null;
462         }
463
464         public String toString() {
465
466                 StringBuffer buffer = new StringBuffer();
467                 FlowContext current = this;
468                 int parentsCount = 0;
469                 while ((current = current.parent) != null) {
470                         parentsCount++;
471                 }
472                 FlowContext[] parents = new FlowContext[parentsCount + 1];
473                 current = this;
474                 int index = parentsCount;
475                 while (index >= 0) {
476                         parents[index--] = current;
477                         current = current.parent;
478                 }
479                 for (int i = 0; i < parentsCount; i++) {
480                         for (int j = 0; j < i; j++)
481                                 buffer.append('\t');
482                         buffer.append(parents[i].individualToString()).append('\n');
483                 }
484                 buffer.append('*');
485                 for (int j = 0; j < parentsCount + 1; j++)
486                         buffer.append('\t');
487                 buffer.append(individualToString()).append('\n');
488                 return buffer.toString();
489         }
490 }