fixed bug #1037094 (foreach)
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / internal / compiler / ast / ASTNode.java
1 /*******************************************************************************
2  * Copyright (c) 2000, 2003 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials 
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  * 
8  * Contributors:
9  *     IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package net.sourceforge.phpeclipse.internal.compiler.ast;
12
13 import net.sourceforge.phpdt.internal.compiler.IAbstractSyntaxTreeVisitor;
14 import net.sourceforge.phpdt.internal.compiler.impl.Constant;
15 import net.sourceforge.phpdt.internal.compiler.lookup.ArrayBinding;
16 import net.sourceforge.phpdt.internal.compiler.lookup.BaseTypes;
17 import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
18 import net.sourceforge.phpdt.internal.compiler.lookup.CompilerModifiers;
19 import net.sourceforge.phpdt.internal.compiler.lookup.FieldBinding;
20 import net.sourceforge.phpdt.internal.compiler.lookup.MethodBinding;
21 import net.sourceforge.phpdt.internal.compiler.lookup.ReferenceBinding;
22 import net.sourceforge.phpdt.internal.compiler.lookup.Scope;
23 import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
24 import net.sourceforge.phpdt.internal.compiler.lookup.TypeConstants;
25 import net.sourceforge.phpdt.internal.compiler.lookup.TypeIds;
26
27
28 public abstract class ASTNode implements BaseTypes, CompilerModifiers, TypeConstants, TypeIds {
29         
30         public int sourceStart, sourceEnd;
31
32         //some global provision for the hierarchy
33         public final static Constant NotAConstant = Constant.NotAConstant;
34
35         // storage for internal flags (32 bits)                 BIT USAGE
36         public final static int Bit1 = 0x1;                     // return type (operators) | name reference kind (name ref) | add assertion (type decl)
37         public final static int Bit2 = 0x2;                     // return type (operators) | name reference kind (name ref) | has local type (type, method, field decl)
38         public final static int Bit3 = 0x4;                     // return type (operators) | name reference kind (name ref) | implicit this (this ref)
39         public final static int Bit4 = 0x8;                     // return type (operators) | first assignment to local (local decl)
40         public final static int Bit5 = 0x10;                    // value for return (binary expression) | 
41         public final static int Bit6 = 0x20;                    // depth (name ref, msg) | only value required (binary expression)
42         public final static int Bit7 = 0x40;                    // depth (name ref, msg) | operator (operators)
43         public final static int Bit8 = 0x80;                    // depth (name ref, msg) | operator (operators) 
44         public final static int Bit9 = 0x100;                   // depth (name ref, msg) | operator (operators)
45         public final static int Bit10= 0x200;                   // depth (name ref, msg) | operator (operators)
46         public final static int Bit11 = 0x400;                  // depth (name ref, msg) | operator (operators)
47         public final static int Bit12 = 0x800;                  // depth (name ref, msg) | operator (operators)
48         public final static int Bit13 = 0x1000;                 // depth (name ref, msg) 
49         public final static int Bit14 = 0x2000;                 // assigned (reference lhs)
50         public final static int Bit15 = 0x4000; 
51         public final static int Bit16 = 0x8000; 
52         public final static int Bit17 = 0x10000; 
53         public final static int Bit18 = 0x20000; 
54         public final static int Bit19 = 0x40000; 
55         public final static int Bit20 = 0x80000; 
56         public final static int Bit21 = 0x100000;               
57         public final static int Bit22 = 0x200000;               // parenthesis count (expression)
58         public final static int Bit23 = 0x400000;               // parenthesis count (expression)
59         public final static int Bit24 = 0x800000;               // parenthesis count (expression)
60         public final static int Bit25 = 0x1000000;              // parenthesis count (expression)
61         public final static int Bit26 = 0x2000000;              // parenthesis count (expression)
62         public final static int Bit27 = 0x4000000;              // parenthesis count (expression)
63         public final static int Bit28 = 0x8000000;              // parenthesis count (expression)
64         public final static int Bit29 = 0x10000000;     // parenthesis count (expression)
65         public final static int Bit30 = 0x20000000;     // assignment with no effect (assignment)
66         public final static int Bit31 = 0x40000000;     // local declaration reachable (local decl)
67         public final static int Bit32 = 0x80000000;     // reachable (statement)
68
69         public int bits = IsReachableMASK;                              // reachable by default
70
71         // for operators 
72         public static final int ReturnTypeIDMASK = Bit1|Bit2|Bit3|Bit4; 
73         public static final int OperatorSHIFT = 6;      // Bit7 -> Bit12
74         public static final int OperatorMASK = Bit7|Bit8|Bit9|Bit10|Bit11|Bit12; // 6 bits for operator ID
75
76         // for binary expressions
77         public static final int ValueForReturnMASK = Bit5; 
78         public static final int OnlyValueRequiredMASK = Bit6; 
79
80         // for name references 
81         public static final int RestrictiveFlagMASK = Bit1|Bit2|Bit3;   
82         public static final int FirstAssignmentToLocalMASK = Bit4;
83         
84         // for this reference
85         public static final int IsImplicitThisMask = Bit3; 
86
87         // for single name references
88         public static final int DepthSHIFT = 5; // Bit6 -> Bit13
89         public static final int DepthMASK = Bit6|Bit7|Bit8|Bit9|Bit10|Bit11|Bit12|Bit13; // 8 bits for actual depth value (max. 255)
90
91         // for statements 
92         public static final int IsReachableMASK = Bit32; 
93         public static final int IsLocalDeclarationReachableMASK = Bit31; 
94
95         // for type declaration
96         public static final int AddAssertionMASK = Bit1;
97
98         // for type, method and field declarations 
99         public static final int HasLocalTypeMASK = Bit2; // cannot conflict with AddAssertionMASK
100
101         // for expression 
102         public static final int ParenthesizedSHIFT = 21; // Bit22 -> Bit29
103         public static final int ParenthesizedMASK = Bit22|Bit23|Bit24|Bit25|Bit26|Bit27|Bit28|Bit29; // 8 bits for parenthesis count value (max. 255)
104
105         // for assignment
106         public static final int IsAssignmentWithNoEffectMASK = Bit30;   
107         
108         // for references on lhs of assignment (set only for true assignments, as opposed to compound ones)
109         public static final int IsStrictlyAssignedMASK = Bit14;
110         
111         public ASTNode() {
112
113                 super();
114         }
115
116         public boolean cannotReturn() {
117                 return false;
118         }
119
120         public ASTNode concreteStatement() {
121                 return this;
122         }
123
124         /* Answer true if the field use is considered deprecated.
125         * An access in the same compilation unit is allowed.
126         */
127         public final boolean isFieldUseDeprecated(FieldBinding field, Scope scope) {
128
129                 if (field.isPrivate() && !scope.isDefinedInField(field)) {
130                         // ignore cases where field is used from within inside itself 
131                         field.modifiers |= AccPrivateUsed;
132                 }
133
134                 if (!field.isViewedAsDeprecated()) return false;
135
136                 // inside same unit - no report
137                 if (scope.isDefinedInSameUnit(field.declaringClass)) return false;
138                 
139                 // if context is deprecated, may avoid reporting
140 //              if (!scope.environment().options.reportDeprecationInsideDeprecatedCode && scope.isInsideDeprecatedCode()) return false;
141                 return true;
142         }
143
144         public boolean isImplicitThis() {
145                 
146                 return false;
147         }
148         
149         /* Answer true if the method use is considered deprecated.
150         * An access in the same compilation unit is allowed.
151         */
152         public final boolean isMethodUseDeprecated(MethodBinding method, Scope scope) {
153
154                 if (method.isPrivate() && !scope.isDefinedInMethod(method)) {
155                         // ignore cases where method is used from within inside itself (e.g. direct recursions)
156                         method.modifiers |= AccPrivateUsed;
157                 }
158                 
159                 if (!method.isViewedAsDeprecated()) return false;
160
161                 // inside same unit - no report
162                 if (scope.isDefinedInSameUnit(method.declaringClass)) return false;
163                 
164                 // if context is deprecated, may avoid reporting
165 //              if (!scope.environment().options.reportDeprecationInsideDeprecatedCode && scope.isInsideDeprecatedCode()) return false;
166                 return true;
167         }
168
169         public boolean isSuper() {
170
171                 return false;
172         }
173
174         public boolean isThis() {
175
176                 return false;
177         }
178
179         /* Answer true if the type use is considered deprecated.
180         * An access in the same compilation unit is allowed.
181         */
182         public final boolean isTypeUseDeprecated(TypeBinding type, Scope scope) {
183
184                 if (type.isArrayType())
185                         type = ((ArrayBinding) type).leafComponentType;
186                 if (type.isBaseType())
187                         return false;
188
189                 ReferenceBinding refType = (ReferenceBinding) type;
190
191                 if (refType.isPrivate() && !scope.isDefinedInType(refType)) {
192                         // ignore cases where type is used from within inside itself 
193                         refType.modifiers |= AccPrivateUsed;
194                 }
195
196                 if (!refType.isViewedAsDeprecated()) return false;
197                 
198                 // inside same unit - no report
199                 if (scope.isDefinedInSameUnit(refType)) return false;
200                 
201                 // if context is deprecated, may avoid reporting
202 //              if (!scope.environment().options.reportDeprecationInsideDeprecatedCode && scope.isInsideDeprecatedCode()) return false;
203                 return true;
204         }
205
206         public static String modifiersString(int modifiers) {
207
208                 String s = ""; //$NON-NLS-1$
209                 if ((modifiers & AccPublic) != 0)
210                         s = s + "public "; //$NON-NLS-1$
211                 if ((modifiers & AccPrivate) != 0)
212                         s = s + "private "; //$NON-NLS-1$
213                 if ((modifiers & AccProtected) != 0)
214                         s = s + "protected "; //$NON-NLS-1$
215                 if ((modifiers & AccStatic) != 0)
216                         s = s + "static "; //$NON-NLS-1$
217                 if ((modifiers & AccFinal) != 0)
218                         s = s + "final "; //$NON-NLS-1$
219 //              if ((modifiers & AccSynchronized) != 0)
220 //                      s = s + "synchronized "; //$NON-NLS-1$
221 //              if ((modifiers & AccVolatile) != 0)
222 //                      s = s + "volatile "; //$NON-NLS-1$
223 //              if ((modifiers & AccTransient) != 0)
224 //                      s = s + "transient "; //$NON-NLS-1$
225 //              if ((modifiers & AccNative) != 0)
226 //                      s = s + "native "; //$NON-NLS-1$
227                 if ((modifiers & AccAbstract) != 0)
228                         s = s + "abstract "; //$NON-NLS-1$
229                 return s;
230         }
231
232         /** 
233          * @deprecated - use field instead
234         */
235         public int sourceEnd() {
236                 return sourceEnd;
237         }
238         
239         /** 
240          * @deprecated - use field instead
241         */
242         public int sourceStart() {
243                 return sourceStart;
244         }
245
246         public static String tabString(int tab) {
247
248                 String s = ""; //$NON-NLS-1$
249                 for (int i = tab; i > 0; i--)
250                         s = s + "  "; //$NON-NLS-1$
251                 return s;
252         }
253
254         public String toString() {
255
256                 return toString(0);
257         }
258
259         public String toString(int tab) {
260
261                 return "****" + super.toString() + "****";  //$NON-NLS-2$ //$NON-NLS-1$
262         }
263         
264         public void traverse(IAbstractSyntaxTreeVisitor visitor, BlockScope scope) {
265         }
266 }