author | ca |
Wed, 30 Jun 2004 17:30:53 +0200 | |
changeset 1528 | 855c084e2f67 |
parent 1503 | 5feba91aa28a |
child 1533 | bff4a03d6d48 |
permissions | -rw-r--r-- |
0 | 1 |
" |
4 | 2 |
COPYRIGHT (c) 1989 by Claus Gittinger |
53 | 3 |
All Rights Reserved |
0 | 4 |
|
5 |
This software is furnished under a license and may be used |
|
6 |
only in accordance with the terms of that license and with the |
|
7 |
inclusion of the above copyright notice. This software may not |
|
8 |
be provided or otherwise made available to, or used by, any |
|
9 |
other person. No title to or ownership of the software is |
|
10 |
hereby transferred. |
|
11 |
" |
|
12 |
||
1044 | 13 |
"{ Package: 'stx:libcomp' }" |
14 |
||
0 | 15 |
Object subclass:#ParseNode |
244
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
16 |
instanceVariableNames:'type comments parenthized' |
1046 | 17 |
classVariableNames:'' |
244
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
18 |
poolDictionaries:'' |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
19 |
category:'System-Compiler-Support' |
0 | 20 |
! |
21 |
||
20 | 22 |
!ParseNode class methodsFor:'documentation'! |
23 |
||
24 |
copyright |
|
25 |
" |
|
26 |
COPYRIGHT (c) 1989 by Claus Gittinger |
|
53 | 27 |
All Rights Reserved |
20 | 28 |
|
29 |
This software is furnished under a license and may be used |
|
30 |
only in accordance with the terms of that license and with the |
|
31 |
inclusion of the above copyright notice. This software may not |
|
32 |
be provided or otherwise made available to, or used by, any |
|
33 |
other person. No title to or ownership of the software is |
|
34 |
hereby transferred. |
|
35 |
" |
|
36 |
! |
|
37 |
||
38 |
documentation |
|
39 |
" |
|
40 |
node for parse-trees; abstract class |
|
261 | 41 |
This is a helper class for the compiler. |
263 | 42 |
|
43 |
[author:] |
|
44 |
Claus Gittinger |
|
20 | 45 |
" |
46 |
! ! |
|
0 | 47 |
|
48 |
!ParseNode class methodsFor:'instance creation'! |
|
49 |
||
50 |
type:t |
|
51 |
^ (self basicNew) type:t |
|
52 |
! ! |
|
53 |
||
1114 | 54 |
!ParseNode class methodsFor:'code generation helpers'! |
383 | 55 |
|
56 |
codeLineNumber:nr on:aStream for:aCompiler |
|
57 |
"generate lineNumber information" |
|
58 |
||
59 |
nr > 0 ifTrue:[ |
|
60 |
nr <= 255 ifTrue:[ |
|
61 |
aStream nextPut:#lineno. |
|
62 |
aStream nextPut:nr |
|
63 |
] ifFalse:[ |
|
64 |
nr <= 16rFFFF ifTrue:[ |
|
65 |
aStream nextPut:#lineno16. |
|
66 |
aStream nextPut:((nr bitShift:-8) bitAnd:16rFF). |
|
67 |
aStream nextPut:(nr bitAnd:16rFF). |
|
68 |
] |
|
69 |
] |
|
70 |
] |
|
71 |
||
72 |
"Created: 21.10.1996 / 14:42:27 / cg" |
|
73 |
! ! |
|
74 |
||
140 | 75 |
!ParseNode methodsFor:'accessing'! |
76 |
||
77 |
lineNumber:dummy |
|
78 |
"set linenumber - ignored here" |
|
79 |
||
80 |
^ self |
|
81 |
! |
|
82 |
||
83 |
parenthized |
|
1338 | 84 |
^ parenthized ? false |
140 | 85 |
! |
86 |
||
87 |
parenthized:aBoolean |
|
88 |
parenthized := aBoolean |
|
89 |
! |
|
90 |
||
598 | 91 |
selectorPosition:aCharacterPosition |
92 |
"ignored here" |
|
93 |
||
94 |
"Created: 5.8.1997 / 16:32:17 / cg" |
|
95 |
! |
|
96 |
||
140 | 97 |
type |
98 |
"return the nodes type" |
|
99 |
||
100 |
^ type |
|
101 |
! ! |
|
102 |
||
103 |
!ParseNode methodsFor:'checks'! |
|
104 |
||
105 |
plausibilityCheck |
|
106 |
^ nil |
|
107 |
! ! |
|
108 |
||
109 |
!ParseNode methodsFor:'code generation'! |
|
110 |
||
111 |
codeForSideEffectOn:aStream inBlock:b for:aCompiler |
|
112 |
"generate code for this statement - value not needed" |
|
113 |
||
114 |
self codeOn:aStream inBlock:b for:aCompiler. |
|
115 |
aStream nextPut:#drop |
|
373 | 116 |
! |
117 |
||
843
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
118 |
codeForSimpleReturnOn:aStream inBlock:b lineNumber:lineNrOrNil for:aCompiler |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
119 |
"generate code to return myself as a simple method return" |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
120 |
|
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
121 |
self codeOn:aStream inBlock:b for:aCompiler. |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
122 |
lineNrOrNil notNil ifTrue:[ |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
123 |
self codeLineNumber:lineNrOrNil on:aStream for:aCompiler |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
124 |
]. |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
125 |
aStream nextPut:#retTop. |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
126 |
|
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
127 |
|
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
128 |
! |
522c116f86d9
boolean-return expression rewrite
Claus Gittinger <cg@exept.de>
parents:
816
diff
changeset
|
129 |
|
1056 | 130 |
codeInlineOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler |
131 |
"generate code for this statement - value is needed" |
|
132 |
||
133 |
self codeOn:aStream inBlock:b for:aCompiler. |
|
134 |
! |
|
135 |
||
373 | 136 |
codeLineNumber:nr on:aStream for:aCompiler |
137 |
"generate lineNumber information" |
|
138 |
||
816 | 139 |
self class codeLineNumber:nr on:aStream for:aCompiler |
140 | 140 |
! ! |
141 |
||
1503 | 142 |
!ParseNode methodsFor:'enumeration'! |
143 |
||
144 |
messagesDo:aBlock |
|
145 |
^ self |
|
146 |
! ! |
|
147 |
||
140 | 148 |
!ParseNode methodsFor:'evaluation'! |
149 |
||
1383 | 150 |
evaluate |
151 |
^ self evaluateIn:nil |
|
152 |
! |
|
153 |
||
140 | 154 |
evaluateForCascade |
1383 | 155 |
^ self evaluateForCascadeIn:nil |
156 |
! |
|
157 |
||
158 |
evaluateForCascadeIn:anEnvironment |
|
159 |
^ self evaluateIn:anEnvironment |
|
160 |
! |
|
161 |
||
162 |
evaluateIn:anEnvironment |
|
163 |
self subclassResponsibility |
|
140 | 164 |
! ! |
165 |
||
1080 | 166 |
!ParseNode methodsFor:'printing & storing'! |
140 | 167 |
|
168 |
printOn:aStream |
|
914 | 169 |
"append a user printed representation of the receiver to aStream. |
170 |
The format is suitable for a human - not meant to be read back." |
|
171 |
||
140 | 172 |
self printOn:aStream indent:0 |
173 |
! |
|
174 |
||
175 |
printString |
|
176 |
|stream| |
|
177 |
||
178 |
stream := WriteStream on:String new. |
|
179 |
self printOn:stream indent:0. |
|
180 |
^ stream contents |
|
181 |
! ! |
|
182 |
||
183 |
!ParseNode methodsFor:'private'! |
|
184 |
||
185 |
type:t |
|
186 |
"set the nodes type" |
|
187 |
||
188 |
type := t |
|
189 |
! ! |
|
190 |
||
0 | 191 |
!ParseNode methodsFor:'queries'! |
192 |
||
244
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
193 |
canReuseAsArg:anotherNode |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
194 |
^ false |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
195 |
|
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
196 |
"Created: 14.4.1996 / 00:43:08 / cg" |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
197 |
! |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
198 |
|
395 | 199 |
collectBlocksInto:aCollection |
200 |
^ self |
|
201 |
||
202 |
"Created: 23.10.1996 / 15:45:00 / cg" |
|
203 |
! |
|
204 |
||
140 | 205 |
isAssignment |
206 |
"return true, if this is a node for an assignment" |
|
207 |
||
208 |
^ false |
|
209 |
! |
|
210 |
||
211 |
isBinaryMessage |
|
212 |
"return true, if this is a node for a binary send" |
|
213 |
||
214 |
^ false |
|
215 |
! |
|
216 |
||
217 |
isBlockNode |
|
218 |
"return true, if this is a node for a block" |
|
219 |
||
220 |
^ false |
|
221 |
! |
|
222 |
||
744
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
223 |
isCascade |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
224 |
^ false |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
225 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
226 |
"Created: / 16.7.1998 / 20:11:33 / cg" |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
227 |
! |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
228 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
229 |
isCascadeToSuper |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
230 |
^ false |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
231 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
232 |
"Created: / 16.7.1998 / 19:51:07 / cg" |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
233 |
! |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
598
diff
changeset
|
234 |
|
0 | 235 |
isConstant |
13 | 236 |
"return true, if this is a node for a constant" |
237 |
||
238 |
^ false |
|
239 |
! |
|
240 |
||
53 | 241 |
isGlobal |
242 |
"return true, if this is a node for a global variable" |
|
243 |
||
244 |
^ false |
|
245 |
! |
|
246 |
||
1310
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
247 |
isGlobalVariable |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
248 |
^ false |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
249 |
! |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
250 |
|
1528 | 251 |
isImmutable |
252 |
"not used with ST/X - |
|
253 |
for JavaScript nodes return true here." |
|
254 |
||
255 |
^ true |
|
256 |
! |
|
257 |
||
140 | 258 |
isMessage |
259 |
"return true, if this is a node for a message expression" |
|
19 | 260 |
|
261 |
^ false |
|
262 |
! |
|
263 |
||
1310
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
264 |
isMethodVariable |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
265 |
^ false |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
266 |
! |
feb30ab0c221
better variabletype queries.
Claus Gittinger <cg@exept.de>
parents:
1114
diff
changeset
|
267 |
|
140 | 268 |
isPrimary |
269 |
"return true, if this is a node for a primary (i.e. non-send)" |
|
13 | 270 |
|
271 |
^ false |
|
272 |
! |
|
273 |
||
274 |
isReturnNode |
|
275 |
"return true, if this is a node for a return expression" |
|
276 |
||
0 | 277 |
^ false |
278 |
! |
|
279 |
||
862 | 280 |
isSelf |
281 |
"return true, if this is a self-node" |
|
282 |
||
283 |
^ false |
|
284 |
! |
|
285 |
||
140 | 286 |
isSuper |
287 |
"return true, if this is a super-node" |
|
13 | 288 |
|
0 | 289 |
^ false |
290 |
! |
|
291 |
||
292 |
isUnaryMessage |
|
13 | 293 |
"return true, if this is a node for a unary send" |
294 |
||
0 | 295 |
^ false |
244
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
296 |
! |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
297 |
|
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
298 |
isVariable |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
299 |
"return true, if this is a node for a variable" |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
300 |
|
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
301 |
^ false |
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
302 |
|
2ce60e837d52
use dup if possible when pushing args
Claus Gittinger <cg@exept.de>
parents:
148
diff
changeset
|
303 |
"Created: 14.4.1996 / 00:46:44 / cg" |
0 | 304 |
! ! |
305 |
||
148 | 306 |
!ParseNode class methodsFor:'documentation'! |
307 |
||
308 |
version |
|
1528 | 309 |
^ '$Header: /cvs/stx/stx/libcomp/ParseNode.st,v 1.37 2004-06-30 15:30:48 ca Exp $' |
148 | 310 |
! ! |