75 lines
3.4 KiB
Ruby
75 lines
3.4 KiB
Ruby
module Phisol
|
|
Compiler.class_eval do
|
|
|
|
def on_call statement
|
|
name , arguments , receiver = *statement
|
|
name = name.to_a.first
|
|
raise "not inside method " unless @method
|
|
if receiver
|
|
me = process( receiver.to_a.first )
|
|
else
|
|
if @method.class.name == :Integer
|
|
me = Virtual::Self.new :int
|
|
else
|
|
me = Virtual::Self.new :ref
|
|
end
|
|
end
|
|
## need two step process, compile and save to frame
|
|
# then move from frame to new message
|
|
# load the new_message from message by index, simple get_slot
|
|
new_message = Register.get_slot(@method, :message , :next_message , Register.resolve_to_register(:new_message))
|
|
@method.source.add_code new_message
|
|
@method.source.add_code Virtual::Set.new( me , Virtual::NewSelf.new(me.type))
|
|
@method.source.add_code Virtual::Set.new( name.to_sym , Virtual::NewMessageName.new(:int))
|
|
compiled_args = []
|
|
arguments.to_a.each_with_index do |arg , i|
|
|
#compile in the running method, ie before passing control
|
|
val = process( arg)
|
|
# move the compiled value to it's slot in the new message
|
|
# + 1 as this is a ruby 0-start , but 0 is the last message ivar.
|
|
# so the next free is +1
|
|
to = Virtual::NewArgSlot.new(i + 1 ,val.type , val)
|
|
# (doing this immediately, not after the loop, so if it's a return it won't get overwritten)
|
|
@method.source.add_code Virtual::Set.new( val , to )
|
|
compiled_args << to
|
|
end
|
|
#method.source.add_code Virtual::MessageSend.new(name , me , compiled_args) #and pass control
|
|
method = nil
|
|
if(me.value)
|
|
me = me.value
|
|
if( me.is_a? Parfait::Class )
|
|
raise "unimplemented #{code} me is #{me}"
|
|
elsif( me.is_a? Symbol )
|
|
# get the function from my class. easy peasy
|
|
method = Virtual.machine.space.get_class_by_name(:Word).get_instance_method(name)
|
|
raise "Method not implemented #{me.class}.#{code.name}" unless method
|
|
@method.source.add_code Virtual::MethodCall.new( method )
|
|
elsif( me.is_a? Fixnum )
|
|
method = Virtual.machine.space.get_class_by_name(:Integer).get_instance_method(name)
|
|
#puts Virtual.machine.space.get_class_by_name(:Integer).method_names.to_a
|
|
raise "Method not implemented Integer.#{name}" unless method
|
|
@method.source.add_code Virtual::MethodCall.new( method )
|
|
else
|
|
raise "unimplemented: \n#{code} \nfor #{ref.inspect}"
|
|
end
|
|
else
|
|
if( me.type == :int)
|
|
name = :plus if name == :+
|
|
method = Virtual.machine.space.get_class_by_name(:Integer).get_instance_method(name)
|
|
puts Virtual.machine.space.get_class_by_name(:Integer).method_names.to_a
|
|
raise "Method not implemented Integer.#{name}" unless method
|
|
@method.source.add_code Virtual::MethodCall.new( method )
|
|
else
|
|
method = @clazz.get_instance_method(name)
|
|
raise "Method not implemented #{@clazz.name}.#{name}" unless method
|
|
@method.source.add_code Virtual::MethodCall.new( method )
|
|
end
|
|
end
|
|
raise "Method not implemented #{me.value}.#{name}" unless method
|
|
# the effect of the method is that the NewMessage Return slot will be filled, return it
|
|
# (this is what is moved _inside_ above loop for such statements that are calls (or constants))
|
|
Virtual::Return.new( method.source.return_type )
|
|
end
|
|
end
|
|
end
|