rename for_type to self_type

and split a base class off TypedMethod

lib/elf/object_writer.rb

@@ -27,7 +27,7 @@ module Elf
         meth = asm.method
         asm.instructions.each do |label|
           next unless label.is_a?(Risc::Label)
-          add_symbol "#{meth.for_type.name}@#{meth.name}:Label=#{label.name}" , Risc::Position.get(label).at
+          add_symbol "#{meth.self_type.name}@#{meth.name}:Label=#{label.name}" , Risc::Position.get(label).at
         end
         meth.binary.each_block do |code|
           label = "BinaryCode@#{meth.name}"

lib/parfait/callable.rb

@@ -0,0 +1,57 @@
+module Parfait
+
+  # Callable is an interface that Blocks and CallableMethods follow
+  #
+  # This mean they share the following state
+  # - self_type: The type of self, ie an object describing instance valriable names
+  # - arguments_type: A type object describing the arguments (name+types) to be passed
+  # - frame_type:  A type object describing the local variables that the method has
+  # - binary:  The binary (jumpable) code that instructions get assembled into
+  # - blocks: linked list of blocks inside this method/block
+  #
+  class Callable < Object
+
+    attr_reader :self_type , :arguments_type , :frame_type , :binary , :blocks
+
+    def initialize( self_type , arguments_type , frame_type)
+      super()
+      raise "No class #{self}" unless self_type
+      raise "For type, not class #{self_type}" unless self_type.is_a?(Type)
+      @self_type = self_type
+      init(arguments_type, frame_type)
+    end
+
+    def ==(other)
+      @self_type == other.self_type
+    end
+
+    # (re) init with given args and frame types
+    def init(arguments_type, frame_type)
+      raise "Wrong argument type, expect Type not #{arguments_type.class}" unless arguments_type.is_a? Type
+      raise "Wrong frame type, expect Type not #{frame_type.class}" unless frame_type.is_a? Type
+      @arguments_type = arguments_type
+      @frame_type = frame_type
+      @binary = BinaryCode.new(0)
+    end
+
+    # determine if method has a local variable or tmp (anonymous local) by given name
+    def has_local( name )
+      raise "has_local #{name}.#{name.class}" unless name.is_a? Symbol
+      frame_type.variable_index( name )
+    end
+
+    def add_local( name , type )
+      index = has_local( name )
+      return index if index
+      @frame_type = @frame_type.add_instance_variable(name,type)
+    end
+
+    def each_binary( &block )
+      bin = binary
+      while(bin) do
+        block.call( bin )
+        bin = bin.next
+      end
+    end
+  end
+end

lib/parfait/type.rb

@@ -83,7 +83,7 @@ module Parfait
       found = get_method( method_name )
       if found
         #puts "redefining method #{method_name}" #TODO, this surely must get more complicated
-        raise "attempt to redifine method for different type " unless self == found.for_type
+        raise "attempt to redifine method for different type " unless self == found.self_type
         found.init(arguments , frame)
         return found
       else
@@ -94,7 +94,7 @@ module Parfait
     def add_method( method )
       raise "not a method #{method.class} #{method.inspect}" unless method.is_a? TypedMethod
       raise "syserr #{method.name.class}" unless method.name.is_a? Symbol
-      if self.is_a?(Class) and (method.for_type != self)
+      if self.is_a?(Class) and (method.self_type != self)
         raise "Adding to wrong class, should be #{method.for_class}"
       end
       if get_method( method.name )

lib/parfait/typed_method.rb

@@ -1,7 +1,8 @@
+require_relative "callable"
 # A TypedMethod is static object that primarily holds the executable code.
 # It is called typed, because all arguments and variables it uses are "typed",
 # that is to say the names are known and form a type (not that the types of the
-# variables are known). The objects type is known too, which means all instances
+# variables are known). The object's type is known too, which means all instances
 # variable names are known (not their respective type).
 
 # It's relation to the method a ruby programmer knows (called VoolMethod) is many to one,
