class IDL::AST::TemplateModuleReference

def initialize(_name, _enclosure, _params)
  super(_name, _enclosure)
  unless _params[:tpl_type].is_a?(IDL::Type::ScopedName) && _params[:tpl_type].is_node?(IDL::AST::TemplateModule)
    raise RuntimeError, "templated module reference type required for #{typename} #{scoped_lm_name}: got #{_params[:tpl_type].typename}"
  end
  @template = _params[:tpl_type].resolved_type.node
  _params[:tpl_params].each do |p|
    unless (p.is_a?(IDL::Type::ScopedName) || p.is_a?(IDL::Expression::ScopedName)) && p.is_node?(IDL::AST::TemplateParam)
      raise RuntimeError, "invalid template module parameter for template module reference #{typename} #{scoped_lm_name}: #{p.typename}"
    end
  end
  @params = _params[:tpl_params].collect { |p| p.resolved_node }
end

def instantiate(_context, _enclosure)
  inst_params = @params.collect do |tp|
    # concrete objects are either Expression or Node; latter needs to be repacked as IDL::Type::ScopedName
    # as that is what the TemplateModule#instantiate expects
    tp.concrete.is_a?(IDL::Expression) ? tp.concrete : IDL::Type::ScopedName.new(tp.concrete)
  end
  mod_inst = IDL::AST::Module.new(self.name, _enclosure, { :template => @template, :template_params => inst_params })
  @template.instantiate(mod_inst, _context)
  mod_inst
end

def marshal_dump
  super() << @template << @params
end

def marshal_load(vars)
  @params = vars.pop
  @template = vars.pop
  super(vars)
end

def resolve(_name)
  @template.resolve(_name)
end