diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-10-25 14:42:53 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-10-25 14:42:53 +0000 |
| commit | d18593895294b3d2203f7e6fab253f1b5835ff85 (patch) | |
| tree | 8c82ebafdc0a72ec75edc532c4b69cb101811390 /src/runtime/c/gu/map.c | |
| parent | 619c341ee9971bb6f8c263df2e8e84b4e06923ec (diff) | |
a major refactoring in the robust parser: bottom-up filtering and garbage collection for the chart
Diffstat (limited to 'src/runtime/c/gu/map.c')
| -rw-r--r-- | src/runtime/c/gu/map.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/runtime/c/gu/map.c b/src/runtime/c/gu/map.c index 2ee77bb23..312723f8a 100644 --- a/src/runtime/c/gu/map.c +++ b/src/runtime/c/gu/map.c @@ -251,6 +251,12 @@ gu_map_find_key(GuMap* map, const void* key) return NULL; } +bool +gu_map_has(GuMap* ht, const void* key) +{ + size_t idx; + return gu_map_lookup(ht, key, &idx); +} void* gu_map_insert(GuMap* map, const void* key) |