2014-08-05 14:55:24 +02:00
|
|
|
|
2015-04-06 10:38:11 +02:00
|
|
|
# A message is what is sent when you invoke a method. Args and stuff are packed up in to a Message
|
|
|
|
# and the Message is sent to the receiver.
|
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
|
|
|
|
# caller) , and maybe surprisingly this means that we can create all messages at runtime
|
|
|
|
# and link them up and never have to touch that list again.
|
|
|
|
# All the args and receiver data changes, but the list of messages stays constant.
|
|
|
|
|
2015-05-11 17:55:49 +02:00
|
|
|
module Parfait
|
|
|
|
class Message < Object
|
2016-12-29 17:47:45 +01:00
|
|
|
|
2016-12-31 14:20:02 +01:00
|
|
|
attr_reader :locals , :receiver , :return_value , :name
|
2016-12-29 17:47:45 +01:00
|
|
|
attr_accessor :next_message
|
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
|
|
|
|
@locals = NamedList.new()
|
|
|
|
@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
|