libcult/cult/rtti/type-info.hxx


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

// file      : cult/rtti/type-info.hxx
// author    : Boris Kolpackov <boris@kolpackov.net>
// copyright : Copyright (c) 2005-2010 Boris Kolpackov
// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file

#ifndef CULT_RTTI_TYPE_INFO_HXX
#define CULT_RTTI_TYPE_INFO_HXX

#include <cult/types/fundamental.hxx>

#include <cult/rtti/type-id.hxx>

#include <cult/containers/vector.hxx>

#include <typeinfo> // std::type_info

namespace Cult
{
  namespace RTTI
  {
    //
    //
    //
    class Access
    {
    public:
      static Access const private_, protected_, public_;

      friend Boolean
      operator== (Access const& a, Access const& b)
      {
        return a.v_ == b.v_;
      }

      friend Boolean
      operator!= (Access const& a, Access const& b)
      {
        return a.v_ != b.v_;
      }

    private:
      enum Value { private__, protected__, public__ } v_;

      Access (Value v)
          : v_ (v)
      {
      }
    };

    //
    //
    class TypeInfo;


    //
    //
    class BaseInfo
    {
    public:
      BaseInfo (Access access, Boolean virtual_, TypeId const& type_id);

    public:
      TypeInfo const&
      type_info () const;

      Access
      access () const;

      Boolean
      virtual_ () const;

    private:
      Access access_;
      Boolean virtual__;
      TypeId type_id_;
      mutable TypeInfo const* type_info_;
    };


    //
    //
    class TypeInfo
    {
      typedef Containers::Vector<BaseInfo> BaseInfoList;

    public:
      typedef
      BaseInfoList::ConstIterator
      BaseIterator;

    public:
      TypeInfo (TypeId const& type_id);

      TypeId
      type_id () const;

      BaseIterator
      begin_base () const;

      BaseIterator
      end_base () const;

      Void
      add_base (Access access, Boolean virtual_, TypeId const& type_id);

    private:
      TypeId type_id_;
      BaseInfoList base_list_;
    };


    //
    //
    class NoInfo {};

    TypeInfo const&
    lookup (TypeId const& type_id);

    inline
    TypeInfo const&
    lookup (std::type_info const& type_info)
    {
      return lookup (TypeId (type_info));
    }

    template<typename X>
    TypeInfo const&
    lookup (X const& x)
    {
      return lookup (typeid (x));
    }

    template<typename X>
    TypeInfo const&
    lookup ()
    {
      return lookup (typeid (X));
    }

    Void
    insert (TypeInfo const&);
  }
}

#include <cult/rtti/type-info.ixx>

#endif  // CULT_RTTI_TYPE_INFO_HXX