implement and test field access

lib/parfait/variable.rb

@@ -2,7 +2,7 @@ module Parfait
   class Variable < Object
 
     def initialize type , name , value = nil
-      raise "not type #{type}" unless Register.machine.space.get_class_by_name(type)
+      raise "not type #{type}(#{type.class})" unless Register.machine.space.get_class_by_name(type)
       self.type , self.name , self.value = type , name , value
       self.value = 0 if self.type == :Integer and value == nil
       raise "must give name for variable" unless name

lib/soml/compiler/field_access.rb

@@ -16,13 +16,24 @@ module Soml
         # reuse the register for next move
         move = Register.get_slot(statement, value , index , value )
         add_code move
-        return value
       when :message
         #message Slot
         raise "message not yet"
       else
-        #arg / frame Slot
-        raise "frame not implemented"
+        if( index = @method.has_arg(receiver)) #argument
+          value = use_reg @method.arguments[index].type
+          code = Register.get_slot(statement , :message , Parfait::Message.get_indexed(index), value)
+        else # or a local so it is in the frame
+          index = @method.has_local( receiver )
+          if(index)
+            value = use_reg @method.locals[index].type
+            frame = use_reg :Frame
+            add_code Register.get_slot(statement , :message , :frame , frame )
+            code = Register.get_slot(statement ,frame , Parfait::Frame.get_indexed(index) , value )
+          else
+            raise "Variable not defined #{name}"
+          end
+        end
       end
 
       value

test/compiler/statements/test_fields.rb

@@ -0,0 +1,46 @@
+require_relative 'helper'
+
+
+module Register
+  class TestFieldStatement < MiniTest::Test
+    include Statements
+
+    def test_field_frame
+      @string_input = <<HERE
+class Fielded
+  field int one
+end
+class Object
+  int main()
+    Fielded f
+    return f.one
+  end
+end
+HERE
+      @expect =  [Label, GetSlot, SetSlot, Label, FunctionReturn]
+      check
+    end
+
+    def test_field_arg
+      @string_input = <<HERE
+class Fielded
+  field int one
+end
+class Object
+  int the_one(Fielded f)
+    return f.one
+  end
+  int main()
+    Fielded f
+    return the_one(f)
+  end
+end
+HERE
+      @expect =  [Label, GetSlot, GetSlot, SetSlot, LoadConstant, SetSlot, LoadConstant ,
+                 SetSlot, GetSlot, GetSlot, SetSlot, LoadConstant, SetSlot, RegisterTransfer ,
+                 FunctionCall, Label, RegisterTransfer, GetSlot, GetSlot, SetSlot, Label ,
+                 FunctionReturn]
+      check
+    end
+  end
+end