2014-08-05 14:55:24 +02:00
|
|
|
|
2017-04-15 19:58:39 +02:00
|
|
|
# A message is what is created when a message is sent. Args and stuff are packed up in to a
|
|
|
|
# Message and the Message is activated (by swapping it into the machine).
|
2014-09-24 17:25:18 +02:00
|
|
|
|
2015-07-01 18:27:18 +02:00
|
|
|
# Part of the housekeeping (see attributes) makes messages a double linked list (next_message and
|
2018-03-14 15:59:51 +01:00
|
|
|
# caller) , and maybe surprisingly this means that we can create all messages at compile-time
|
2015-07-01 18:27:18 +02:00
|
|
|
# and link them up and never have to touch that list again.
|
2018-03-14 15:59:51 +01:00
|
|
|
# All the args and receiver data changes, but the list of messages stays constant
|
|
|
|
# (a pleasant stupor while we ignore closures and longer extended frames ).
|
2015-07-01 18:27:18 +02:00
|
|
|
|
2015-05-11 17:55:49 +02:00
|
|
|
module Parfait
|
|
|
|
class Message < Object
|
2016-12-29 17:47:45 +01:00
|
|
|
|
2018-03-14 13:09:04 +01:00
|
|
|
# :next_message => :Message, :receiver => :Object, :frame => :NamedList ,
|
2017-04-14 10:13:47 +02:00
|
|
|
# :return_address => :Integer, :return_value => :Integer,
|
|
|
|
# :caller => :Message , :name => :Word , :arguments => :NamedList
|
|
|
|
|
2018-08-11 18:15:34 +02:00
|
|
|
attr :type, :next_message
|
|
|
|
attr :receiver , :frame
|
|
|
|
attr :return_address, :return_value
|
|
|
|
attr :caller , :method , :arguments
|
|
|
|
|
|
|
|
def self.type_length
|
|
|
|
9
|
|
|
|
end
|
|
|
|
def self.memory_size
|
|
|
|
16
|
|
|
|
end
|
2015-07-21 14:40:25 +02:00
|
|
|
|
2018-09-01 10:24:16 +02:00
|
|
|
def initialize( )
|
2015-06-28 21:02:07 +02:00
|
|
|
super()
|
2018-08-11 18:15:34 +02:00
|
|
|
self.frame = NamedList.new()
|
|
|
|
self.arguments = NamedList.new()
|
2015-06-28 21:02:07 +02:00
|
|
|
end
|
2018-09-01 10:24:16 +02:00
|
|
|
public :initialize
|
2015-06-28 21:02:07 +02:00
|
|
|
|
2016-12-29 17:47:45 +01:00
|
|
|
def set_receiver(rec)
|
2018-08-11 18:15:34 +02:00
|
|
|
self.receiver = rec
|
2016-12-29 17:47:45 +01:00
|
|
|
end
|
2015-07-01 18:27:18 +02:00
|
|
|
|
2016-12-29 17:47:45 +01:00
|
|
|
def set_caller(caller)
|
2018-08-11 18:15:34 +02:00
|
|
|
caller = caller
|
2015-07-01 18:27:18 +02:00
|
|
|
end
|
|
|
|
|
2015-05-11 17:55:49 +02:00
|
|
|
def get_type_for(name)
|
2018-08-11 18:15:34 +02:00
|
|
|
index = type.get_index(name)
|
2015-05-11 17:55:49 +02:00
|
|
|
get_at(index)
|
|
|
|
end
|
2018-07-04 07:28:29 +02:00
|
|
|
def to_s
|
2018-07-22 21:29:32 +02:00
|
|
|
"Message:#{method&.name}(#{arguments.get_length})"
|
2018-07-04 07:28:29 +02:00
|
|
|
end
|
2014-08-05 14:55:24 +02:00
|
|
|
end
|
|
|
|
end
|