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
|
// Type infos and methods for Pointer types
#include <ctype.h>
#include <err.h>
#include <gc.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
#include <sys/param.h>
#include "integers.h"
#include "metamethods.h"
#include "tables.h"
#include "text.h"
#include "types.h"
#include "util.h"
public Text_t Pointerヽas_text(const void *x, bool colorize, const TypeInfo_t *type) {
__typeof(type->PointerInfo) ptr_info = type->PointerInfo;
if (!x) {
Text_t typename = generic_as_text(NULL, false, ptr_info.pointed);
if (colorize)
return Textヽconcat(Text("\x1b[34;1m"), Textヽfrom_str(ptr_info.sigil), typename, Text("\x1b[m"));
else
return Textヽconcat(Textヽfrom_str(ptr_info.sigil), typename);
}
const void *ptr = *(const void**)x;
if (!ptr) {
Text_t typename = generic_as_text(NULL, false, ptr_info.pointed);
if (colorize)
return Textヽconcat(Text("\x1b[34;1m!"), typename, Text("\x1b[m"));
else
return Textヽconcat(Text("!"), typename);
}
static const void *root = NULL;
static Table_t pending = {};
bool top_level = (root == NULL);
// Check for recursive references, so if `x.foo = x`, then it prints as
// `@Foo{foo=@~1}` instead of overflowing the stack:
if (top_level) {
root = ptr;
} else if (ptr == root) {
Text_t text = Texts(Textヽfrom_str(ptr_info.sigil), Text("~1"));
return colorize ? Texts(Text("\x1b[34;1m"), text, Text("\x1b[m")) : text;
} else {
TypeInfo_t rec_table = *Tableヽinfo(type, &Int64ヽinfo);
int64_t *id = Tableヽget(pending, x, &rec_table);
if (id) {
Text_t text = Texts(Textヽfrom_str(ptr_info.sigil), Int64ヽas_text(id, false, &Int64ヽinfo));
return colorize ? Texts(Text("\x1b[34;1m"), text, Text("\x1b[m")) : text;
}
int64_t next_id = pending.entries.length + 2;
Tableヽset(&pending, x, &next_id, &rec_table);
}
Text_t pointed = generic_as_text(ptr, colorize, ptr_info.pointed);
if (top_level) {
pending = (Table_t){}; // Restore
root = NULL;
}
Text_t text;
if (colorize)
text = Textヽconcat(Text("\x1b[34;1m"), Textヽfrom_str(ptr_info.sigil), Text("\x1b[m"), pointed);
else
text = Textヽconcat(Textヽfrom_str(ptr_info.sigil), pointed);
return text;
}
PUREFUNC public int32_t Pointerヽcompare(const void *x, const void *y, const TypeInfo_t *info) {
(void)info;
const void *xp = *(const void**)x, *yp = *(const void**)y;
return (xp > yp) - (xp < yp);
}
PUREFUNC public bool Pointerヽequal(const void *x, const void *y, const TypeInfo_t *info) {
(void)info;
const void *xp = *(const void**)x, *yp = *(const void**)y;
return xp == yp;
}
PUREFUNC public bool Pointerヽis_none(const void *x, const TypeInfo_t *info)
{
(void)info;
return *(void**)x == NULL;
}
public void Pointerヽserialize(const void *obj, FILE *out, Table_t *pointers, const TypeInfo_t *type)
{
void *ptr = *(void**)obj;
assert(ptr != NULL);
const TypeInfo_t ptr_to_int_table = {.size=sizeof(Table_t), .align=__alignof__(Table_t),
.tag=TableInfo, .TableInfo.key=type, .TableInfo.value=&Int64ヽinfo};
int64_t *id_ptr = Tableヽget(*pointers, &ptr, &ptr_to_int_table);
int64_t id;
if (id_ptr) {
id = *id_ptr;
} else {
id = pointers->entries.length + 1;
Tableヽset(pointers, &ptr, &id, &ptr_to_int_table);
}
Int64ヽserialize(&id, out, pointers, &Int64ヽinfo);
if (!id_ptr)
_serialize(ptr, out, pointers, type->PointerInfo.pointed);
}
public void Pointerヽdeserialize(FILE *in, void *outval, List_t *pointers, const TypeInfo_t *type)
{
int64_t id = 0;
Int64ヽdeserialize(in, &id, pointers, &Int64ヽinfo);
assert(id != 0);
if (id > pointers->length) {
void *obj = GC_MALLOC((size_t)type->PointerInfo.pointed->size);
Listヽinsert(pointers, &obj, I(0), sizeof(void*));
_deserialize(in, obj, pointers, type->PointerInfo.pointed);
*(void**)outval = obj;
} else {
*(void**)outval = *(void**)(pointers->data + (id-1)*pointers->stride);
}
}
// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0
|
