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
|
#pragma once
// Provides for syntax sugar easing hardcoding.
// 1. concept names
// use declrefs(apple, is, fruit, water, has)
// to quickly define the named ref variables,
// referring always to the same named concept.
// the ref constructor provides for using
// 'true' and 'false' as refs.
// 2. links
// links may be quickly made with
// apple[is = fruit, has = water]
// which links 'apple' by 'is' to 'fruit'
// and by 'has' to 'water' in one line
// 3. hyphenation
// refs may be hyphenated (subtracted) to
// produce a new ref with the conglomerate name
// apple-has-water.name(): "apple-has-water"
// this may be expanded upon.
// 4. anonymous concept creation
// an unnamed instance of a concept may be created with the a() or an() equivalent functions:
// ref anongreenapple = an(apple)[color = green];
// it will be given a name such as apple-3
// 5. quick group checking
// the obverse of the a()/an() functions is provided
// by ref::isa() and ref::isan() which quickly check
// if there is an "is" link to the passed ref.
#include "concept.hpp"
#include "memorystore.hpp"
#include <sstream>
inline std::string operator+(vref<std::string> a, char const * b) { return std::string(a) + b; }
inline std::string operator+(vref<std::string> a, std::string b) { return std::string(a) + b; }
inline std::string operator+(char const * a, vref<std::string> b) { return a + std::string(b); }
inline std::string operator+(std::string a, vref<std::string> b) { return a + std::string(b); }
// TODO TODO
// actually, get rid of this, and set the function as a value on a normal ref.
// then use ref destructor.
// have to delete ref copy constructor. use move constructor instead.
// could also alter ref copy constructor to tell copied ref is okay.
class statementevaluable : public ref
{
public:
statementevaluable(ref r, std::function<void(ref)> evaluation)
: ref(r.ptr),
evaluation(evaluation)
{ }
statementevaluable(statementevaluable const &) = delete;
~statementevaluable() { if (evaluate) { evaluation(*this); } }
private:
std::function<void(ref)> evaluation;
};
template <>
vref<std::string>::vref(std::string const &);
template <typename T>
vref<T>::vref(T const & v)
: ptr(valloc(v).ptr)
#include "memorystore.hpp"
{
ptr->link(ref("name"), vref(std::to_string(v)));
}
template <typename... T>
void __helper_init_ref_names(std::string names, T &... refrefs)
{
std::stringstream ss(names);
ref* refptrs[] = {&refrefs...};
for (std::size_t i = 0; i < sizeof...(refrefs); ++ i) {
std::string name;
ss >> name;
if (name[name.size() - 1] == ',') {
name = name.substr(0, name.size() - 1);
}
refptrs[i]->ptr = ref(name).ptr;
}
}
#define declrefs(...) \
ref __VA_ARGS__; \
__helper_init_ref_names(#__VA_ARGS__, __VA_ARGS__)
template <typename... T>
void lnks(T ... passedrefs)
{
std::initializer_list<ref> refs = { passedrefs... };
declrefs(link, type, is);
for (ref r : refs) {
if (!r->linked(is, link-type)) {
r->link(is, link-type);
}
}
}
#define decllnks(...) \
declrefs(__VA_ARGS__); \
lnks(__VA_ARGS__)
ref operator,(ref a, ref b);
ref operator-(ref a, ref b);
ref a(ref what);
ref an(ref what);
ref a(ref what, ref name);
ref an(ref what, ref name);
|
