| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154 |
- Smalltalk current createPackage: 'Compiler-Interpreter' properties: #{}!
- NodeVisitor subclass: #AIContext
- instanceVariableNames: 'outerContext pc locals receiver selector'
- package: 'Compiler-Interpreter'!
- !AIContext methodsFor: 'accessing'!
- initializeFromMethodContext: aMethodContext
- self pc: aMethodContext pc.
- self receiver: aMethodContext receiver.
- self selector: aMethodContext selector.
- aMethodContext outerContext ifNotNil: [
- self outerContext: (self class fromMethodContext: aMethodContext outerContext) ].
- aMethodContext locals keysAndValuesDo: [ :key :value |
- self locals at: key put: value ]
- !
- locals
- ^ locals ifNil: [ locals := Dictionary new ]
- !
- outerContext
- ^ outerContext
- !
- outerContext: anAIContext
- outerContext := anAIContext
- !
- pc
- ^ pc ifNil: [ pc := 0 ]
- !
- pc: anInteger
- pc := anInteger
- !
- receiver
- ^ receiver
- !
- receiver: anObject
- receiver := anObject
- !
- selector
- ^ selector
- !
- selector: aString
- selector := aString
- ! !
- !AIContext class methodsFor: 'instance creation'!
- fromMethodContext: aMethodContext
- ^ self new
- initializeFromMethodContext: aMethodContext;
- yourself
- ! !
- NodeVisitor subclass: #ASTInterpreter
- instanceVariableNames: 'currentNode context shouldReturn'
- package: 'Compiler-Interpreter'!
- !ASTInterpreter methodsFor: 'accessing'!
- context
- ^ context
- !
- context: anAIContext
- context := anAIContext
- ! !
- !ASTInterpreter methodsFor: 'initialization'!
- initialize
- super initialize.
- shouldReturn := false
- ! !
- !ASTInterpreter methodsFor: 'interpreting'!
- interpret: aNode
- shouldReturn := false.
- ^ self interpretNode: aNode
- !
- interpretNode: aNode
- currentNode := aNode.
- ^ self visit: aNode
- !
- messageFromSendNode: aSendNode
- ^ Message new
- selector: aSendNode selector;
- arguments: (aSendNode arguments collect: [ :each |
- self interpretNode: each ]);
- yourself
- ! !
- !ASTInterpreter methodsFor: 'visiting'!
- visitBlockNode: aNode
- ^ [ self interpretNode: aNode nodes first ]
- !
- visitCascadeNode: aNode
- "TODO: Handle super sends"
- | receiver |
-
- receiver := self interpretNode: aNode receiver.
- aNode nodes allButLast
- do: [ :each |
- (self messageFromSendNode: each)
- sendTo: receiver ].
- ^ (self messageFromSendNode: aNode nodes last)
- sendTo: receiver
- !
- visitClassReferenceNode: aNode
- ^ Smalltalk current at: aNode value
- !
- visitJSStatementNode: aNode
- self halt
- !
- visitReturnNode: aNode
- shouldReturn := true.
- ^ self interpretNode: aNode nodes first
- !
- visitSendNode: aNode
- "TODO: Handle super sends"
-
- ^ (self messageFromSendNode: aNode)
- sendTo: (self interpretNode: aNode receiver)
- !
- visitSequenceNode: aNode
- aNode nodes allButLast do: [ :each | | value |
- value := self interpretNode: each.
- shouldReturn ifTrue: [ ^ value ] ].
- ^ self interpretNode: aNode nodes last
- !
- visitValueNode: aNode
- ^ aNode value
- ! !
|
