blob: 55bcb86afb450886b035ad744a83111eb8372df2 (
plain) (
blame)
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
|
// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
// SPDX-License-Identifier: MIT
#include <stdlib.h>
#include <parse.h>
#include <lib/hashmap.h>
#include <map.h>
#include <log.h>
static struct term *new_term(term_type_t type)
{
struct term *term = malloc(sizeof(*term));
if (!term)
fatal("out of memory!\n");
term->type = type;
return term;
}
// TODO: bit parse_bblc
hash_t parse_blc(char **term)
{
hash_t res = 0;
struct term *res_term = 0;
term_type_t res_type = 0;
if (!**term) {
fatal("invalid parsing state!\n");
} else if (**term == '0' && *(*term + 1) == '0') {
(*term) += 2;
res_type = ABS;
hash_t inner_hash = parse_blc(term);
res = hash((uint8_t *)&res_type, sizeof(res_type), inner_hash);
if ((res_term = map_get(res))) {
res_term->refs++;
} else {
res_term = new_term(ABS);
res_term->refs = 1;
res_term->hash = res;
res_term->u.abs.term = inner_hash;
map_set(res_term, res);
}
} else if (**term == '0' && *(*term + 1) == '1') {
(*term) += 2;
res_type = APP;
hash_t lhs_hash = parse_blc(term);
hash_t rhs_hash = parse_blc(term);
res = hash((uint8_t *)&res_type, sizeof(res_type), lhs_hash);
res = hash((uint8_t *)&res, sizeof(res), rhs_hash);
if ((res_term = map_get(res))) {
res_term->refs++;
} else {
res_term = new_term(res_type);
res_term->refs = 1;
res_term->hash = res;
res_term->u.app.lhs = lhs_hash;
res_term->u.app.rhs = rhs_hash;
map_set(res_term, res);
}
} else if (**term == '1') {
res_type = VAR;
const char *cur = *term;
while (**term == '1')
(*term)++;
int index = *term - cur - 1;
res = hash((uint8_t *)&res_type, sizeof(res_type), index);
if ((res_term = map_get(res))) {
res_term->refs++;
} else {
res_term = new_term(res_type);
res_term->refs = 1;
res_term->hash = res;
res_term->u.var.index = index;
map_set(res_term, res);
}
(*term)++;
} else {
(*term)++;
res = parse_blc(term);
}
return res;
}
|
