---

template.h

Go to the documentation of this file.

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

#ifndef template_h
#define template_h

#include <vector>
#include <string>
#include <ptree-core.h>
#include "symbol_table.h"
#include "class.h"

//
// INTERFACE definition follows 
//


class Template_spec;
class Template_thing {
    std::vector<std::string> arg_names;
    Ptree*                   tree;

public:  
  /***************************** Template_thing ****************************/
  Template_thing();
  
  void add_args_from_ptree(Ptree* list, Abstract_scope* scope);
  
  void add_type_arg(std::string name);
  
  int get_num_args() const;
  
  std::string get_type_arg(int i) const;
  
  void set_tree(Ptree* tree);
  
  Ptree* get_tree() const;
};

class Template_class_symbol : public Symbol {
    Template_thing* definition;        // a class definition that can be
                                       // handed to parse_class
    std::vector<Template_thing*> members;
    std::vector<Template_spec*> special;

    Abstract_scope* defined_in_scope;

public:  
  /************************* Template_class_symbol *************************/
  Template_class_symbol(Abstract_scope* scope);
  
  ~Template_class_symbol();
  
  Symbol::Kind get_kind() const;
  
  void set_definition(Template_thing* def);
  
  void add_member(Template_thing* def);
  
  Class_symbol* get_specialisation(const Type_vector& types);
  
  Class_symbol* get_specialisation_from_ptree(Ptree* tree, Abstract_scope* sco);
};

void visit_template(Ptree* arglist, Ptree* content, Abstract_scope* scope);

void parse_template_arg_list(Ptree* arglist, Abstract_scope* scope, Type_vector* output);

#endif // template_h

---