---

template_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef template_i_h
#define template_i_h

#include <map>
#include "except.h"
#include "typedef.h"
#include "paranoid_visitor.h"
#include "annotator.h"
#include "symbol_name.h"
#include "decl_read.h"

/***************************** Template_spec *****************************/

class Template_spec {
    Type_vector    args;
    Class_symbol*  defn;
    Ptree*         code;

public:  
  Template_spec(Type_vector args, Class_symbol* defn);
  
  ~Template_spec();
  
  void add_code(Ptree* tree);
  
  bool matches(const Type_vector& rhs) const;
  
  Class_symbol* get_class() const;
  
  Ptree* get_code() const;
};

/************************** Template_defn_scope **************************/

class Template_defn_scope : public Abstract_scope {
    std::map<std::string, Typedef_symbol*> things;

public:  
  Template_defn_scope(Abstract_scope* parent, const Template_thing* arg_names, const Type_vector* arg_types, std::string class_name, std::string tpl_name);
  
  ~Template_defn_scope();
  
  Symbol_pair lookup_here(std::string name, bool for_decl);
  
  Variable_symbol* add_variable(Storage_class_specifier s, Type t, Ptree* n, Ptree* i, Ptree* b);
  
  Function_signature* add_function_decl(Storage_class_specifier s, Function_specifier_set f, Type t, const Symbol_name& n);
  
  void add_function_implementation(Function_signature* sig, Block_scope* sco, Ptree* b, Ptree* i);
  
  void add_symbol(std::string name, Symbol* s);
  
  std::string get_unique_name(std::string name);
  
  Type get_this_type() const;
};

/************************** Template_class_adder *************************/

class Template_class_adder : public Class_adder {
    std::string mangled_name;
    std::string real_name;

public:  
  Template_class_adder(std::string mangled_name, std::string real_name);
  
  Class_symbol* add_class(Abstract_scope* scope, std::string name, Symbol::Kind k);
};

/**************************** Template_visitor ***************************/

typedef int Tpl_RT;

class Template_visitor : public Paranoid_visitor<Tpl_RT> {
    Abstract_scope* current_scope;
    Template_thing  args;

public:  
  Template_visitor(Source* s, Abstract_scope* scope, const Template_thing& args);
  
  Tpl_RT visit_type_declaration(Ptree* storagespec, Ptree* typespec);
  
  Tpl_RT visit_name_declaration(Ptree* storagespec, Ptree* typespec, Ptree* decllist);
  
  Tpl_RT visit_function(Ptree* storagespec, Ptree* typespec, PtreeDeclarator* decl, PtreeBlock* block);

private:  
  void declare_name(Ptree* p, Ptree* tree);
  
  void declare_class(Ptree* class_tree);
};

//
// IMPLEMENTATION of inline functions follows
//



inline Class_symbol*
Template_spec::get_class() const
{
    return defn;
}


inline Ptree*
Template_spec::get_code() const
{
    return code;
}

#endif // template_i_h

---