module Furnace
  class SSA::Argument < SSA::NamedValue
    attr_reader :type

    def initialize(function, type, name)
      super(function, name)
      self.type = type
    end

    def type=(type)
      @type = type.to_type if type
    end

    def has_side_effects?
      true
    end

    def pretty_print(p=SSA::PrettyPrinter.new)
      p.type type
      p.name name
    end
  end
end