@@ -13,50 +14,24 @@
 # - binary:  The binary (jumpable) code that the instructions get assembled into
 # - arguments_type: A type object describing the arguments (name+types) to be passed
 # - frame_type:  A type object describing the local variables that the method has
-# - for_type:  The Type the Method is for
+# - self_type:  The Type the Method is for
 
 
 module Parfait
 
-  class TypedMethod < Object
+  class TypedMethod < Callable
 
-    attr_reader :name , :for_type
-    attr_reader :arguments_type , :frame_type , :binary , :next_method
+    attr_reader :name , :next_method
 
-    def initialize( type , name , arguments_type , frame_type)
-      super()
-      raise "No class #{name}" unless type
-      raise "For type, not class #{type}" unless type.is_a?(Type)
-      @for_type = type
+    def initialize( self_type , name , arguments_type , frame_type)
       @name = name
-      init(arguments_type, frame_type)
+      super(self_type , arguments_type , frame_type)
     end
 
     def ==(other)
       return false unless other.is_a?(TypedMethod)
       return false if @name != other.name
-      @for_type == other.for_type
-    end
-
-    # (re) init with given args and frame types
-    def init(arguments_type, frame_type)
-      raise "Wrong argument type, expect Type not #{arguments_type.class}" unless arguments_type.is_a? Type
-      raise "Wrong frame type, expect Type not #{frame_type.class}" unless frame_type.is_a? Type
-      @arguments_type = arguments_type
-      @frame_type = frame_type
-      @binary = BinaryCode.new(0)
-    end
-
-    # determine if method has a local variable or tmp (anonymous local) by given name
-    def has_local( name )
-      raise "has_local #{name}.#{name.class}" unless name.is_a? Symbol
-      frame_type.variable_index( name )
-    end
-
-    def add_local( name , type )
-      index = has_local( name )
-      return index if index
-      @frame_type = @frame_type.add_instance_variable(name,type)
+      super
     end
 
     def rxf_reference_name
@@ -64,16 +39,9 @@ module Parfait
     end
 
     def inspect
-      "#{@for_type.object_class.name}:#{name}(#{arguments_type.inspect})"
+      "#{@self_type.object_class.name}:#{name}(#{arguments_type.inspect})"
     end
 
-    def each_binary( &block )
-      bin = binary
-      while(bin) do
-        block.call( bin )
-        bin = bin.next
-      end
-    end
     def each_method( &block )
       block.call( self )
       next_method.each_method( &block ) if next_method

lib/parfait/vool_method.rb

@@ -28,8 +28,8 @@ module Parfait
       type.create_method( @name , @args_type , @frame_type)
     end
 
-    def compiler_for(for_type)
-      typed_method = create_typed_method(for_type)
+    def compiler_for(self_type)
+      typed_method = create_typed_method(self_type)
       compiler = Risc::MethodCompiler.new( typed_method )
       head = source.to_mom( compiler )
       compiler.add_mom(head)

lib/risc/builder.rb

@@ -135,7 +135,7 @@ module Risc
     def add_known(name)
       case name
       when :receiver
-        ret = compiler.use_reg compiler.method.for_type
+        ret = compiler.use_reg compiler.method.self_type
         add_slot_to_reg(" load self" , :message , :receiver , ret )
         return ret
       when :space
@@ -184,7 +184,7 @@ module Risc
     when :arguments
       type = compiler.method.arguments_type
     when :receiver
-      type = compiler.method.for_type
+      type = compiler.method.self_type
     when Parfait::Object
       type = Parfait.object_space.get_class_by_name( object.class.name.split("::").last.to_sym).instance_type
     when Symbol

lib/risc/builtin/object.rb

@@ -63,7 +63,7 @@ module Risc
             message[:receiver] << space
           end
 
