string_pool.h

   1 #ifndef STRING_POOL_H_
   2 #define STRING_POOL_H_
   3
   4 #include <stdint.h>
   5 #include <stdio.h>
   6
   7 uint32_t pool_intern(char *key);
   8 char *pool_fetch(uint32_t entry);
   9 uint32_t pool_tok_r(char *str, const char *delim, char **saveptr);
  10 void pool_print_seq(uint32_t len, uint32_t *seq, char delim, FILE *stream);
  11 uint32_t pool_tok_seq(uint32_t max, uint32_t *seq, char *delim, char *str);
  12 void pool_init(void);
  13 void pool_reset(void);
  14
  15 #endif