"
COPYRIGHT (c) 1989 by Claus Gittinger
All Rights Reserved
This software is furnished under a license and may be used
only in accordance with the terms of that license and with the
inclusion of the above copyright notice. This software may not
be provided or otherwise made available to, or used by, any
other person. No title to or ownership of the software is
hereby transferred.
"
"{ Package: 'stx:libcomp' }"
MessageNode subclass:#CascadeNode
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'System-Compiler-Support'
!
!CascadeNode class methodsFor:'documentation'!
copyright
"
COPYRIGHT (c) 1989 by Claus Gittinger
All Rights Reserved
This software is furnished under a license and may be used
only in accordance with the terms of that license and with the
inclusion of the above copyright notice. This software may not
be provided or otherwise made available to, or used by, any
other person. No title to or ownership of the software is
hereby transferred.
"
!
documentation
"
node for parse-trees, representing cascade message sends
This is a helper class for the compiler.
[author:]
Claus Gittinger
"
! !
!CascadeNode methodsFor:'*VMMaker-C translation'!
asTranslatorNodeIn: aTMethod
"make a CCodeGenerator equivalent of me"
^Squeak::TStmtListNode new
setArguments: #()
statements:
(Array streamContents:
[:s| | receiverNode |
receiverNode := self realReceiver "receiver" asTranslatorNodeIn: aTMethod.
receiverNode isLeaf ifFalse:
[| varNode |
varNode := aTMethod newCascadeTempFor: receiverNode.
s nextPut: (Squeak::TAssignmentNode new
setVariable: varNode
expression: receiverNode).
receiverNode := varNode].
self messages do:
[ :msg | s nextPut: ((msg asTranslatorNodeIn: aTMethod) receiver: receiverNode)]]);
comment: ((comments ? #()) firstIfEmpty:nil)
"Modified: / 14-09-2011 / 10:41:14 / cg"
!
realReceiver
"return the real receiver
(sigh; ST/X encodes things differently)"
|r|
r := receiver.
[r isCascade] whileTrue:[
r := r receiver.
].
^ r receiver
"Created: / 12-09-2011 / 10:01:48 / cg"
! !
!CascadeNode methodsFor:'code generation'!
codeForCascadeOn:aStream inBlock:b for:aCompiler
receiver codeForCascadeOn:aStream inBlock:b for:aCompiler.
aStream nextPut:#dup.
self codeSendOn:aStream inBlock:b valueNeeded:false for:aCompiler
!
codeOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler
receiver codeForCascadeOn:aStream inBlock:b for:aCompiler.
self codeSendOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler
! !
!CascadeNode methodsFor:'enumerating'!
messages
"helper for parse tree walking"
"/ sigh; ST/X encodes things differently ...
|r nd msgs msg|
msgs := OrderedCollection new.
r := receiver.
[r isCascade] whileTrue:[
r := r receiver.
].
r := r receiver.
nd := self.
[nd isCascade] whileTrue:[
msg := MessageNode new.
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber.
msgs addFirst:msg.
nd := nd receiver.
].
msg := MessageNode new.
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber.
msgs addFirst:msg.
^ msgs
"Created: / 12-09-2011 / 10:04:31 / cg"
!
nodeDo:anEnumerator
"helper for parse tree walking"
"/ sigh; ST/X encodes things differently ...
|r nd msgs msg|
msgs := OrderedCollection new.
r := receiver.
[r isCascade] whileTrue:[
r := r receiver.
].
r := r receiver.
nd := self.
[nd isCascade] whileTrue:[
msg := MessageNode new.
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber.
msgs addFirst:msg.
nd := nd receiver.
].
msg := MessageNode new.
msg receiver:r selector:nd selector args:nd args lineno:nd lineNumber.
msgs addFirst:msg.
^ anEnumerator doCascade:self receiver:r messages:msgs
"Created: 19.6.1997 / 16:39:17 / cg"
"Modified: 19.6.1997 / 17:32:47 / cg"
! !
!CascadeNode methodsFor:'evaluation'!
evaluateForCascadeIn:anEnvironment
|t argValueArray|
selector := selector asSymbol.
receiver isSuper ifTrue:[
^ super evaluateForCascadeIn:anEnvironment
].
t := receiver evaluateForCascadeIn:anEnvironment.
argArray isNil ifTrue:[
t perform:selector.
^ t
].
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment].
t perform:selector withArguments:argValueArray.
^ t
!
evaluateIn:anEnvironment
|t argValueArray|
selector := selector asSymbol.
receiver isSuper ifTrue:[
^ super evaluateIn:anEnvironment
].
t := receiver evaluateForCascadeIn:anEnvironment.
argArray isNil ifTrue:[
^ t perform:selector.
"/ t perform:selector. ^ t
].
argValueArray := argArray collect:[:arg | arg evaluateIn:anEnvironment].
^ t perform:selector withArguments:argValueArray
! !
!CascadeNode methodsFor:'printing & storing'!
printOn:aStream indent:i
|selectorParts|
selectorParts := selector asCollectionOfSubstringsSeparatedBy:$:.
selectorParts last isEmpty ifTrue:[selectorParts := selectorParts copyButLast:1].
receiver printOn:aStream indent:i.
aStream nextPutAll:'; '.
argArray size == 0 ifTrue:[
selector printOn:aStream
] ifFalse:[
argArray
with:selectorParts
do:[:arg :selPart |
aStream
space;
nextPutAll:selPart;
nextPutAll:': '.
arg printOn:aStream indent:i + 4 parenthized:(arg precedence <= self precedence).
]
]
"Modified: / 12-09-2011 / 09:46:45 / cg"
! !
!CascadeNode methodsFor:'testing'!
isCascade
^ true
"Created: / 16.7.1998 / 20:03:51 / cg"
! !
!CascadeNode methodsFor:'visiting'!
acceptVisitor:aVisitor
"Double dispatch back to the visitor, passing my type encoded in
the selector (visitor pattern)"
"stub code automatically generated - please change if required"
^ aVisitor visitCascadeNode:self
! !
!CascadeNode class methodsFor:'documentation'!
version
^ '$Header: /cvs/stx/stx/libcomp/CascadeNode.st,v 1.32 2013-04-25 13:10:46 stefan Exp $'
!
version_CVS
^ '$Header: /cvs/stx/stx/libcomp/CascadeNode.st,v 1.32 2013-04-25 13:10:46 stefan Exp $'
! !