checkpoint

1 files changed, 19 insertions, 0 deletions

diff --git a/src/map.c b/src/map.c
index 327af8d..c0a2f97 100644
--- a/src/map.c
+++ b/src/map.c
@@ -33,11 +33,30 @@ void map_initialize(void)
 	all_terms = hashmap_new(sizeof(struct term *), 0, hashmap_free_term);
 }
 
+void map_delete(struct term *term)
+{
+	hashmap_delete(all_terms, term->hash);
+}
+
 void map_destroy(void)
 {
 	hashmap_free(all_terms);
 }
 
+void map_dump(void)
+{
+	fprintf(stderr, "\n---\nMap dump:\n");
+	size_t iter = 0;
+	void *iter_val;
+	while (hashmap_iter(all_terms, &iter, &iter_val)) {
+		struct term *term = *(struct term **)iter_val;
+		fprintf(stderr, "%d ", term->type);
+		term_print(term);
+		fprintf(stderr, " %ld\n", term->refs);
+	}
+	fprintf(stderr, "---\n\n");
+}
+
 struct pqueue *map_to_pqueue(pqueue_cmp_pri_f cmppri, pqueue_get_pri_f getpri,
 			     pqueue_set_pos_f setpos)
 {