aboutsummaryrefslogtreecommitdiff
path: root/odb/semantics/template.hxx
blob: 0d031580a3dc23cbc2025937a659accf05347d52 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
// file      : odb/semantics/template.hxx
// author    : Boris Kolpackov <boris@codesynthesis.com>
// copyright : Copyright (c) 2009-2011 Code Synthesis Tools CC
// license   : GNU GPL v3; see accompanying LICENSE file

#ifndef ODB_SEMANTICS_TEMPLATE_HXX
#define ODB_SEMANTICS_TEMPLATE_HXX

#include <vector>
#include <odb/semantics/elements.hxx>

namespace semantics
{
  //
  //
  class instantiates;

  class template_: public virtual nameable
  {
    typedef std::vector<instantiates*> instantiated;

  public:
    typedef
    pointer_iterator<instantiated::const_iterator>
    instantiated_iterator;

    instantiated_iterator
    instantiated_begin () const
    {
      return instantiated_.begin ();
    }

    instantiated_iterator
    instantiated_end () const
    {
      return instantiated_.end ();
    }

  public:
    void
    add_edge_right (instantiates& e)
    {
      instantiated_.push_back (&e);
    }

    using nameable::add_edge_right;

  protected:
    template_ ();

  private:
    instantiated instantiated_;
  };

  //
  //
  class instantiation;

  class instantiates: public edge
  {
  public:
    typedef semantics::template_ template_type;
    typedef semantics::instantiation instantiation_type;

    template_type&
    template_ () const
    {
      return *template__;
    }

    instantiation_type&
    instantiation () const
    {
      return *instantiation_;
    }

  public:
    instantiates ();

    void
    set_left_node (instantiation_type& n)
    {
      instantiation_ = &n;
    }

    void
    set_right_node (template_type& n)
    {
      template__ = &n;
    }

  private:
    template_type* template__;
    instantiation_type* instantiation_;
  };

  //
  //
  class instantiation: public virtual node
  {
  public:
    typedef semantics::template_ template_type;
    typedef semantics::instantiates instantiates_type;

    template_type&
    template_ () const
    {
      return instantiates_->template_ ();
    }

    instantiates_type&
    instantiates () const
    {
      return *instantiates_;
    }

  public:
    void
    add_edge_left (instantiates_type& e)
    {
      instantiates_ = &e;
    }

  protected:
    instantiation ();

  private:
    instantiates_type* instantiates_;
  };

  //
  // Type template and instantiation.
  //

  class type_template: public template_
  {
  protected:
    type_template ();
  };

  class type_instantiation: public virtual type, public instantiation
  {
  protected:
    type_instantiation ();
  };
}

#endif // ODB_SEMANTICS_TEMPLATE_HXX