author | Claus Gittinger <cg@exept.de> |
Tue, 08 Aug 2017 18:22:43 +0200 | |
changeset 4183 | 4e9dedb504ca |
parent 4181 | 21f00e5abe0a |
child 4184 | e86cf3691f8c |
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 |
||
135 |
|r nd msgs msg| |
|
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:[ |
|
147 |
msg := MessageNode new. |
|
148 |
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber. |
|
149 |
msgs addFirst:msg. |
|
150 |
nd := nd receiver. |
|
151 |
]. |
|
152 |
msg := MessageNode new. |
|
153 |
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber. |
|
154 |
msgs addFirst:msg. |
|
155 |
||
156 |
^ msgs |
|
157 |
||
158 |
"Created: / 12-09-2011 / 10:04:31 / cg" |
|
159 |
! |
|
160 |
||
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
161 |
nodeDo:anEnumerator |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
162 |
"helper for parse tree walking" |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
163 |
|
542 | 164 |
"/ sigh; ST/X encodes things differently ... |
165 |
||
166 |
|r nd msgs msg| |
|
167 |
||
168 |
msgs := OrderedCollection new. |
|
169 |
||
170 |
r := receiver. |
|
819 | 171 |
[r isCascade] whileTrue:[ |
542 | 172 |
r := r receiver. |
173 |
]. |
|
174 |
r := r receiver. |
|
175 |
||
176 |
nd := self. |
|
819 | 177 |
[nd isCascade] whileTrue:[ |
542 | 178 |
msg := MessageNode new. |
179 |
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber. |
|
180 |
msgs addFirst:msg. |
|
181 |
nd := nd receiver. |
|
182 |
]. |
|
183 |
msg := MessageNode new. |
|
184 |
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber. |
|
185 |
msgs addFirst:msg. |
|
186 |
||
187 |
^ anEnumerator doCascade:self receiver:r messages:msgs |
|
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
188 |
|
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
189 |
"Created: 19.6.1997 / 16:39:17 / cg" |
542 | 190 |
"Modified: 19.6.1997 / 17:32:47 / cg" |
539
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
191 |
! ! |
69a1cd05c7d6
added node-walk facility (ST80 compatibility)
Claus Gittinger <cg@exept.de>
parents:
263
diff
changeset
|
192 |
|
1035 | 193 |
!CascadeNode methodsFor:'evaluation'! |
140 | 194 |
|
1384 | 195 |
evaluateForCascadeIn:anEnvironment |
4183 | 196 |
|t argValueArray leftMostExpression sequence| |
1384 | 197 |
|
1500
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
198 |
selector := selector asSymbol. |
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
199 |
|
1384 | 200 |
receiver isSuper ifTrue:[ |
201 |
^ super evaluateForCascadeIn:anEnvironment |
|
202 |
]. |
|
203 |
||
4183 | 204 |
"/ new code: avoids recursion error for long cascades |
205 |
leftMostExpression := receiver. |
|
206 |
sequence := OrderedCollection new. |
|
207 |
[leftMostExpression isCascade] whileTrue:[ |
|
208 |
sequence addFirst:leftMostExpression. |
|
209 |
leftMostExpression := leftMostExpression receiver. |
|
210 |
]. |
|
211 |
||
212 |
t := leftMostExpression evaluateForCascadeIn:anEnvironment. |
|
213 |
sequence do:[:eachCascadeMessage | |
|
214 |
|eachSelector eachArgArray eachArgValueArray| |
|
215 |
||
216 |
eachSelector := eachCascadeMessage selector. |
|
217 |
eachArgArray := eachCascadeMessage arguments. |
|
218 |
eachArgArray size == 0 ifTrue:[ |
|
219 |
t perform:eachSelector. |
|
220 |
] ifFalse:[ |
|
221 |
eachArgValueArray := eachArgArray collect:[:arg | arg evaluateIn:anEnvironment]. |
|
222 |
t perform:eachSelector withArguments:eachArgValueArray. |
|
223 |
]. |
|
224 |
]. |
|
225 |
||
226 |
"/ old code |
|
227 |
"/ t := receiver evaluateForCascadeIn:anEnvironment. |
|
228 |
||
1384 | 229 |
argArray isNil ifTrue:[ |
230 |
t perform:selector. |
|
231 |
^ t |
|
232 |
]. |
|
233 |
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment]. |
|
234 |
t perform:selector withArguments:argValueArray. |
|
235 |
^ t |
|
4183 | 236 |
|
237 |
"Modified: / 08-08-2017 / 18:18:09 / cg" |
|
1384 | 238 |
! |
239 |
||
240 |
evaluateIn:anEnvironment |
|
140 | 241 |
|t argValueArray| |
242 |
||
1500
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
243 |
selector := selector asSymbol. |
3c4cb012b24b
Lazy conversion of selector strings to symbols.
Stefan Vogel <sv@exept.de>
parents:
1387
diff
changeset
|
244 |
|
140 | 245 |
receiver isSuper ifTrue:[ |
1384 | 246 |
^ super evaluateIn:anEnvironment |
140 | 247 |
]. |
248 |
||
1384 | 249 |
t := receiver evaluateForCascadeIn:anEnvironment. |
140 | 250 |
argArray isNil ifTrue:[ |
1344
e181501d8aa0
oops - cascade-evaluation did not return last value
Claus Gittinger <cg@exept.de>
parents:
1079
diff
changeset
|
251 |
^ t perform:selector. |
e181501d8aa0
oops - cascade-evaluation did not return last value
Claus Gittinger <cg@exept.de>
parents:
1079
diff
changeset
|
252 |
"/ t perform:selector. ^ t |
140 | 253 |
]. |
1384 | 254 |
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment]. |
140 | 255 |
^ t perform:selector withArguments:argValueArray |
256 |
! ! |
|
257 |
||
1079 | 258 |
!CascadeNode methodsFor:'printing & storing'! |
15 | 259 |
|
1588 | 260 |
printOn:aStream indent:i |
261 |
|selectorParts| |
|
15 | 262 |
|
1588 | 263 |
selectorParts := selector asCollectionOfSubstringsSeparatedBy:$:. |
3155
5ab5d8ad71ed
Changed usage of deprecated #copyWithoutLast: to #copyButLast:
Stefan Vogel <sv@exept.de>
parents:
2700
diff
changeset
|
264 |
selectorParts last isEmpty ifTrue:[selectorParts := selectorParts copyButLast:1]. |
2693 | 265 |
|
15 | 266 |
receiver printOn:aStream indent:i. |
267 |
aStream nextPutAll:'; '. |
|
1588 | 268 |
argArray size == 0 ifTrue:[ |
269 |
selector printOn:aStream |
|
15 | 270 |
] ifFalse:[ |
1588 | 271 |
argArray |
272 |
with:selectorParts |
|
273 |
do:[:arg :selPart | |
|
274 |
aStream |
|
275 |
space; |
|
276 |
nextPutAll:selPart; |
|
277 |
nextPutAll:': '. |
|
278 |
arg printOn:aStream indent:i + 4 parenthized:(arg precedence <= self precedence). |
|
279 |
] |
|
15 | 280 |
] |
1588 | 281 |
|
2693 | 282 |
"Modified: / 12-09-2011 / 09:46:45 / cg" |
15 | 283 |
! ! |
284 |
||
2319 | 285 |
!CascadeNode methodsFor:'testing'! |
744
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
286 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
287 |
isCascade |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
288 |
^ true |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
289 |
|
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
290 |
"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
|
291 |
! ! |
e871f9f072f8
changes for cascades to super/here semantics.
Claus Gittinger <cg@exept.de>
parents:
542
diff
changeset
|
292 |
|
2593 | 293 |
!CascadeNode methodsFor:'visiting'! |
294 |
||
295 |
acceptVisitor:aVisitor |
|
296 |
"Double dispatch back to the visitor, passing my type encoded in |
|
297 |
the selector (visitor pattern)" |
|
298 |
||
299 |
"stub code automatically generated - please change if required" |
|
300 |
||
301 |
^ aVisitor visitCascadeNode:self |
|
302 |
! ! |
|
303 |
||
148 | 304 |
!CascadeNode class methodsFor:'documentation'! |
305 |
||
306 |
version |
|
4181 | 307 |
^ '$Header$' |
2319 | 308 |
! |
309 |
||
310 |
version_CVS |
|
4181 | 311 |
^ '$Header$' |
148 | 312 |
! ! |
3155
5ab5d8ad71ed
Changed usage of deprecated #copyWithoutLast: to #copyButLast:
Stefan Vogel <sv@exept.de>
parents:
2700
diff
changeset
|
313 |