*** empty log message ***
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / ast / QualifiedNameReference.java
1 /*******************************************************************************
2  * Copyright (c) 2000, 2001, 2002 International Business Machines Corp. and others.
3  * All rights reserved. This program and the accompanying materials 
4  * are made available under the terms of the Common Public License v0.5 
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v05.html
7  * 
8  * Contributors:
9  *     IBM Corporation - initial API and implementation
10  ******************************************************************************/
11 package net.sourceforge.phpdt.internal.compiler.ast;
12
13 import net.sourceforge.phpdt.internal.compiler.IAbstractSyntaxTreeVisitor;
14 import net.sourceforge.phpdt.internal.compiler.impl.*;
15 import net.sourceforge.phpdt.internal.compiler.codegen.*;
16 import net.sourceforge.phpdt.internal.compiler.flow.*;
17 import net.sourceforge.phpdt.internal.compiler.lookup.*;
18
19 public class QualifiedNameReference extends NameReference {
20         
21         public char[][] tokens;
22         public FieldBinding[] otherBindings, otherCodegenBindings;
23         int[] otherDepths;
24         public int indexOfFirstFieldBinding;//points (into tokens) for the first token that corresponds to first FieldBinding
25         SyntheticAccessMethodBinding syntheticWriteAccessor;
26         SyntheticAccessMethodBinding[] syntheticReadAccessors;
27         protected FieldBinding lastFieldBinding;
28         public QualifiedNameReference(
29                 char[][] sources,
30                 int sourceStart,
31                 int sourceEnd) {
32                 super();
33                 tokens = sources;
34                 this.sourceStart = sourceStart;
35                 this.sourceEnd = sourceEnd;
36         }
37         public FlowInfo analyseAssignment(
38                 BlockScope currentScope,
39                 FlowContext flowContext,
40                 FlowInfo flowInfo,
41                 Assignment assignment,
42                 boolean isCompound) {
43
44                 if (assignment.expression != null) {
45                         flowInfo =
46                                 assignment
47                                         .expression
48                                         .analyseCode(currentScope, flowContext, flowInfo)
49                                         .unconditionalInits();
50                 }
51                 // determine the rank until which we now we do not need any actual value for the field access
52                 int otherBindingsCount = otherBindings == null ? 0 : otherBindings.length;
53                 int indexOfFirstValueRequired = otherBindingsCount;
54                 while (indexOfFirstValueRequired > 0) {
55                         FieldBinding otherBinding = otherBindings[indexOfFirstValueRequired - 1];
56                         if (otherBinding.isStatic())
57                                 break; // no longer need any value before this point
58                         indexOfFirstValueRequired--;
59                 }
60                 FieldBinding lastFieldBinding = null;
61                 if ((bits & FIELD) != 0) {
62                         // reading from a field
63                         // check if final blank field
64                         if ((lastFieldBinding = (FieldBinding) binding).isFinal()
65                                 && currentScope.allowBlankFinalFieldAssignment(lastFieldBinding)) {
66                                 if (!flowInfo.isDefinitelyAssigned(lastFieldBinding)) {
67                                         currentScope.problemReporter().uninitializedBlankFinalField(
68                                                 lastFieldBinding,
69                                                 this);
70                                 }
71                         }
72                 } else {
73                         if ((bits & LOCAL) != 0) {
74                                 // first binding is a local variable
75                                 LocalVariableBinding localBinding;
76                                 if (!flowInfo
77                                         .isDefinitelyAssigned(localBinding = (LocalVariableBinding) binding)) {
78                                         currentScope.problemReporter().uninitializedLocalVariable(localBinding, this);
79                                 }
80                                 if (!flowInfo.isFakeReachable())
81                                         localBinding.used = true;
82                         }
83                 }
84                 if (indexOfFirstValueRequired == 0) {
85                         manageEnclosingInstanceAccessIfNecessary(currentScope);
86                         // only for first binding
87                 }
88                 // all intermediate field accesses are read accesses
89                 if (otherBindings != null) {
90                         int start = indexOfFirstValueRequired == 0 ? 0 : indexOfFirstValueRequired - 1;
91                         for (int i = start; i < otherBindingsCount; i++) {
92                                 if (lastFieldBinding != null) { // could be null if first was a local variable
93                                         TypeBinding lastReceiverType;
94                                         switch(i){
95                                                 case 0 :
96                                                         lastReceiverType = this.actualReceiverType;
97                                                         break;
98                                                 case 1 :
99                                                         lastReceiverType = ((VariableBinding)binding).type;
100                                                         break;
101                                                 default :
102                                                         lastReceiverType = otherBindings[i-1].type;
103                                         }
104                                         manageSyntheticReadAccessIfNecessary(
105                                                 currentScope, 
106                                                 lastFieldBinding, 
107                                                 lastReceiverType,
108                                                 i);
109                                 }
110                                 lastFieldBinding = otherBindings[i];
111                         }
112                 }
113                 if (isCompound) {
114                         if (binding == lastFieldBinding
115                                 && currentScope.allowBlankFinalFieldAssignment(lastFieldBinding)
116                                 && (!flowInfo.isDefinitelyAssigned(lastFieldBinding))) {
117                                 currentScope.problemReporter().uninitializedBlankFinalField(
118                                         lastFieldBinding,
119                                         this);
120                         }
121                         TypeBinding lastReceiverType;
122                         if (lastFieldBinding == binding){
123                                 lastReceiverType = this.actualReceiverType;
124                         } else if (otherBindingsCount == 1){
125                                 lastReceiverType = ((VariableBinding)this.binding).type;
126                         } else {
127                                 lastReceiverType = this.otherBindings[otherBindingsCount-2].type;
128                         }
129                         manageSyntheticReadAccessIfNecessary(
130                                 currentScope,
131                                 lastFieldBinding,
132                                 lastReceiverType,
133                                 lastFieldBinding == binding
134                                         ? 0 
135                                         : otherBindingsCount);
136                 }
137                 // the last field access is a write access
138                 if (lastFieldBinding.isFinal()) {
139                         // in a context where it can be assigned?
140                         if (currentScope.allowBlankFinalFieldAssignment(lastFieldBinding)) {
141                                 if (flowInfo.isPotentiallyAssigned(lastFieldBinding)) {
142                                         if (indexOfFirstFieldBinding == 1) {
143                                                 // was an implicit reference to the first field binding
144                                                 currentScope.problemReporter().duplicateInitializationOfBlankFinalField(
145                                                         lastFieldBinding,
146                                                         this);
147                                         } else {
148                                                 currentScope.problemReporter().cannotAssignToFinalField(lastFieldBinding, this);
149                                                 // attempting to assign a non implicit reference
150                                         }
151                                 }
152                                 flowInfo.markAsDefinitelyAssigned(lastFieldBinding);
153                                 flowContext.recordSettingFinal(lastFieldBinding, this);
154                         } else {
155                                 currentScope.problemReporter().cannotAssignToFinalField(lastFieldBinding, this);
156                         }
157                 }
158                 // equivalent to valuesRequired[maxOtherBindings]
159                 TypeBinding lastReceiverType;
160                 if (lastFieldBinding == binding){
161                         lastReceiverType = this.actualReceiverType;
162                 } else if (otherBindingsCount == 1){
163                         lastReceiverType = ((VariableBinding)this.binding).type;
164                 } else {
165                         lastReceiverType = this.otherBindings[otherBindingsCount-2].type;
166                 }
167                 manageSyntheticWriteAccessIfNecessary(currentScope, lastFieldBinding, lastReceiverType);
168
169                 return flowInfo;
170         }
171         public FlowInfo analyseCode(
172                 BlockScope currentScope,
173                 FlowContext flowContext,
174                 FlowInfo flowInfo) {
175
176                 return analyseCode(currentScope, flowContext, flowInfo, true);
177         }
178         
179         public FlowInfo analyseCode(
180                 BlockScope currentScope,
181                 FlowContext flowContext,
182                 FlowInfo flowInfo,
183                 boolean valueRequired) {
184                         
185                 // determine the rank until which we now we do not need any actual value for the field access
186                 int otherBindingsCount = otherBindings == null ? 0 : otherBindings.length;
187                 int indexOfFirstValueRequired;
188                 if (valueRequired) {
189                         indexOfFirstValueRequired = otherBindingsCount;
190                         while (indexOfFirstValueRequired > 0) {
191                                 FieldBinding otherBinding = otherBindings[indexOfFirstValueRequired - 1];
192                                 if (otherBinding.isStatic())
193                                         break; // no longer need any value before this point
194                                 indexOfFirstValueRequired--;
195                         }
196                 } else {
197                         indexOfFirstValueRequired = otherBindingsCount + 1;
198                 }
199                 switch (bits & RestrictiveFlagMASK) {
200                         case FIELD : // reading a field
201                                 if (indexOfFirstValueRequired == 0) {
202                                         manageSyntheticReadAccessIfNecessary(currentScope, (FieldBinding) binding, this.actualReceiverType, 0);
203                                 }
204                                 // check if reading a final blank field
205                                 FieldBinding fieldBinding;
206                                         if ((fieldBinding = (FieldBinding) binding).isFinal()
207                                                 && (indexOfFirstFieldBinding == 1)
208                                         // was an implicit reference to the first field binding
209                                                 && currentScope.allowBlankFinalFieldAssignment(fieldBinding)
210                                                 && (!flowInfo.isDefinitelyAssigned(fieldBinding))) {
211                                         currentScope.problemReporter().uninitializedBlankFinalField(fieldBinding, this);
212                                 }
213                                 break;
214                         case LOCAL : // reading a local variable
215                                 LocalVariableBinding localBinding;
216                                 if (!flowInfo
217                                         .isDefinitelyAssigned(localBinding = (LocalVariableBinding) binding)) {
218                                         currentScope.problemReporter().uninitializedLocalVariable(localBinding, this);
219                                 }
220                                 if (!flowInfo.isFakeReachable())
221                                         localBinding.used = true;
222                 }
223                 if (indexOfFirstValueRequired == 0) {
224                         manageEnclosingInstanceAccessIfNecessary(currentScope);
225                         // only for first binding
226                 }
227                 if (otherBindings != null) {
228                         int start = indexOfFirstValueRequired == 0 ? 0 : indexOfFirstValueRequired - 1;
229                         for (int i = start; i < otherBindingsCount; i++) {
230                                 manageSyntheticReadAccessIfNecessary(
231                                         currentScope, 
232                                         otherBindings[i], 
233                                         i == 0 
234                                                 ? ((VariableBinding)binding).type
235                                                 : otherBindings[i-1].type,
236                                         i + 1);
237                         }
238                 }
239                 return flowInfo;
240         }
241         /**
242          * Check and/or redirect the field access to the delegate receiver if any
243          */
244         public TypeBinding checkFieldAccess(BlockScope scope) {
245                 // check for forward references
246                 FieldBinding fieldBinding = (FieldBinding) binding;
247                 MethodScope methodScope = scope.methodScope();
248                 if (methodScope.enclosingSourceType() == fieldBinding.declaringClass
249                         && methodScope.fieldDeclarationIndex != methodScope.NotInFieldDecl
250                         && fieldBinding.id >= methodScope.fieldDeclarationIndex) {
251                         if ((!fieldBinding.isStatic() || methodScope.isStatic)
252                                 && this.indexOfFirstFieldBinding == 1)
253                                 scope.problemReporter().forwardReference(this, 0, scope.enclosingSourceType());
254                 }
255                 bits &= ~RestrictiveFlagMASK; // clear bits
256                 bits |= FIELD;
257                 return getOtherFieldBindings(scope);
258         }
259         public void generateAssignment(
260                 BlockScope currentScope,
261                 CodeStream codeStream,
262                 Assignment assignment,
263                 boolean valueRequired) {
264                         
265                 generateReadSequence(currentScope, codeStream, true);
266                 assignment.expression.generateCode(currentScope, codeStream, true);
267                 fieldStore(codeStream, lastFieldBinding, syntheticWriteAccessor, valueRequired);
268                 // equivalent to valuesRequired[maxOtherBindings]
269                 if (valueRequired) {
270                         codeStream.generateImplicitConversion(assignment.implicitConversion);
271                 }
272         }
273         public void generateCode(
274                 BlockScope currentScope,
275                 CodeStream codeStream,
276                 boolean valueRequired) {
277                 int pc = codeStream.position;
278                 if (constant != NotAConstant) {
279                         if (valueRequired) {
280                                 codeStream.generateConstant(constant, implicitConversion);
281                         }
282                 } else {
283                         generateReadSequence(currentScope, codeStream, valueRequired);
284                         if (valueRequired) {
285                                 if (lastFieldBinding.declaringClass == null) { // array length
286                                         codeStream.arraylength();
287                                         codeStream.generateImplicitConversion(implicitConversion);
288                                 } else {
289                                         if (lastFieldBinding.constant != NotAConstant) {
290                                                 // inline the last field constant
291                                                 codeStream.generateConstant(lastFieldBinding.constant, implicitConversion);
292                                         } else {
293                                                 SyntheticAccessMethodBinding accessor =
294                                                         syntheticReadAccessors == null
295                                                                 ? null
296                                                                 : syntheticReadAccessors[syntheticReadAccessors.length - 1];
297                                                 if (accessor == null) {
298                                                         if (lastFieldBinding.isStatic()) {
299                                                                 codeStream.getstatic(lastFieldBinding);
300                                                         } else {
301                                                                 codeStream.getfield(lastFieldBinding);
302                                                         }
303                                                 } else {
304                                                         codeStream.invokestatic(accessor);
305                                                 }
306                                                 codeStream.generateImplicitConversion(implicitConversion);
307                                         }
308                                 }
309                         }
310                 }
311                 codeStream.recordPositionsFrom(pc, this.sourceStart);
312         }
313         public void generateCompoundAssignment(
314                 BlockScope currentScope,
315                 CodeStream codeStream,
316                 Expression expression,
317                 int operator,
318                 int assignmentImplicitConversion,
319                 boolean valueRequired) {
320                         
321                 generateReadSequence(currentScope, codeStream, true);
322                 SyntheticAccessMethodBinding accessor =
323                         syntheticReadAccessors == null
324                                 ? null
325                                 : syntheticReadAccessors[syntheticReadAccessors.length - 1];
326                 if (lastFieldBinding.isStatic()) {
327                         if (accessor == null) {
328                                 codeStream.getstatic(lastFieldBinding);
329                         } else {
330                                 codeStream.invokestatic(accessor);
331                         }
332                 } else {
333                         codeStream.dup();
334                         if (accessor == null) {
335                                 codeStream.getfield(lastFieldBinding);
336                         } else {
337                                 codeStream.invokestatic(accessor);
338                         }
339                 }
340                 // the last field access is a write access
341                 // perform the actual compound operation
342                 int operationTypeID;
343                 if ((operationTypeID = implicitConversion >> 4) == T_String) {
344                         codeStream.generateStringAppend(currentScope, null, expression);
345                 } else {
346                         // promote the array reference to the suitable operation type
347                         codeStream.generateImplicitConversion(implicitConversion);
348                         // generate the increment value (will by itself  be promoted to the operation value)
349                         if (expression == IntLiteral.One) { // prefix operation
350                                 codeStream.generateConstant(expression.constant, implicitConversion);
351                         } else {
352                                 expression.generateCode(currentScope, codeStream, true);
353                         }
354                         // perform the operation
355                         codeStream.sendOperator(operator, operationTypeID);
356                         // cast the value back to the array reference type
357                         codeStream.generateImplicitConversion(assignmentImplicitConversion);
358                 }
359                 // actual assignment
360                 fieldStore(codeStream, lastFieldBinding, syntheticWriteAccessor, valueRequired);
361                 // equivalent to valuesRequired[maxOtherBindings]
362         }
363         public void generatePostIncrement(
364                 BlockScope currentScope,
365                 CodeStream codeStream,
366                 CompoundAssignment postIncrement,
367                 boolean valueRequired) {
368                 generateReadSequence(currentScope, codeStream, true);
369                 SyntheticAccessMethodBinding accessor =
370                         syntheticReadAccessors == null
371                                 ? null
372                                 : syntheticReadAccessors[syntheticReadAccessors.length - 1];
373                 if (lastFieldBinding.isStatic()) {
374                         if (accessor == null) {
375                                 codeStream.getstatic(lastFieldBinding);
376                         } else {
377                                 codeStream.invokestatic(accessor);
378                         }
379                 } else {
380                         codeStream.dup();
381                         if (accessor == null) {
382                                 codeStream.getfield(lastFieldBinding);
383                         } else {
384                                 codeStream.invokestatic(accessor);
385                         }
386                 }
387                 // duplicate the old field value
388                 if (valueRequired) {
389                         if (lastFieldBinding.isStatic()) {
390                                 if ((lastFieldBinding.type == LongBinding)
391                                         || (lastFieldBinding.type == DoubleBinding)) {
392                                         codeStream.dup2();
393                                 } else {
394                                         codeStream.dup();
395                                 }
396                         } else { // Stack:  [owner][old field value]  ---> [old field value][owner][old field value]
397                                 if ((lastFieldBinding.type == LongBinding)
398                                         || (lastFieldBinding.type == DoubleBinding)) {
399                                         codeStream.dup2_x1();
400                                 } else {
401                                         codeStream.dup_x1();
402                                 }
403                         }
404                 }
405                 codeStream.generateConstant(
406                         postIncrement.expression.constant,
407                         implicitConversion);
408                 codeStream.sendOperator(postIncrement.operator, lastFieldBinding.type.id);
409                 codeStream.generateImplicitConversion(
410                         postIncrement.assignmentImplicitConversion);
411                 fieldStore(codeStream, lastFieldBinding, syntheticWriteAccessor, false);
412         }
413         /*
414          * Generate code for all bindings (local and fields) excluding the last one, which may then be generated code
415          * for a read or write access.
416          */
417         public void generateReadSequence(
418                 BlockScope currentScope,
419                 CodeStream codeStream,
420                 boolean valueRequired) {
421                 // determine the rank until which we now we do not need any actual value for the field access
422                 int otherBindingsCount = this.otherCodegenBindings == null ? 0 : otherCodegenBindings.length;
423                 int indexOfFirstValueRequired;
424                 if (valueRequired) {
425                         indexOfFirstValueRequired = otherBindingsCount;
426                         while (indexOfFirstValueRequired > 0) {
427                                 FieldBinding otherBinding = this.otherCodegenBindings[indexOfFirstValueRequired - 1];
428                                 if (otherBinding.isStatic() || otherBinding.constant != NotAConstant)
429                                         break; // no longer need any value before this point
430                                 indexOfFirstValueRequired--;
431                         }
432                 } else {
433                         indexOfFirstValueRequired = otherBindingsCount + 1;
434                 }
435                 if (indexOfFirstValueRequired == 0) {
436                         switch (bits & RestrictiveFlagMASK) {
437                                 case FIELD :
438                                         lastFieldBinding = (FieldBinding) this.codegenBinding;
439                                         // if first field is actually constant, we can inline it
440                                         if (lastFieldBinding.constant != NotAConstant) {
441                                                 codeStream.generateConstant(lastFieldBinding.constant, 0);
442                                                 // no implicit conversion
443                                                 lastFieldBinding = null; // will not generate it again
444                                                 break;
445                                         }
446                                         if (!lastFieldBinding.isStatic()) {
447                                                 if ((bits & DepthMASK) != 0) {
448                                                         Object[] emulationPath =
449                                                                 currentScope.getExactEmulationPath(
450                                                                         currentScope.enclosingSourceType().enclosingTypeAt(
451                                                                                 (bits & DepthMASK) >> DepthSHIFT));
452                                                         if (emulationPath == null) {
453                                                                 // internal error, per construction we should have found it
454                                                                 currentScope.problemReporter().needImplementation();
455                                                         } else {
456                                                                 codeStream.generateOuterAccess(emulationPath, this, currentScope);
457                                                         }
458                                                 } else {
459                                                         generateReceiver(codeStream);
460                                                 }
461                                         }
462                                         break;
463                                 case LOCAL : // reading the first local variable
464                                         lastFieldBinding = null;
465                                         LocalVariableBinding localBinding = (LocalVariableBinding) this.codegenBinding;
466                                         // regular local variable read
467                                         if (localBinding.constant != NotAConstant) {
468                                                 codeStream.generateConstant(localBinding.constant, 0);
469                                                 // no implicit conversion
470                                         } else {
471                                                 // outer local?
472                                                 if ((bits & DepthMASK) != 0) {
473                                                         // outer local can be reached either through a synthetic arg or a synthetic field
474                                                         VariableBinding[] path = currentScope.getEmulationPath(localBinding);
475                                                         if (path == null) {
476                                                                 // emulation was not possible (should not happen per construction)
477                                                                 currentScope.problemReporter().needImplementation();
478                                                         } else {
479                                                                 codeStream.generateOuterAccess(path, this, currentScope);
480                                                         }
481                                                 } else {
482                                                         codeStream.load(localBinding);
483                                                 }
484                                         }
485                         }
486                 } else {
487                         lastFieldBinding = null;
488                 }
489                 // all intermediate field accesses are read accesses
490                 // only the last field binding is a write access
491                 if (this.otherCodegenBindings != null) {
492                         int start = indexOfFirstValueRequired == 0 ? 0 : indexOfFirstValueRequired - 1;
493                         for (int i = start; i < otherBindingsCount; i++) {
494                                 if (lastFieldBinding != null) {
495                                         MethodBinding accessor =
496                                                 syntheticReadAccessors == null ? null : syntheticReadAccessors[i];
497                                         if (accessor == null)
498                                                 if (lastFieldBinding.isStatic())
499                                                         codeStream.getstatic(lastFieldBinding);
500                                                 else
501                                                         codeStream.getfield(lastFieldBinding);
502                                         else
503                                                 codeStream.invokestatic(accessor);
504                                 }
505                                 lastFieldBinding = otherCodegenBindings[i];
506                         }
507                 }
508         }
509         public void generateReceiver(CodeStream codeStream) {
510                 codeStream.aload_0();
511         }
512         public TypeBinding getOtherFieldBindings(BlockScope scope) {
513                 // At this point restrictiveFlag may ONLY have two potential value : FIELD LOCAL (i.e cast <<(VariableBinding) binding>> is valid)
514                 if ((bits & FIELD) != 0) {
515                         if (!((FieldBinding) binding).isStatic()) {
516                                 //must check for the static status....
517                                 if (indexOfFirstFieldBinding == 1) {
518                                         //the field is the first token of the qualified reference....
519                                         if (scope.methodScope().isStatic) {
520                                                 scope.problemReporter().staticFieldAccessToNonStaticVariable(
521                                                         this,
522                                                         (FieldBinding) binding);
523                                                 return null;
524                                         }
525                                 } else { //accessing to a field using a type as "receiver" is allowed only with static field    
526                                         scope.problemReporter().staticFieldAccessToNonStaticVariable(
527                                                 this,
528                                                 (FieldBinding) binding);
529                                         return null;
530                                 }
531                         }
532                         if (isFieldUseDeprecated((FieldBinding) binding, scope))
533                                 scope.problemReporter().deprecatedField((FieldBinding) binding, this);
534                 }
535                 TypeBinding type = ((VariableBinding) binding).type;
536                 int index = indexOfFirstFieldBinding;
537                 int length = tokens.length;
538                 if (index == length) { //       restrictiveFlag == FIELD
539                         constant =
540                                 FieldReference.getConstantFor((FieldBinding) binding, false, this, scope, index - 1);
541                         return type;
542                 }
543                 // allocation of the fieldBindings array        and its respective constants
544                 int otherBindingsLength = length - index;
545                 otherCodegenBindings = otherBindings = new FieldBinding[otherBindingsLength];
546                 otherDepths = new int[otherBindingsLength];
547                 
548                 // fill the first constant (the one of the binding)
549                 constant =
550                         ((bits & FIELD) != 0)
551                                 ? FieldReference.getConstantFor((FieldBinding) binding, false, this, scope, index - 1)
552                                 : ((VariableBinding) binding).constant;
553                 // save first depth, since will be updated by visibility checks of other bindings
554                 int firstDepth = (bits & DepthMASK) >> DepthSHIFT;
555                 // iteration on each field      
556                 while (index < length) {
557                         char[] token = tokens[index];
558                         if (type == null)
559                                 return null; // could not resolve type prior to this point
560
561                         bits &= ~DepthMASK; // flush previous depth if any                      
562                         FieldBinding field = scope.getField(type, token, this);
563                         int place = index - indexOfFirstFieldBinding;
564                         otherBindings[place] = field;
565                         otherDepths[place] = (bits & DepthMASK) >> DepthSHIFT;
566                         if (field.isValidBinding()) {
567                                 if (isFieldUseDeprecated(field, scope))
568                                         scope.problemReporter().deprecatedField(field, this);
569                                 Constant someConstant =
570                                         FieldReference.getConstantFor(field, false, this, scope, place);
571                                 // constant propagation can only be performed as long as the previous one is a constant too.
572                                 if (constant != NotAConstant) {
573                                         constant = someConstant;
574                                 }
575                                 type = field.type;
576                                 index++;
577                         } else {
578                                 constant = NotAConstant; //don't fill other constants slots...
579                                 scope.problemReporter().invalidField(this, field, index, type);
580                                 setDepth(firstDepth);
581                                 return null;
582                         }
583                 }
584                 setDepth(firstDepth);
585                 return (otherBindings[otherBindingsLength - 1]).type;
586         }
587         public void manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope) {
588                 //If inlinable field, forget the access emulation, the code gen will directly target it
589                 if (((bits & DepthMASK) == 0) || (constant != NotAConstant)) {
590                         return;
591                 }
592                 switch (bits & RestrictiveFlagMASK) {
593                         case FIELD :
594                                 FieldBinding fieldBinding;
595                                 if ((fieldBinding = (FieldBinding) binding).isStatic()
596                                         || (fieldBinding.constant != NotAConstant))
597                                         return;
598                                 ReferenceBinding compatibleType = currentScope.enclosingSourceType();
599                                 // the declaringClass of the target binding must be compatible with the enclosing
600                                 // type at <depth> levels outside
601                                 for (int i = 0, depth = (bits & DepthMASK) >> DepthSHIFT; i < depth; i++) {
602                                         compatibleType = compatibleType.enclosingType();
603                                 }
604                                 currentScope.emulateOuterAccess(compatibleType, false);
605                                 // request cascade of accesses
606                                 break;
607                         case LOCAL :
608                                 currentScope.emulateOuterAccess((LocalVariableBinding) binding);
609                 }
610         }
611         public void manageSyntheticReadAccessIfNecessary(
612                 BlockScope currentScope,
613                 FieldBinding fieldBinding,
614                 TypeBinding lastReceiverType,
615                 int index) {
616                 // index == 0 denotes the first fieldBinding, index > 0 denotes one of the 'otherBindings'
617                 if (fieldBinding.constant != NotAConstant)
618                         return;
619                 if (fieldBinding.isPrivate()) { // private access
620                         if (fieldBinding.declaringClass != currentScope.enclosingSourceType()) {
621                                 if (syntheticReadAccessors == null) {
622                                         if (otherBindings == null)
623                                                 syntheticReadAccessors = new SyntheticAccessMethodBinding[1];
624                                         else
625                                                 syntheticReadAccessors =
626                                                         new SyntheticAccessMethodBinding[otherBindings.length + 1];
627                                 }
628                                 syntheticReadAccessors[index] = ((SourceTypeBinding) fieldBinding.declaringClass).addSyntheticMethod(fieldBinding, true);
629                                 currentScope.problemReporter().needToEmulateFieldReadAccess(fieldBinding, this);
630                                 return;
631                         }
632                 } else if (fieldBinding.isProtected()){
633                         int depth = index == 0 ? (bits & DepthMASK) >> DepthSHIFT : otherDepths[index-1];
634                         // implicit protected access (only for first one)
635                         if (depth > 0 && (fieldBinding.declaringClass.getPackage()
636                                                                 != currentScope.enclosingSourceType().getPackage())) {
637                                 if (syntheticReadAccessors == null) {
638                                         if (otherBindings == null)
639                                                 syntheticReadAccessors = new SyntheticAccessMethodBinding[1];
640                                         else
641                                                 syntheticReadAccessors =
642                                                         new SyntheticAccessMethodBinding[otherBindings.length + 1];
643                                 }
644                                 syntheticReadAccessors[index] =
645                                         ((SourceTypeBinding) currentScope.enclosingSourceType().enclosingTypeAt(depth))
646                                                                                         .addSyntheticMethod(fieldBinding, true);
647                                 currentScope.problemReporter().needToEmulateFieldReadAccess(fieldBinding, this);
648                                 return;
649                         }
650                 }
651                 // if the binding declaring class is not visible, need special action
652                 // for runtime compatibility on 1.2 VMs : change the declaring class of the binding
653                 // NOTE: from 1.4 on, field's declaring class is touched if any different from receiver type
654                 if (fieldBinding.declaringClass != lastReceiverType
655                         && !lastReceiverType.isArrayType()                      
656                         && fieldBinding.declaringClass != null
657                         && fieldBinding.constant == NotAConstant
658                         && ((currentScope.environment().options.complianceLevel >= CompilerOptions.JDK1_4
659                                         && (index > 0 || indexOfFirstFieldBinding > 1 || !fieldBinding.isStatic())
660                                         && fieldBinding.declaringClass.id != T_Object)
661                                 || !fieldBinding.declaringClass.canBeSeenBy(currentScope))){
662                         if (index == 0){
663                                 this.codegenBinding = currentScope.enclosingSourceType().getUpdatedFieldBinding(fieldBinding, (ReferenceBinding)lastReceiverType);
664                         } else {
665                                 if (this.otherCodegenBindings == this.otherBindings){
666                                         int l = this.otherBindings.length;
667                                         System.arraycopy(this.otherBindings, 0, this.otherCodegenBindings = new FieldBinding[l], 0, l);
668                                 }
669                                 this.otherCodegenBindings[index-1] = currentScope.enclosingSourceType().getUpdatedFieldBinding(fieldBinding, (ReferenceBinding)lastReceiverType);
670                         }
671                 }
672         }
673         /*
674          * No need to emulate access to protected fields since not implicitly accessed
675          */
676         public void manageSyntheticWriteAccessIfNecessary(
677                 BlockScope currentScope,
678                 FieldBinding fieldBinding,
679                 TypeBinding lastReceiverType) {
680                 if (fieldBinding.isPrivate()) {
681                         if (fieldBinding.declaringClass != currentScope.enclosingSourceType()) {
682                                 syntheticWriteAccessor = ((SourceTypeBinding) fieldBinding.declaringClass)
683                                                                                         .addSyntheticMethod(fieldBinding, false);
684                                 currentScope.problemReporter().needToEmulateFieldWriteAccess(fieldBinding, this);
685                                 return;
686                         }
687                 } else if (fieldBinding.isProtected()){
688                         int depth = fieldBinding == binding ? (bits & DepthMASK) >> DepthSHIFT : otherDepths[otherDepths.length-1];
689                         if (depth > 0 && (fieldBinding.declaringClass.getPackage()
690                                                                 != currentScope.enclosingSourceType().getPackage())) {
691                                 syntheticWriteAccessor = ((SourceTypeBinding) currentScope.enclosingSourceType().enclosingTypeAt(depth))
692                                                                                         .addSyntheticMethod(fieldBinding, false);
693                                 currentScope.problemReporter().needToEmulateFieldWriteAccess(fieldBinding, this);
694                                 return;
695                         }
696                 }
697                 // if the binding declaring class is not visible, need special action
698                 // for runtime compatibility on 1.2 VMs : change the declaring class of the binding
699                 // NOTE: from 1.4 on, field's declaring class is touched if any different from receiver type
700                 if (fieldBinding.declaringClass != lastReceiverType
701                         && !lastReceiverType.isArrayType()                      
702                         && fieldBinding.declaringClass != null
703                         && fieldBinding.constant == NotAConstant
704                         && ((currentScope.environment().options.complianceLevel >= CompilerOptions.JDK1_4
705                                         && (fieldBinding != binding || indexOfFirstFieldBinding > 1 || !fieldBinding.isStatic())
706                                         && fieldBinding.declaringClass.id != T_Object)
707                                 || !fieldBinding.declaringClass.canBeSeenBy(currentScope))){
708                         if (fieldBinding == binding){
709                                 this.codegenBinding = currentScope.enclosingSourceType().getUpdatedFieldBinding(fieldBinding, (ReferenceBinding)lastReceiverType);
710                         } else {
711                                 if (this.otherCodegenBindings == this.otherBindings){
712                                         int l = this.otherBindings.length;
713                                         System.arraycopy(this.otherBindings, 0, this.otherCodegenBindings = new FieldBinding[l], 0, l);
714                                 }
715                                 this.otherCodegenBindings[this.otherCodegenBindings.length-1] = currentScope.enclosingSourceType().getUpdatedFieldBinding(fieldBinding, (ReferenceBinding)lastReceiverType);
716                         }
717                 }
718                 
719         }
720         /**
721          * Normal field binding did not work, try to bind to a field of the delegate receiver.
722          */
723         public TypeBinding reportError(BlockScope scope) {
724                 if (binding instanceof ProblemFieldBinding) {
725                         scope.problemReporter().invalidField(this, (FieldBinding) binding);
726                 } else if (binding instanceof ProblemReferenceBinding) {
727                         scope.problemReporter().invalidType(this, (TypeBinding) binding);
728                 } else {
729                         scope.problemReporter().unresolvableReference(this, binding);
730                 }
731                 return null;
732         }
733         public TypeBinding resolveType(BlockScope scope) {
734                 // field and/or local are done before type lookups
735                 // the only available value for the restrictiveFlag BEFORE
736                 // the TC is Flag_Type Flag_LocalField and Flag_TypeLocalField 
737                 this.actualReceiverType = this.receiverType = scope.enclosingSourceType();
738                 constant = Constant.NotAConstant;
739                 if ((this.codegenBinding = this.binding = scope.getBinding(tokens, bits & RestrictiveFlagMASK, this))
740                         .isValidBinding()) {
741                         switch (bits & RestrictiveFlagMASK) {
742                                 case VARIABLE : //============only variable===========
743                                 case TYPE | VARIABLE :
744                                         if (binding instanceof LocalVariableBinding) {
745                                                 if (!((LocalVariableBinding) binding).isFinal() && ((bits & DepthMASK) != 0))
746                                                         scope.problemReporter().cannotReferToNonFinalOuterLocal(
747                                                                 (LocalVariableBinding) binding,
748                                                                 this);
749                                                 bits &= ~RestrictiveFlagMASK; // clear bits
750                                                 bits |= LOCAL;
751                                                 return getOtherFieldBindings(scope);
752                                         }
753                                         if (binding instanceof FieldBinding) {
754                                                 // check for forward references
755                                                 FieldBinding fieldBinding = (FieldBinding) binding;
756                                                 MethodScope methodScope = scope.methodScope();
757                                                 if (methodScope.enclosingSourceType() == fieldBinding.declaringClass
758                                                         && methodScope.fieldDeclarationIndex != methodScope.NotInFieldDecl
759                                                         && fieldBinding.id >= methodScope.fieldDeclarationIndex) {
760                                                         if ((!fieldBinding.isStatic() || methodScope.isStatic)
761                                                                 && this.indexOfFirstFieldBinding == 1)
762                                                                 scope.problemReporter().forwardReference(this, 0, scope.enclosingSourceType());
763                                                 }
764                                                 bits &= ~RestrictiveFlagMASK; // clear bits
765                                                 bits |= FIELD;
766                                                 return getOtherFieldBindings(scope);
767                                         }
768                                         // thus it was a type
769                                         bits &= ~RestrictiveFlagMASK; // clear bits
770                                         bits |= TYPE;
771                                 case TYPE : //=============only type ==============
772                                         //deprecated test
773                                         if (isTypeUseDeprecated((TypeBinding) binding, scope))
774                                                 scope.problemReporter().deprecatedType((TypeBinding) binding, this);
775                                         return (TypeBinding) binding;
776                         }
777                 }
778                 //========error cases===============
779                 return this.reportError(scope);
780         }
781         public void setFieldIndex(int index) {
782                 this.indexOfFirstFieldBinding = index;
783         }
784         public String toStringExpression() {
785                 StringBuffer buffer = new StringBuffer();
786                 for (int i = 0; i < tokens.length; i++) {
787                         buffer.append(tokens[i]);
788                         if (i < (tokens.length - 1)) {
789                                 buffer.append("."); //$NON-NLS-1$
790                         }
791                 }
792                 return buffer.toString();
793         }
794         public void traverse(IAbstractSyntaxTreeVisitor visitor, BlockScope scope) {
795                 visitor.visit(this, scope);
796                 visitor.endVisit(this, scope);
797         }
798         public String unboundReferenceErrorName() {
799                 return new String(tokens[0]);
800         }
801 }