module Parfait

  # This represents the method at source code level (sis vool)
  #
  # Type objects are already created for args and locals, but the main attribute
  # is the source, which is a Vool::Statement
  #
  # Classes store VoolMethods, while Types store TypedMethod
  # A Type referes to a Class , but a Class (interface) is implemented by many types
  # as it changes during the course of it's life. Types do not change. Objects have
  # type, and so only indirectly a class.
  #
  class VoolMethod

    attr_reader :name , :args_type , :frame_type , :source

    def initialize(name , args_type , frame_type , source )
      @name , @args_type , @frame_type , @source = name , args_type, frame_type , source
      raise "Name must be symbol" unless name.is_a?(Symbol)
      raise "args_type must be type" unless args_type.is_a?(Parfait::Type)
      raise "frame_type must be type" unless frame_type.is_a?(Parfait::Type)
      raise "source must be vool" unless source.is_a?(Vool::Statement)
    end

    def create_typed_method( type )
      raise "create_method #{type.inspect} is not a Type" unless type.is_a? Parfait::Type
      type.create_method( @name , @args_type , @frame_type)
    end

    def compile_to_risc(for_type)
      typed_method = create_typed_method(for_type)
      head = source.to_mom( typed_method )
      compiler = Risc::MethodCompiler.new( typed_method )
      compiler.add_mom(head)
      head # return for testing
    end
  end
end