-          exit_label = Risc.label(compiler.method , "#{compiler.method.for_type.object_class.name}.#{compiler.method.name}" )
+          exit_label = Risc.label(compiler.method , "#{compiler.method.self_type.object_class.name}.#{compiler.method.name}" )
           ret_tmp = compiler.use_reg(:Label)
           builder.build do
             add_load_constant("__init__ load return", exit_label , ret_tmp)

lib/risc/method_compiler.rb

@@ -14,7 +14,7 @@ module Risc
     def initialize( method )
       @regs = []
       @method = method
-      name = "#{method.for_type.name}.#{method.name}"
+      name = "#{method.self_type.name}.#{method.name}"
       @risc_instructions = Risc.label(name, name)
       @risc_instructions << Risc.label( name, "unreachable")
       @current = @risc_instructions
@@ -25,12 +25,12 @@ module Risc
     # helper method for builtin mainly
     # the class_name is a symbol, which is resolved to the instance_type of that class
     #
-    # return compiler_for_type with the resolved type
+    # return compiler_self_type with the resolved type
     #
     def self.compiler_for_class( class_name , method_name , args , frame )
       raise "create_method #{class_name}.#{class_name.class}" unless class_name.is_a? Symbol
       clazz = Parfait.object_space.get_class_by_name! class_name
-      compiler_for_type( clazz.instance_type , method_name , args , frame)
+      compiler_self_type( clazz.instance_type , method_name , args , frame)
     end
 
     # create a method for the given type ( Parfait type object)
@@ -38,7 +38,7 @@ module Risc
     # args a hash that will be converted to a type
     # the created method is set as the current and the given type too
     # return the compiler
-    def self.compiler_for_type( type , method_name , args , frame)
+    def self.compiler_self_type( type , method_name , args , frame)
       raise "create_method #{type.inspect} is not a Type" unless type.is_a? Parfait::Type
       raise "Args must be Type #{args}" unless args.is_a?(Parfait::Type)
       raise "create_method #{method_name}.#{method_name.class}" unless method_name.is_a? Symbol

lib/risc/parfait_boot.rb

@@ -154,7 +154,7 @@ module Parfait
         CacheEntry: {cached_type: :Type , cached_method: :TypedMethod  } ,
         TypedMethod: {name: :Word, risc_instructions: :Object,
                       cpu_instructions: :Object, binary: :BinaryCode,
-                      arguments_type: :Type , for_type: :Type, frame_type: :Type ,
+                      arguments_type: :Type , self_type: :Type, frame_type: :Type ,
                       next_method: :TypedMethod} ,
         VoolMethod: { name: :Word , args_type: :Type , frame_type: :Type } ,
       }

lib/vool/basic_values.rb

@@ -70,7 +70,7 @@ module Vool
       @my_type = type
     end
     def slot_definition(compiler)
-      @my_type = compiler.method.for_type
+      @my_type = compiler.method.self_type
       Mom::SlotDefinition.new(:message , [:receiver])
     end
     def ct_type

lib/vool/block_statement.rb

@@ -8,13 +8,21 @@ module Vool
       @clazz = clazz
     end
 
-    def to_mom( compiler )
-#      raise "should not be called (call create_objects)"
-    end
+    # because of normalization (of send), slot_definition is called first,
+    # to assign the block to a variable.
+    #
+    # This means we do the compiler here (rather than to_mom, which is in
+    # fact never called)
     def slot_definition(compiler)
+      @parfait_block = to_parfait(compiler)
+      compiler.add_constant(@parfait_block)
       return Mom::SlotDefinition.new(Mom::IntegerConstant.new(1) , [])
     end
 
+    def to_mom( compiler )
+#      raise "should not be called "
+    end
+
     def each(&block)
       block.call(self)
       @body.each(&block)
@@ -24,9 +32,10 @@ module Vool
       BlockStatement.new( @args , @body.normalize)
     end
 
-    def create_objects(clazz)
-    end
+    private
+    def to_parfait(compiler)
 
+    end
 
   end
 end

lib/vool/class_statement.rb

