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
|
/*
Ousía
Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
#include "Rtti.hpp"
namespace ousia {
/* Class RttiStore */
std::unordered_map<std::type_index, const RttiType *> &RttiStore::table()
{
static std::unordered_map<std::type_index, const RttiType *> table;
return table;
}
void RttiStore::store(const std::type_info &native, const RttiType *rtti)
{
table().emplace(std::type_index{native}, rtti);
}
const RttiType &RttiStore::lookup(const std::type_info &native)
{
const auto &tbl = table();
auto it = tbl.find(std::type_index{native});
if (it == tbl.end()) {
return RttiTypes::None;
} else {
return *(it->second);
}
}
/* Class RttiType */
void RttiType::initialize() const
{
// Only run this function exactly once -- directly set the initialized flag
// to prevent unwanted recursion
if (!initialized) {
initialized = true;
// Insert the parent types of the parent types and the composite types
// of the parents
{
std::unordered_set<const RttiType *> origParents = parents;
for (const RttiType *parent : origParents) {
parent->initialize();
parents.insert(parent->parents.begin(), parent->parents.end());
}
for (const RttiType *parent : parents) {
parent->initialize();
compositeTypes.insert(parent->compositeTypes.begin(),
parent->compositeTypes.end());
}
parents.insert(this);
}
// Insert the composite types of the composite types and the parents
// of each composite type
{
std::unordered_set<const RttiType *> origCompositeTypes =
compositeTypes;
for (const RttiType *compositeType : origCompositeTypes) {
compositeType->initialize();
compositeTypes.insert(compositeType->compositeTypes.begin(),
compositeType->compositeTypes.end());
compositeTypes.insert(compositeType->parents.begin(),
compositeType->parents.end());
}
}
}
}
bool RttiType::isa(const RttiType &other) const
{
initialize();
return parents.count(&other) > 0;
}
bool RttiType::composedOf(const RttiType &other) const
{
initialize();
return compositeTypes.count(&other) > 0;
}
/* Constant initialization */
namespace RttiTypes {
const RttiType None{"unknown"};
const RttiType Nullptr{"nullptr"};
const RttiType Bool{"bool"};
const RttiType Int{"int"};
const RttiType Double{"double"};
const RttiType String{"string"};
const RttiType Array{"array"};
const RttiType Map{"map"};
const RttiType Function{"function"};
}
}
|
