author | Claus Gittinger <cg@exept.de> |
Sun, 23 Sep 2018 01:09:40 +0200 | |
changeset 4302 | 97c125843381 |
parent 4223 | 29e21fe4d6b6 |
permissions | -rw-r--r-- |
0 | 1 |
" |
4 | 2 |
COPYRIGHT (c) 1989 by Claus Gittinger |
104 | 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 |
" |
|
1079 | 12 |
"{ Package: 'stx:libcomp' }" |
13 |
||
4181 | 14 |
"{ NameSpace: Smalltalk }" |
15 |
||
0 | 16 |
MessageNode subclass:#CascadeNode |
261 | 17 |
instanceVariableNames:'' |
18 |
classVariableNames:'' |
|
19 |
poolDictionaries:'' |
|
20 |
category:'System-Compiler-Support' |
|
0 | 21 |
! |
22 |
||
20 | 23 |
!CascadeNode class methodsFor:'documentation'! |
24 |
||
25 |
copyright |
|
26 |
" |
|
27 |
COPYRIGHT (c) 1989 by Claus Gittinger |
|
104 | 28 |
All Rights Reserved |
20 | 29 |
|
30 |
This software is furnished under a license and may be used |
|
31 |
only in accordance with the terms of that license and with the |
|
32 |
inclusion of the above copyright notice. This software may not |
|
33 |
be provided or otherwise made available to, or used by, any |
|
34 |
other person. No title to or ownership of the software is |
|
35 |
hereby transferred. |
|
36 |
" |
|
37 |
! |
|
38 |
||
39 |
documentation |
|
40 |
" |
|
41 |
node for parse-trees, representing cascade message sends |
|
261 | 42 |
This is a helper class for the compiler. |
263 | 43 |
|
44 |
[author:] |
|
45 |
Claus Gittinger |
|
20 | 46 |
" |
47 |
! ! |
|
0 | 48 |
|
2693 | 49 |
!CascadeNode methodsFor:'*VMMaker-C translation'! |
50 |
||
51 |
asTranslatorNodeIn: aTMethod |
|
52 |
"make a CCodeGenerator equivalent of me" |
|
53 |
||
54 |
^Squeak::TStmtListNode new |
|
55 |
setArguments: #() |
|
56 |
statements: |
|
57 |
(Array streamContents: |
|
58 |
[:s| | receiverNode | |
|
59 |
receiverNode := self realReceiver "receiver" asTranslatorNodeIn: aTMethod. |
|
60 |
receiverNode isLeaf ifFalse: |
|
61 |
[| varNode | |
|
2700
f894f188aefc
comment/format in: #asTranslatorNodeIn:
Claus Gittinger <cg@exept.de>
parents:
2693
diff
changeset
|
62 |
|
2693 | 63 |
varNode := aTMethod newCascadeTempFor: receiverNode. |
64 |
s nextPut: (Squeak::TAssignmentNode new |
|
65 |
setVariable: varNode |
|
66 |
expression: receiverNode). |
|
67 |
receiverNode := varNode]. |
|
68 |
self messages do: |
|
69 |
[ :msg | s nextPut: ((msg asTranslatorNodeIn: aTMethod) receiver: receiverNode)]]); |
|
2700
f894f188aefc
comment/format in: #asTranslatorNodeIn:
Claus Gittinger <cg@exept.de>
parents:
2693
diff
changeset
|
70 |
comment: ((comments ? #()) firstIfEmpty:nil) |
2693 | 71 |
|
2700
f894f188aefc
comment/format in: #asTranslatorNodeIn:
Claus Gittinger <cg@exept.de>
parents:
2693
diff
changeset
|
72 |
"Modified: / 14-09-2011 / 10:41:14 / cg" |
2693 | 73 |
! |
74 |
||
75 |
realReceiver |
|
76 |
"return the real receiver |
|
77 |
(sigh; ST/X encodes things differently)" |
|
78 |
||
79 |
|r| |
|
80 |
||
81 |
r := receiver. |
|
82 |
[r isCascade] whileTrue:[ |
|
83 |
r := r receiver. |
|
84 |
]. |
|
2700
f894f188aefc
comment/format in: #asTranslatorNodeIn:
Claus Gittinger <cg@exept.de>
parents:
2693
diff
changeset
|
85 |
^ r receiver |
2693 | 86 |
|
87 |
"Created: / 12-09-2011 / 10:01:48 / cg" |
|
88 |
! ! |
|
89 |
||
140 | 90 |
!CascadeNode methodsFor:'code generation'! |
0 | 91 |
|
104 | 92 |
codeForCascadeOn:aStream inBlock:b for:aCompiler |
4181 | 93 |
"the old code could lead to a recursion error with |
94 |
long cascades; |
|
95 |
the new code does not." |
|
96 |
||
97 |
"/ old |
|
98 |
"/ receiver codeForCascadeOn:aStream inBlock:b for:aCompiler. |
|
99 |
"/ aStream nextPut:#dup. |
|
100 |
"/ self codeSendOn:aStream inBlock:b valueNeeded:false for:aCompiler |
|
101 |
||
102 |
"/ new |
|
103 |
|leftMostExpression sequence| |
|
104 |
||
105 |
leftMostExpression := receiver. |
|
106 |
sequence := OrderedCollection new. |
|
107 |
[ leftMostExpression isCascade ] whileTrue:[ |
|
108 |
sequence addFirst:leftMostExpression. |
|
109 |
leftMostExpression := leftMostExpression receiver. |
|
110 |
]. |
|
111 |
||
112 |
leftMostExpression codeForCascadeOn:aStream inBlock:b for:aCompiler. |
|
113 |
sequence do:[:eachCascade | |
|
114 |
aStream nextPut:#dup. |
|
115 |
eachCascade codeSendOn:aStream inBlock:b valueNeeded:false for:aCompiler. |
|
116 |
]. |
|
0 | 117 |
aStream nextPut:#dup. |
4181 | 118 |
self codeSendOn:aStream inBlock:b valueNeeded:false for:aCompiler. |
119 |
||
120 |
"Modified: / 08-08-2017 / 18:04:48 / cg" |
|
140 | 121 |
! |
122 |
||
123 |
codeOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler |
|
124 |
receiver codeForCascadeOn:aStream inBlock:b for:aCompiler. |
|
125 |
self codeSendOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler |
|
0 | 126 |
! ! |
127 |
||
1035 | 128 |
!CascadeNode methodsFor:'enumerating'! |
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
129 |
|
2693 | 130 |
messages |
131 |
"helper for parse tree walking" |
|
132 |
||
133 |
"/ sigh; ST/X encodes things differently ... |
|
134 |
||
4223 | 135 |
|r nd msgs| |
2693 | 136 |
|
137 |
msgs := OrderedCollection new. |
|
138 |
||
139 |
r := receiver. |
|
140 |
[r isCascade] whileTrue:[ |
|
141 |
r := r receiver. |
|
142 |
]. |
|
143 |
r := r receiver. |
|
144 |
||
145 |
nd := self. |
|
146 |
[nd isCascade] whileTrue:[ |
|
4223 | 147 |
msgs addFirst:(MessageNode receiver:r selector:nd selector args:nd args lineno:nd lineNumber). |
2693 | 148 |
nd := nd receiver. |
149 |
]. |
|
4223 | 150 |
msgs addFirst:(MessageNode receiver:r selector:nd selector args:nd args lineno:nd lineNumber). |
2693 | 151 |
|
152 |
^ msgs |
|
153 |
||
154 |
"Created: / 12-09-2011 / 10:04:31 / cg" |
|
4223 | 155 |
"Modified: / 26-03-2018 / 15:36:30 / stefan" |
2693 | 156 |
! |
157 |
||
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
158 |
nodeDo:anEnumerator |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
159 |
"helper for parse tree walking" |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
160 |
|
542 | 161 |
"/ sigh; ST/X encodes things differently ... |
162 |
||
4223 | 163 |
|r nd msgs| |
542 | 164 |
|
165 |
msgs := OrderedCollection new. |
|
166 |
||
167 |
r := receiver. |
|
819 | 168 |
[r isCascade] whileTrue:[ |
542 | 169 |
r := r receiver. |
170 |
]. |
|
171 |
r := r receiver. |
|
172 |
||
173 |
nd := self. |
|
819 | 174 |
[nd isCascade] whileTrue:[ |
4223 | 175 |
msgs addFirst:(MessageNode receiver:r selector:nd selector args:nd args lineno:nd lineNumber). |
542 | 176 |
nd := nd receiver. |
177 |
]. |
|
4223 | 178 |
msgs addFirst:(MessageNode receiver:r selector:nd selector args:nd args lineno:nd lineNumber). |
542 | 179 |
|
180 |
^ anEnumerator doCascade:self receiver:r messages:msgs |
|
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
181 |
|
4223 | 182 |
"Created: / 19-06-1997 / 16:39:17 / cg" |
183 |
"Modified: / 26-03-2018 / 15:37:12 / stefan" |
|
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
184 |
! ! |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
185 |
|
1035 | 186 |
!CascadeNode methodsFor:'evaluation'! |
140 | 187 |
|
1384 | 188 |
evaluateForCascadeIn:anEnvironment |
4183 | 189 |
|t argValueArray leftMostExpression sequence| |
1384 | 190 |
|
1500
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
191 |
selector := selector asSymbol. |
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
192 |
|
1384 | 193 |
receiver isSuper ifTrue:[ |
194 |
^ super evaluateForCascadeIn:anEnvironment |
|
195 |
]. |
|
196 |
||
4183 | 197 |
"/ new code: avoids recursion error for long cascades |
198 |
leftMostExpression := receiver. |
|
199 |
sequence := OrderedCollection new. |
|
200 |
[leftMostExpression isCascade] whileTrue:[ |
|
201 |
sequence addFirst:leftMostExpression. |
|
202 |
leftMostExpression := leftMostExpression receiver. |
|
203 |
]. |
|
204 |
||
205 |
t := leftMostExpression evaluateForCascadeIn:anEnvironment. |
|
206 |
sequence do:[:eachCascadeMessage | |
|
207 |
|eachSelector eachArgArray eachArgValueArray| |
|
208 |
||
209 |
eachSelector := eachCascadeMessage selector. |
|
210 |
eachArgArray := eachCascadeMessage arguments. |
|
211 |
eachArgArray size == 0 ifTrue:[ |
|
212 |
t perform:eachSelector. |
|
213 |
] ifFalse:[ |
|
214 |
eachArgValueArray := eachArgArray collect:[:arg | arg evaluateIn:anEnvironment]. |
|
215 |
t perform:eachSelector withArguments:eachArgValueArray. |
|
216 |
]. |
|
217 |
]. |
|
218 |
||
219 |
"/ old code |
|
220 |
"/ t := receiver evaluateForCascadeIn:anEnvironment. |
|
221 |
||
1384 | 222 |
argArray isNil ifTrue:[ |
223 |
t perform:selector. |
|
224 |
^ t |
|
225 |
]. |
|
226 |
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment]. |
|
227 |
t perform:selector withArguments:argValueArray. |
|
228 |
^ t |
|
4183 | 229 |
|
230 |
"Modified: / 08-08-2017 / 18:18:09 / cg" |
|
1384 | 231 |
! |
232 |
||
233 |
evaluateIn:anEnvironment |
|
140 | 234 |
|t argValueArray| |
235 |
||
1500
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
236 |
selector := selector asSymbol. |
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
237 |
|
140 | 238 |
receiver isSuper ifTrue:[ |
1384 | 239 |
^ super evaluateIn:anEnvironment |
140 | 240 |
]. |
241 |
||
1384 | 242 |
t := receiver evaluateForCascadeIn:anEnvironment. |
140 | 243 |
argArray isNil ifTrue:[ |
1344
e181501d8aa0
oops - cascade-evaluation did not return last value
Claus Gittinger <cg@exept.de>
parents:
1079
diff
changeset
|
244 |
^ t perform:selector. |
e181501d8aa0
oops - cascade-evaluation did not return last value
Claus Gittinger <cg@exept.de>
parents:
1079
diff
changeset
|
245 |
"/ t perform:selector. ^ t |
140 | 246 |
]. |
1384 | 247 |
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment]. |
140 | 248 |
^ t perform:selector withArguments:argValueArray |
249 |
! ! |
|
250 |
||
1079 | 251 |
!CascadeNode methodsFor:'printing & storing'! |
15 | 252 |
|
4184 | 253 |
printMessagePartOn:aStream indent:i |
1588 | 254 |
|selectorParts| |
15 | 255 |
|
1588 | 256 |
selectorParts := selector asCollectionOfSubstringsSeparatedBy:$:. |
3155
5ab5d8ad71ed
Changed usage of deprecated #copyWithoutLast: to #copyButLast:
Stefan Vogel <sv@exept.de>
parents:
2700
diff
changeset
|
257 |
selectorParts last isEmpty ifTrue:[selectorParts := selectorParts copyButLast:1]. |
2693 | 258 |
|
1588 | 259 |
argArray size == 0 ifTrue:[ |
260 |
selector printOn:aStream |
|
15 | 261 |
] ifFalse:[ |
1588 | 262 |
argArray |
263 |
with:selectorParts |
|
264 |
do:[:arg :selPart | |
|
265 |
aStream |
|
266 |
space; |
|
267 |
nextPutAll:selPart; |
|
268 |
nextPutAll:': '. |
|
4184 | 269 |
arg |
270 |
printOn:aStream |
|
271 |
indent:i + 4 |
|
272 |
parenthized:(arg precedence <= self precedence). |
|
1588 | 273 |
] |
15 | 274 |
] |
1588 | 275 |
|
4184 | 276 |
"Created: / 08-08-2017 / 18:24:11 / cg" |
277 |
! |
|
278 |
||
279 |
printOn:aStream indent:i |
|
280 |
|leftMostExpression sequence| |
|
281 |
||
282 |
"/ new code: |
|
283 |
||
284 |
leftMostExpression := receiver. |
|
285 |
sequence := OrderedCollection new. |
|
286 |
[leftMostExpression isCascade] whileTrue:[ |
|
287 |
sequence addFirst:leftMostExpression. |
|
288 |
leftMostExpression := leftMostExpression receiver. |
|
289 |
]. |
|
290 |
||
291 |
leftMostExpression printOn:aStream indent:i. |
|
292 |
aStream nextPutAll:'; '. |
|
293 |
||
294 |
sequence do:[:eachCascadeMessage | |
|
295 |
eachCascadeMessage printMessagePartOn:aStream indent:i. |
|
296 |
aStream nextPutAll:'; '. |
|
297 |
]. |
|
298 |
self printMessagePartOn:aStream indent:i |
|
299 |
||
300 |
"/ old code: |
|
301 |
||
302 |
"/ receiver printOn:aStream indent:i. |
|
303 |
"/ aStream nextPutAll:'; '. |
|
304 |
"/ self printMessagePartOn:aStream indent:i |
|
305 |
||
306 |
"Modified: / 08-08-2017 / 18:27:21 / cg" |
|
15 | 307 |
! ! |
308 |
||
2319 | 309 |
!CascadeNode methodsFor:'testing'! |
744
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
310 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
311 |
isCascade |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
312 |
^ true |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
313 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
314 |
"Created: / 16.7.1998 / 20:03:51 / cg" |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
315 |
! ! |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
316 |
|
2593 | 317 |
!CascadeNode methodsFor:'visiting'! |
318 |
||
319 |
acceptVisitor:aVisitor |
|
320 |
"Double dispatch back to the visitor, passing my type encoded in |
|
321 |
the selector (visitor pattern)" |
|
322 |
||
323 |
"stub code automatically generated - please change if required" |
|
324 |
||
325 |
^ aVisitor visitCascadeNode:self |
|
326 |
! ! |
|
327 |
||
148 | 328 |
!CascadeNode class methodsFor:'documentation'! |
329 |
||
330 |
version |
|
4181 | 331 |
^ '$Header$' |
2319 | 332 |
! |
333 |
||
334 |
version_CVS |
|
4181 | 335 |
^ '$Header$' |
148 | 336 |
! ! |
3155
5ab5d8ad71ed
Changed usage of deprecated #copyWithoutLast: to #copyButLast:
Stefan Vogel <sv@exept.de>
parents:
2700
diff
changeset
|
337 |