@@ -24,10 +24,9 @@ module Vool
 
     def to_mom( _ )
       create_class_object
-      method_compilers = []
-      body.statements.each do |node|
+      method_compilers =  body.statements.collect do |node|
         raise "Only methods for now #{node}" unless node.is_a?(MethodStatement)
-        method_compilers << node.to_mom(@clazz)
+        node.to_mom(@clazz)
       end
       Mom::MomCompiler.new(method_compilers)
     end

lib/vool/send_statement.rb

@@ -72,8 +72,7 @@ module Vool
     # - Setting up the next message, with receiver, arguments, and (importantly) return address
     # - a CachedCall , or a SimpleCall, depending on wether the receiver type can be determined
     def to_mom( compiler )
-      @parfait_block = self.block.to_mom(compiler) if self.block
-      @receiver = SelfExpression.new(compiler.method.for_type) if @receiver.is_a?(SelfExpression)
+      @receiver = SelfExpression.new(compiler.method.self_type) if @receiver.is_a?(SelfExpression)
       if(@receiver.ct_type)
         simple_call(compiler)
       else

lib/vool/statements.rb

@@ -39,10 +39,6 @@ module Vool
       flat
     end
 
-    def create_objects
-      @statements.each{ |s| s.create_objects }
-    end
-
     def each(&block)
       block.call(self)
       @statements.each{|a| a.each(&block)}

lib/vool/yield_statement.rb

@@ -48,7 +48,7 @@ module Vool
     # - a SimpleCall,
     def to_mom( compiler )
       @parfait_block = @block.to_mom(compiler) if @block
-      @receiver = SelfExpression.new(compiler.for_type) if @receiver.is_a?(SelfExpression)
+      @receiver = SelfExpression.new(compiler.self_type) if @receiver.is_a?(SelfExpression)
       if(@receiver.ct_type)
         simple_call(compiler)
       else

test/mom/helper.rb

@@ -30,7 +30,7 @@ module Risc
     def produce_instructions
       assert @expect , "No output given"
       linker = RubyX::RubyXCompiler.new(as_test_main).ruby_to_risc(:interpreter)
-      compiler = linker.assemblers.find{|c| c.method.name == :main and c.method.for_type.object_class.name == :Test}
+      compiler = linker.assemblers.find{|c| c.method.name == :main and c.method.self_type.object_class.name == :Test}
       compiler.instructions
     end
     def check_nil

test/parfait/test_typed_method.rb

@@ -16,7 +16,7 @@ module Parfait
     end
 
     def test_class_for
-      assert_equal :Object , @method.for_type.object_class.name
+      assert_equal :Object , @method.self_type.object_class.name
     end
 
     def test_arg1

test/risc/test_method_compiler.rb

@@ -63,8 +63,8 @@ module Risc
       in_test_vool("def meth; @ivar = 5; @ibar = 4;end")
       test = Parfait.object_space.get_class_by_name(:Test)
       method = test.instance_type.get_method(:meth)
-      assert_equal 1, method.for_type.variable_index(:ivar)
-      assert_equal 2, method.for_type.variable_index(:ibar)
+      assert_equal 1, method.self_type.variable_index(:ivar)
+      assert_equal 2, method.self_type.variable_index(:ibar)
     end
     def test_typed_method_has_one_local
       in_test_vool("def meth; local = 5 ; a = 6;end")

test/support/compiling.rb

@@ -33,7 +33,7 @@ module MomCompile
   def compile_first_method( input )
     ret = compile_method( as_test_main( input ))
     assert_equal Mom::MomCompiler , ret.class
-    compiler = ret.method_compilers.find{|c| c.method.name == :main and c.method.for_type.object_class.name == :Test}
+    compiler = ret.method_compilers.find{|c| c.method.name == :main and c.method.self_type.object_class.name == :Test}
     assert_equal Risc::MethodCompiler , compiler.class
     @method.source.to_mom( compiler )
   end