Abstract abstractification

1 files changed, 53 insertions, 0 deletions

diff --git a/src/map.c b/src/map.c
new file mode 100644
index 0000000..411ba4e
--- /dev/null
+++ b/src/map.c
@@ -0,0 +1,53 @@
+// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
+// SPDX-License-Identifier: MIT
+
+#include <stdlib.h>
+
+#include <lib/hashmap.h>
+#include <map.h>
+#include <parse.h>
+
+static struct hashmap *all_terms;
+
+static void deref_term(struct term *term)
+{
+	if (term->type == ABS) {
+		deref_term(hashmap_get(all_terms, term->u.abs.term));
+	} else if (term->type == APP) {
+		deref_term(hashmap_get(all_terms, term->u.app.lhs));
+		deref_term(hashmap_get(all_terms, term->u.app.rhs));
+	}
+
+	// TODO: remove from hashmap?
+	if (--term->refs == 0)
+		free(term);
+}
+
+static void hashmap_free_term(void *item)
+{
+	struct term *term = *(struct term **)item;
+	free(term);
+}
+
+struct term *map_get(hash_t hash)
+{
+	struct term **handle = hashmap_get(all_terms, hash);
+	if (!handle)
+		return 0;
+	return *handle;
+}
+
+void map_set(struct term *term, hash_t hash)
+{
+	hashmap_set(all_terms, &term, hash);
+}
+
+void map_initialize(void)
+{
+	all_terms = hashmap_new(sizeof(struct term *), 0, hashmap_free_term);
+}
+
+void map_destroy(void)
+{
+	hashmap_free(all_terms);
+}