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 | |
| 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')
| -rw-r--r-- | src/runtime/c/gu/map.c | 6 | ||||
| -rw-r--r-- | src/runtime/c/gu/map.h | 8 |
2 files changed, 8 insertions, 6 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) diff --git a/src/runtime/c/gu/map.h b/src/runtime/c/gu/map.h index 6523a8057..327d6ea6a 100644 --- a/src/runtime/c/gu/map.h +++ b/src/runtime/c/gu/map.h @@ -52,12 +52,8 @@ gu_map_find(GuMap* ht, const void* key); const void* gu_map_find_key(GuMap* ht, const void* key); -static inline bool -gu_map_has(GuMap* ht, const void* key) -{ - return gu_map_find_key(ht, key) != NULL; -} - +bool +gu_map_has(GuMap* ht, const void* key); void* gu_map_insert(GuMap* ht, const void* key); |
