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
|
|
|
|
2019-09-09 23:18:20 +02:00
|
|
|
attr_reader :next_message, :receiver
|
2019-09-09 19:26:54 +02:00
|
|
|
attr_reader :return_address, :return_value
|
|
|
|
attr_reader :caller , :method
|
2019-09-09 23:18:20 +02:00
|
|
|
attr_reader :arguments_given, :arg1 , :arg2, :arg3, :arg4, :arg5, :arg6
|
|
|
|
attr_reader :locals_used, :local1 , :local2, :local3, :local4, :local5, :local6 ,:local7
|
|
|
|
attr_reader :local8 , :local9 ,:local10, :local11 , :local12, :local13, :local14
|
2018-08-11 18:15:34 +02:00
|
|
|
|
|
|
|
def self.type_length
|
2019-09-09 23:18:20 +02:00
|
|
|
30
|
2018-08-11 18:15:34 +02:00
|
|
|
end
|
|
|
|
def self.memory_size
|
2019-08-22 16:54:17 +02:00
|
|
|
32
|
|
|
|
end
|
|
|
|
def self.args_start_at
|
2019-09-18 21:36:56 +02:00
|
|
|
Object.object_space.get_type_by_class_name(:Message).variable_index(:arguments_given)
|
2018-08-11 18:15:34 +02:00
|
|
|
end
|
2019-08-23 09:23:01 +02:00
|
|
|
def self.locals_start_at
|
2019-09-18 21:36:56 +02:00
|
|
|
Object.object_space.get_type_by_class_name(:Message).variable_index(:locals_used)
|
2019-08-23 09:23:01 +02:00
|
|
|
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()
|
2019-09-09 19:26:54 +02:00
|
|
|
@locals_used = Parfait::Integer.new(0)
|
|
|
|
@arguments_given = Parfait::Integer.new(0)
|
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)
|
2019-09-09 19:26:54 +02:00
|
|
|
@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)
|
2019-09-09 19:26:54 +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)
|
2019-09-09 19:26:54 +02:00
|
|
|
index = @type.get_index(name)
|
2015-05-11 17:55:49 +02:00
|
|
|
get_at(index)
|
|
|
|
end
|
2019-09-09 19:26:54 +02:00
|
|
|
|
|
|
|
def method_name
|
|
|
|
return "" unless @method
|
|
|
|
return "" unless @method == NilClass
|
|
|
|
@method.name
|
|
|
|
end
|
2018-07-04 07:28:29 +02:00
|
|
|
def to_s
|
2020-03-14 11:23:34 +01:00
|
|
|
id = @method ? @method.name : object_id.to_s(16)
|
|
|
|
"Message:#{id}(#{@arguments_given.value})"
|
2019-09-09 19:26:54 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
def _set_next_message(nekst)
|
|
|
|
@next_message = nekst
|
|
|
|
end
|
|
|
|
def _set_caller(prev)
|
|
|
|
@caller = prev
|
2018-07-04 07:28:29 +02:00
|
|
|
end
|
2014-08-05 14:55:24 +02:00
|
|
|
end
|
|
|
|
end
|