module Virtual

  # Booting is a complicated, so it is extracted into this file, even it has only one entry point

  class Machine

    # The general idea is that compiling is creating an object graph. Functionally
    # one tends to think of methods, and that is complicated enough, sure.
    # but for an object system the graph includes classes and all instance variables
    #
    # And so we have a chicken and egg problem. At the end of the function we want to have a
    # working Space object
    # But that has instance variables (List and Dictionary) and off course a class.
    # Or more precisely in salama, a Layout, that points to a class.
    # So we need a Layout, but that has Layout and Class too. hmmm
    #
    # The way out is to build empty shell objects and stuff the neccessary data into them
    #  (not use the normal initialize way)
    def boot_parfait!
      @space = Parfait::Space.new
      # map from the vm - class_name to the Parfait class (which carries parfait name)
      class_mappings = {}        #will later become instance variable

      values = [  :Value  , :Integer , :Kernel ,  :Object]
      value_classes = values.collect { |cl| @space.create_class(cl,nil) }
      layouts = { :Word => [] ,
                  :List => [] ,
                  # Assumtion is that name is the last of message
                  :Message => [:next_message , :receiver , :frame , :return_address , :return_value,
                                :caller , :name ],
                  :MetaClass => [],
                  :BinaryCode => [],
                  :Space => [:classes , :first_message ],
                  :Frame => [:next_frame ],
                  :Layout => [:object_class] ,
                  :Class => [:object_layout ],
                  :Dictionary => [:keys , :values ] ,
                  :Method => [:name , :code ,:arg_names , :locals , :tmps ] ,
                  :Module => [:name , :instance_methods , :super_class , :meta_class ]
                }
      layouts.each do |name , layout|
        class_mappings[name] = @space.create_class(name , nil)
      end
      value_classes[1].set_super_class( value_classes[0] ) # #set superclass (value) for integer
      value_classes[2].set_super_class( value_classes[0] ) # and kernel (TODO is module)
      value_classes[3].set_super_class( value_classes[2] ) # and object (TODO hacked to kernel)
      class_mappings.each do |name , clazz|                # and the rest
        clazz.set_super_class(value_classes[3])            # superclasses are object
      end
      # next create layouts by adding instance variable names to the layouts
      class_mappings.each do |name , clazz|
        variables = layouts[name]
        variables.each do |var_name|
          clazz.object_layout.add_instance_variable var_name
        end
      end
      # superclass and layout corrections
      supers = { :BinaryCode => :Word , :Layout => :List , :Class => :Module }
      supers.each do |classname , superclass_name|
        clazz = class_mappings[classname]
        super_class = class_mappings[superclass_name]
        # set_super_class has no sideeffects, so setting twice ok
        clazz.set_super_class super_class
        # Add superclass layout too
        super_class.object_layout.each do |var|
          clazz.object_layout.add_instance_variable var
        end
      end

      # now store the classes so we can hand them out later during object creation
      # this can not be done earlier, as parfait objects are all the time created and would
      #   lookup half created class info
      # but it must be done before going through the objects (next step)
      @class_mappings = class_mappings
      class_mappings[:Integer ] = value_classes[1]  #need for further booting
      class_mappings[:Kernel ] = value_classes[2]  #need for further booting
      class_mappings[:Object ] = value_classes[3]  #need for further booting

      @space.late_init

#      add_object @space

      class_mappings.values.each {|v| v.init_layout }

      # now update the layout on all objects created so far,
      # go through objects in space
      @objects.each do | o |
        o.init_layout
      end
      boot_functions!
    end

    # classes have booted, now create a minimal set of functions
    # minimal means only that which can not be coded in ruby
    # Methods are grabbed from respective modules by sending the method name. This should return the
    # implementation of the method (ie a method object), not actually try to implement it
    #                                                     (as that's impossible in ruby)
    def boot_functions!
      # very fiddly chicken 'n egg problem. Functions need to be in the right order, and in fact we
      # have to define some dummies, just for the other to compile
      # TODO go through the virtual parfait layer and adjust function names to what they really are
      obj = @class_mappings[:Object ]
      [:main , :_get_instance_variable , :_set_instance_variable].each do |f|
        obj.add_instance_method Register::Builtin::Object.send(f , nil)
      end
      obj = @class_mappings[:Kernel ]
      # create dummy main first, __init__ calls it
      [:exit,:__send , :__init__ ].each do |f|
        obj.add_instance_method Register::Builtin::Kernel.send(f , nil)
      end

      @class_mappings[:Word].add_instance_method Register::Builtin::Word.send(:putstring , nil)

      obj = @class_mappings[:Integer ]
      [:putint,:fibo].each do |f|
        obj.add_instance_method Register::Builtin::Integer.send(f , nil)
      end

    end
  end
end