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
|
|
|
|
|
2016-12-29 17:47:45 +01:00
|
|
|
attr_accessor :next_message
|
2018-03-14 13:09:04 +01:00
|
|
|
attr_reader :receiver , :frame
|
2017-04-14 10:13:47 +02:00
|
|
|
attr_reader :return_address, :return_value
|
|
|
|
attr_reader :caller , :name , :arguments
|
2015-07-21 14:40:25 +02:00
|
|
|
|
2015-06-28 21:02:07 +02:00
|
|
|
def initialize next_m
|
2016-12-29 17:47:45 +01:00
|
|
|
@next_message = next_m
|
2018-03-14 15:59:51 +01:00
|
|
|
@frame = NamedList.new()
|
2016-12-29 17:47:45 +01:00
|
|
|
@arguments = NamedList.new()
|
2015-06-28 21:02:07 +02:00
|
|
|
super()
|
|
|
|
end
|
|
|
|
|
2016-12-29 17:47:45 +01:00
|
|
|
def set_receiver(rec)
|
|
|
|
@receiver = rec
|
|
|
|
end
|
2015-07-01 18:27:18 +02:00
|
|
|
|
2016-12-29 17:47:45 +01:00
|
|
|
def set_caller(caller)
|
|
|
|
@caller = caller
|
2015-07-01 18:27:18 +02:00
|
|
|
end
|
|
|
|
|
2015-05-11 17:55:49 +02:00
|
|
|
def get_type_for(name)
|
2016-02-25 20:50:10 +01:00
|
|
|
index = @type.get_index(name)
|
2015-05-11 17:55:49 +02:00
|
|
|
get_at(index)
|
|
|
|
end
|
2014-08-05 14:55:24 +02:00
|
|
|
end
|
|
|
|
end
|