blob: 2b05f4411fecb33a764373e764c9fe6c1ba0f3a0 (
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
|
#pragma once
#include <map>
#include <stdexcept>
#include <string>
#include <vector>
struct concept;
template <typename T> struct value;
struct ref
{
ref(concept *p) : ptr(p) { }
concept* operator->() { return ptr; }
// for use by containers
bool operator<(ref const & other) const { return ptr < other.ptr; }
// for helpers
ref(std::string const &);
ref(char const * str) : ref(std::string(str)) { }
ref(bool b) : ref(b ? "true" : "false") { }
ref() : ref("nothing") { }
value<std::string> & name() const;
operator const char *() const;
concept operator=(ref other); // helper constructs new concept with this as link
ref operator[](concept links); // helper sets all links from passed concept
bool isa(ref what) const;
bool isan(ref what) const;
concept * ptr;
};
struct concept
{
// a concept is made of concept-typed links to other concepts
std::multimap<ref,ref> links;
using array = std::vector<ref>;
ref id();
bool linked(ref type);
bool linked(ref type, ref target);
ref get(ref type); // returns first
array getAll(ref type);
void link(ref type, ref target);
void unlink(ref type, ref target);
};
template <typename T>
struct value : public concept, public T
{
value(T const & val) : T(val) {}
value(value<T> const & val) = default;
static value<T>& of(ref c)
{
return *static_cast<value<T>*>(c.ptr);
}
};
|
