blob: 045e8796047e82cfd48611e303b41efde7b5a74b (
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
|
#include "ref.hpp"
#include "../level-0/errors.hpp"
#include "../level-0/memorystore.hpp"
#include "../level-0/vref.hpp"
#include "concepts.hpp"
#include "vref.hpp"
#include <unordered_map>
using namespace intellect;
using namespace level1;
using namespace concepts;
// ensure name link and backing structure are created prior to first use
static auto & namestruct()
{
static struct name_t
{
std::unordered_map<level0::vref<std::string>,level0::ref,std::hash<std::string>,std::equal_to<std::string>> conceptsByName;
ref nameref;
name_t()
: nameref(level0::alloc())
{
level0::vref namestr(std::string("name"));
nameref.set(nameref, (level0::ref)namestr);
conceptsByName.emplace(namestr, nameref.l0());
}
} namestruct;
return namestruct;
}
level0::ref getnamed(std::string const & name)
{
auto & ns = namestruct();
auto res = ns.conceptsByName.find(name);
if (res != ns.conceptsByName.end()) {
return res->second;
} else {
level0::ref con = level0::alloc();
level0::vref namestr(name);
ns.conceptsByName.emplace(namestr, con);
con.set(ns.nameref.l0(), namestr);
return con;
}
}
ref::ref(std::string const & name)
: ref0((level0::concept*)getnamed(name))
{ }
vref<std::string> ref::name() const
{
try {
return vget<std::string>(namestruct().nameref);
} catch(level0::no_such_link_type&) {
return ref("UNNAMED").name();
}
}
bool ref::isa(ref group) const
{
for (auto & g : getAll(is)) {
if (g == group) return true;
if (g == self) continue;
if (g.isa(group)) return true;
}
return false;
}
std::string ref::dump(ref skipmarkertype, ref skipmarkertarget)
{
if (linked(skipmarkertype, skipmarkertarget)) {
return {};
}
std::string ret;
for (auto & link : links()) {
if (link.first == namestruct().nameref) { continue; }
if (ret.size() == 0) {
ret = name().val() + ":\n";
}
ret += " " + link.first.name().val() + ": " + link.second.name().val() + "\n";
}
link(skipmarkertype, skipmarkertarget);
for (auto & link : links()) {
if (link.first == skipmarkertype && link.second == skipmarkertarget) {
continue;
}
ret += link.second.dump(skipmarkertype, skipmarkertarget);
}
return ret;
}
|
