CVS test
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / flow / UnconditionalFlowInfo.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.internal.compiler.impl.Constant;
14 import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
15 import net.sourceforge.phpdt.internal.compiler.lookup.FieldBinding;
16 import net.sourceforge.phpdt.internal.compiler.lookup.LocalVariableBinding;
17 import net.sourceforge.phpdt.internal.compiler.lookup.ReferenceBinding;
18 import net.sourceforge.phpeclipse.internal.compiler.ast.ASTNode;
19 import net.sourceforge.phpeclipse.internal.compiler.ast.Statement;
20
21 /**
22  * Record initialization status during definite assignment analysis
23  *
24  * No caching of pre-allocated instances.
25  */
26 public class UnconditionalFlowInfo extends FlowInfo {
27
28         
29         public long definiteInits;
30         public long potentialInits;
31         public long extraDefiniteInits[];
32         public long extraPotentialInits[];
33         
34         public int reachMode = REACHABLE; // by default
35
36         public int maxFieldCount;
37         
38         // Constants
39         public static final int BitCacheSize = 64; // 64 bits in a long.
40
41         UnconditionalFlowInfo() {
42         }
43
44         // unions of both sets of initialization - used for try/finally
45         public FlowInfo addInitializationsFrom(FlowInfo inits) {
46
47                 if (this == DEAD_END)
48                         return this;
49
50                 UnconditionalFlowInfo otherInits = inits.unconditionalInits();  
51                 if (otherInits == DEAD_END)
52                         return this;
53                         
54                 // union of definitely assigned variables, 
55                 definiteInits |= otherInits.definiteInits;
56                 // union of potentially set ones
57                 potentialInits |= otherInits.potentialInits;
58         
59                 // treating extra storage
60                 if (extraDefiniteInits != null) {
61                         if (otherInits.extraDefiniteInits != null) {
62                                 // both sides have extra storage
63                                 int i = 0, length, otherLength;
64                                 if ((length = extraDefiniteInits.length) < (otherLength = otherInits.extraDefiniteInits.length)) {
65                                         // current storage is shorter -> grow current (could maybe reuse otherInits extra storage?)
66                                         System.arraycopy(extraDefiniteInits, 0, (extraDefiniteInits = new long[otherLength]), 0, length);
67                                         System.arraycopy(extraPotentialInits, 0, (extraPotentialInits = new long[otherLength]), 0, length);
68                                         while (i < length) {
69                                                 extraDefiniteInits[i] |= otherInits.extraDefiniteInits[i];
70                                                 extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
71                                         }
72                                         while (i < otherLength) {
73                                                 extraPotentialInits[i] = otherInits.extraPotentialInits[i++];
74                                         }
75                                 } else {
76                                         // current storage is longer
77                                         while (i < otherLength) {
78                                                 extraDefiniteInits[i] |= otherInits.extraDefiniteInits[i];
79                                                 extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
80                                         }
81                                         while (i < length)
82                                                 extraDefiniteInits[i++] = 0;
83                                 }
84                         } else {
85                                 // no extra storage on otherInits
86                         }
87                 } else
88                         if (otherInits.extraDefiniteInits != null) {
89                                 // no storage here, but other has extra storage.
90                                 int otherLength;
91                                 System.arraycopy(otherInits.extraDefiniteInits, 0, (extraDefiniteInits = new long[otherLength = otherInits.extraDefiniteInits.length]), 0, otherLength);                        
92                                 System.arraycopy(otherInits.extraPotentialInits, 0, (extraPotentialInits = new long[otherLength]), 0, otherLength);
93                         }
94                 return this;
95         }
96
97         // unions of both sets of initialization - used for try/finally
98         public FlowInfo addPotentialInitializationsFrom(FlowInfo inits) {
99         
100                 if (this == DEAD_END){
101                         return this;
102                 }
103
104                 UnconditionalFlowInfo otherInits = inits.unconditionalInits();
105                 if (otherInits == DEAD_END){
106                         return this;
107                 }
108                 // union of potentially set ones
109                 potentialInits |= otherInits.potentialInits;
110         
111                 // treating extra storage
112                 if (extraDefiniteInits != null) {
113                         if (otherInits.extraDefiniteInits != null) {
114                                 // both sides have extra storage
115                                 int i = 0, length, otherLength;
116                                 if ((length = extraDefiniteInits.length) < (otherLength = otherInits.extraDefiniteInits.length)) {
117                                         // current storage is shorter -> grow current (could maybe reuse otherInits extra storage?)
118                                         System.arraycopy(extraDefiniteInits, 0, (extraDefiniteInits = new long[otherLength]), 0, length);
119                                         System.arraycopy(extraPotentialInits, 0, (extraPotentialInits = new long[otherLength]), 0, length);
120                                         while (i < length) {
121                                                 extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
122                                         }
123                                         while (i < otherLength) {
124                                                 extraPotentialInits[i] = otherInits.extraPotentialInits[i++];
125                                         }
126                                 } else {
127                                         // current storage is longer
128                                         while (i < otherLength) {
129                                                 extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
130                                         }
131                                 }
132                         }
133                 } else
134                         if (otherInits.extraDefiniteInits != null) {
135                                 // no storage here, but other has extra storage.
136                                 int otherLength;
137                                 extraDefiniteInits = new long[otherLength = otherInits.extraDefiniteInits.length];                      
138                                 System.arraycopy(otherInits.extraPotentialInits, 0, (extraPotentialInits = new long[otherLength]), 0, otherLength);
139                         }
140                 return this;
141         }
142
143         // Report an error if necessary
144         public boolean complainIfUnreachable(Statement statement, BlockScope scope, boolean didAlreadyComplain) {
145         
146                 if ((this.reachMode & UNREACHABLE) != 0) {
147                         statement.bits &= ~ASTNode.IsReachableMASK;
148                         boolean reported = this == DEAD_END;
149                         if (!didAlreadyComplain && reported) {
150                                 scope.problemReporter().unreachableCode(statement);
151                         }
152                         return reported; // keep going for fake reachable
153                 }
154                 return false;
155         }
156         
157         /**
158          * Answers a copy of the current instance
159          */
160         public FlowInfo copy() {
161                 
162                 // do not clone the DeadEnd
163                 if (this == DEAD_END)
164                         return this;
165         
166                 // look for an unused preallocated object
167                 UnconditionalFlowInfo copy = new UnconditionalFlowInfo();
168         
169                 // copy slots
170                 copy.definiteInits = this.definiteInits;
171                 copy.potentialInits = this.potentialInits;
172                 copy.reachMode = this.reachMode;
173                 copy.maxFieldCount = this.maxFieldCount;
174                 
175                 if (this.extraDefiniteInits != null) {
176                         int length;
177                         System.arraycopy(this.extraDefiniteInits, 0, (copy.extraDefiniteInits = new long[ (length = extraDefiniteInits.length)]), 0, length);
178                         System.arraycopy(this.extraPotentialInits, 0, (copy.extraPotentialInits = new long[length]), 0, length);
179                 };
180                 return copy;
181         }
182         
183         public UnconditionalFlowInfo discardFieldInitializations(){
184                 
185                 int limit = this.maxFieldCount;
186                 
187                 if (limit < BitCacheSize) {
188                         long mask = (1L << limit)-1;
189                         this.definiteInits &= ~mask;
190                         this.potentialInits &= ~mask;
191                         return this;
192                 } 
193
194                 this.definiteInits = 0;
195                 this.potentialInits = 0;
196
197                 // use extra vector
198                 if (extraDefiniteInits == null) {
199                         return this; // if vector not yet allocated, then not initialized
200                 }
201                 int vectorIndex, length = this.extraDefiniteInits.length;
202                 if ((vectorIndex = (limit / BitCacheSize) - 1) >= length) {
203                         return this; // not enough room yet
204                 }
205                 for (int i = 0; i < vectorIndex; i++) {
206                         this.extraDefiniteInits[i] = 0L;
207                         this.extraPotentialInits[i] = 0L;
208                 }
209                 long mask = (1L << (limit % BitCacheSize))-1;
210                 this.extraDefiniteInits[vectorIndex] &= ~mask;
211                 this.extraPotentialInits[vectorIndex] &= ~mask;
212                 return this;
213         }
214
215         public UnconditionalFlowInfo discardNonFieldInitializations(){
216                 
217                 int limit = this.maxFieldCount;
218                 
219                 if (limit < BitCacheSize) {
220                         long mask = (1L << limit)-1;
221                         this.definiteInits &= mask;
222                         this.potentialInits &= mask;
223                         return this;
224                 } 
225                 // use extra vector
226                 if (extraDefiniteInits == null) {
227                         return this; // if vector not yet allocated, then not initialized
228                 }
229                 int vectorIndex, length = this.extraDefiniteInits.length;
230                 if ((vectorIndex = (limit / BitCacheSize) - 1) >= length) {
231                         return this; // not enough room yet
232                 }
233                 long mask = (1L << (limit % BitCacheSize))-1;
234                 this.extraDefiniteInits[vectorIndex] &= mask;
235                 this.extraPotentialInits[vectorIndex] &= mask;
236                 for (int i = vectorIndex+1; i < length; i++) {
237                         this.extraDefiniteInits[i] = 0L;
238                         this.extraPotentialInits[i] = 0L;
239                 }
240                 return this;
241         }
242         
243         public FlowInfo initsWhenFalse() {
244                 
245                 return this;
246         }
247         
248         public FlowInfo initsWhenTrue() {
249                 
250                 return this;
251         }
252         
253         /**
254          * Check status of definite assignment at a given position.
255          * It deals with the dual representation of the InitializationInfo2:
256          * bits for the first 64 entries, then an array of booleans.
257          */
258         final private boolean isDefinitelyAssigned(int position) {
259                 
260                 // Dependant of CodeStream.isDefinitelyAssigned(..)
261                 // id is zero-based
262                 if (position < BitCacheSize) {
263                         return (definiteInits & (1L << position)) != 0; // use bits
264                 }
265                 // use extra vector
266                 if (extraDefiniteInits == null)
267                         return false; // if vector not yet allocated, then not initialized
268                 int vectorIndex;
269                 if ((vectorIndex = (position / BitCacheSize) - 1) >= extraDefiniteInits.length)
270                         return false; // if not enough room in vector, then not initialized 
271                 return ((extraDefiniteInits[vectorIndex]) & (1L << (position % BitCacheSize))) != 0;
272         }
273         
274         /**
275          * Check status of definite assignment for a field.
276          */
277         final public boolean isDefinitelyAssigned(FieldBinding field) {
278                 
279                 // Dependant of CodeStream.isDefinitelyAssigned(..)
280                 // We do not want to complain in unreachable code
281                 if ((this.reachMode & UNREACHABLE) != 0)  
282                         return true;
283                 return isDefinitelyAssigned(field.id); 
284         }
285         
286         /**
287          * Check status of definite assignment for a local.
288          */
289         final public boolean isDefinitelyAssigned(LocalVariableBinding local) {
290                 
291                 // Dependant of CodeStream.isDefinitelyAssigned(..)
292                 // We do not want to complain in unreachable code
293                 if ((this.reachMode & UNREACHABLE) != 0)
294                         return true;
295                 if (local.isArgument) {
296                         return true;
297                 }
298                 // final constants are inlined, and thus considered as always initialized
299                 if (local.constant != Constant.NotAConstant) {
300                         return true;
301                 }
302                 return isDefinitelyAssigned(local.id + maxFieldCount);
303         }
304         
305         public boolean isReachable() {
306                 
307                 return this.reachMode == REACHABLE;
308         }
309         
310         /**
311          * Check status of potential assignment at a given position.
312          * It deals with the dual representation of the InitializationInfo3:
313          * bits for the first 64 entries, then an array of booleans.
314          */
315         final private boolean isPotentiallyAssigned(int position) {
316                 
317                 // id is zero-based
318                 if (position < BitCacheSize) {
319                         // use bits
320                         return (potentialInits & (1L << position)) != 0;
321                 }
322                 // use extra vector
323                 if (extraPotentialInits == null)
324                         return false; // if vector not yet allocated, then not initialized
325                 int vectorIndex;
326                 if ((vectorIndex = (position / BitCacheSize) - 1) >= extraPotentialInits.length)
327                         return false; // if not enough room in vector, then not initialized 
328                 return ((extraPotentialInits[vectorIndex]) & (1L << (position % BitCacheSize))) != 0;
329         }
330         
331         /**
332          * Check status of definite assignment for a field.
333          */
334         final public boolean isPotentiallyAssigned(FieldBinding field) {
335                 
336                 return isPotentiallyAssigned(field.id); 
337         }
338         
339         /**
340          * Check status of potential assignment for a local.
341          */
342         final public boolean isPotentiallyAssigned(LocalVariableBinding local) {
343                 
344                 if (local.isArgument) {
345                         return true;
346                 }
347                 // final constants are inlined, and thus considered as always initialized
348                 if (local.constant != Constant.NotAConstant) {
349                         return true;
350                 }
351                 return isPotentiallyAssigned(local.id + maxFieldCount);
352         }
353         
354         /**
355          * Record a definite assignment at a given position.
356          * It deals with the dual representation of the InitializationInfo2:
357          * bits for the first 64 entries, then an array of booleans.
358          */
359         final private void markAsDefinitelyAssigned(int position) {
360                 
361                 if (this != DEAD_END) {
362         
363                         // position is zero-based
364                         if (position < BitCacheSize) {
365                                 // use bits
366                                 long mask;
367                                 definiteInits |= (mask = 1L << position);
368                                 potentialInits |= mask;
369                         } else {
370                                 // use extra vector
371                                 int vectorIndex = (position / BitCacheSize) - 1;
372                                 if (extraDefiniteInits == null) {
373                                         int length;
374                                         extraDefiniteInits = new long[length = vectorIndex + 1];
375                                         extraPotentialInits = new long[length];
376                                 } else {
377                                         int oldLength; // might need to grow the arrays
378                                         if (vectorIndex >= (oldLength = extraDefiniteInits.length)) {
379                                                 System.arraycopy(extraDefiniteInits, 0, (extraDefiniteInits = new long[vectorIndex + 1]), 0, oldLength);
380                                                 System.arraycopy(extraPotentialInits, 0, (extraPotentialInits = new long[vectorIndex + 1]), 0, oldLength);
381                                         }
382                                 }
383                                 long mask;
384                                 extraDefiniteInits[vectorIndex] |= (mask = 1L << (position % BitCacheSize));
385                                 extraPotentialInits[vectorIndex] |= mask;
386                         }
387                 }
388         }
389         
390         /**
391          * Record a field got definitely assigned.
392          */
393         public void markAsDefinitelyAssigned(FieldBinding field) {
394                 if (this != DEAD_END)
395                         markAsDefinitelyAssigned(field.id);
396         }
397         
398         /**
399          * Record a local got definitely assigned.
400          */
401         public void markAsDefinitelyAssigned(LocalVariableBinding local) {
402                 if (this != DEAD_END)
403                         markAsDefinitelyAssigned(local.id + maxFieldCount);
404         }
405         
406         /**
407          * Clear initialization information at a given position.
408          * It deals with the dual representation of the InitializationInfo2:
409          * bits for the first 64 entries, then an array of booleans.
410          */
411         final private void markAsDefinitelyNotAssigned(int position) {
412                 if (this != DEAD_END) {
413         
414                         // position is zero-based
415                         if (position < BitCacheSize) {
416                                 // use bits
417                                 long mask;
418                                 definiteInits &= ~(mask = 1L << position);
419                                 potentialInits &= ~mask;
420                         } else {
421                                 // use extra vector
422                                 int vectorIndex = (position / BitCacheSize) - 1;
423                                 if (extraDefiniteInits == null) {
424                                         return; // nothing to do, it was not yet set 
425                                 } else {
426                                         // might need to grow the arrays
427                                         if (vectorIndex >= extraDefiniteInits.length) {
428                                                 return; // nothing to do, it was not yet set 
429                                         }
430                                 }
431                                 long mask;
432                                 extraDefiniteInits[vectorIndex] &= ~(mask = 1L << (position % BitCacheSize));
433                                 extraPotentialInits[vectorIndex] &= ~mask;
434                         }
435                 }
436         }
437         
438         /**
439          * Clear the initialization info for a field
440          */
441         public void markAsDefinitelyNotAssigned(FieldBinding field) {
442                 
443                 if (this != DEAD_END)
444                         markAsDefinitelyNotAssigned(field.id);
445         }
446         
447         /**
448          * Clear the initialization info for a local variable
449          */
450         
451         public void markAsDefinitelyNotAssigned(LocalVariableBinding local) {
452                 
453                 if (this != DEAD_END)
454                         markAsDefinitelyNotAssigned(local.id + maxFieldCount);
455         }
456                 
457         /**
458          * Returns the receiver updated in the following way: <ul>
459          * <li> intersection of definitely assigned variables, 
460          * <li> union of potentially assigned variables.
461          * </ul>
462          */
463         public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) {
464         
465                 if (this == DEAD_END) return otherInits;
466                 if (otherInits == DEAD_END) return this;
467         
468                 if ((this.reachMode & UNREACHABLE) != (otherInits.reachMode & UNREACHABLE)){
469                         if ((this.reachMode & UNREACHABLE) != 0){
470                                 return otherInits;
471                         } else {
472                                 return this;
473                         }
474                 }
475                 
476                 // if one branch is not fake reachable, then the merged one is reachable
477                 this.reachMode &= otherInits.reachMode;
478         
479                 // intersection of definitely assigned variables, 
480                 this.definiteInits &= otherInits.definiteInits;
481                 // union of potentially set ones
482                 this.potentialInits |= otherInits.potentialInits;
483         
484                 // treating extra storage
485                 if (this.extraDefiniteInits != null) {
486                         if (otherInits.extraDefiniteInits != null) {
487                                 // both sides have extra storage
488                                 int i = 0, length, otherLength;
489                                 if ((length = this.extraDefiniteInits.length) < (otherLength = otherInits.extraDefiniteInits.length)) {
490                                         // current storage is shorter -> grow current (could maybe reuse otherInits extra storage?)
491                                         System.arraycopy(this.extraDefiniteInits, 0, (this.extraDefiniteInits = new long[otherLength]), 0, length);
492                                         System.arraycopy(this.extraPotentialInits, 0, (this.extraPotentialInits = new long[otherLength]), 0, length);
493                                         while (i < length) {
494                                                 this.extraDefiniteInits[i] &= otherInits.extraDefiniteInits[i];
495                                                 this.extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
496                                         }
497                                         while (i < otherLength) {
498                                                 this.extraPotentialInits[i] = otherInits.extraPotentialInits[i++];
499                                         }
500                                 } else {
501                                         // current storage is longer
502                                         while (i < otherLength) {
503                                                 this.extraDefiniteInits[i] &= otherInits.extraDefiniteInits[i];
504                                                 this.extraPotentialInits[i] |= otherInits.extraPotentialInits[i++];
505                                         }
506                                         while (i < length)
507                                                 this.extraDefiniteInits[i++] = 0;
508                                 }
509                         } else {
510                                 // no extra storage on otherInits
511                                 int i = 0, length = this.extraDefiniteInits.length;
512                                 while (i < length)
513                                         this.extraDefiniteInits[i++] = 0;
514                         }
515                 } else
516                         if (otherInits.extraDefiniteInits != null) {
517                                 // no storage here, but other has extra storage.
518                                 int otherLength;
519                                 this.extraDefiniteInits = new long[otherLength = otherInits.extraDefiniteInits.length];
520                                 System.arraycopy(otherInits.extraPotentialInits, 0, (this.extraPotentialInits = new long[otherLength]), 0, otherLength);
521                         }
522                 return this;
523         }
524         
525         /*
526          * Answer the total number of fields in enclosing types of a given type
527          */
528         static int numberOfEnclosingFields(ReferenceBinding type){
529                 
530                 int count = 0;
531                 type = type.enclosingType();
532                 while(type != null) {
533                         count += type.fieldCount();
534                         type = type.enclosingType();
535                 }
536                 return count;
537         }
538         
539         public int reachMode(){
540                 return this.reachMode;
541         }
542         
543         public FlowInfo setReachMode(int reachMode) {
544                 
545                 if (this == DEAD_END) return this; // cannot modify DEAD_END
546         
547                 // reset optional inits when becoming unreachable
548                 if ((this.reachMode & UNREACHABLE) == 0 && (reachMode & UNREACHABLE) != 0) {
549                         this.potentialInits = 0;
550                         if (this.extraPotentialInits != null){
551                                 for (int i = 0, length = this.extraPotentialInits.length; i < length; i++){
552                                         this.extraPotentialInits[i] = 0;
553                                 }
554                         }
555                 }                               
556                 this.reachMode = reachMode;
557         
558                 return this;
559         }
560
561         public String toString(){
562                 
563                 if (this == DEAD_END){
564                         return "FlowInfo.DEAD_END"; //$NON-NLS-1$
565                 }
566                 return "FlowInfo<def: "+ this.definiteInits //$NON-NLS-1$
567                         +", pot: " + this.potentialInits  //$NON-NLS-1$
568                         + ", reachable:" + ((this.reachMode & UNREACHABLE) == 0) //$NON-NLS-1$
569                         +">"; //$NON-NLS-1$
570         }
571         
572         public UnconditionalFlowInfo unconditionalInits() {
573                 
574                 // also see conditional inits, where it requests them to merge
575                 return this;
576         }
577 }