diff options
Diffstat (limited to 'src/map.c')
| -rw-r--r-- | src/map.c | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -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) { |