2010-08-10 00:34:42 +02:00
|
|
|
#ifndef STRING_POOL_H_
|
|
|
|
#define STRING_POOL_H_
|
|
|
|
|
|
|
|
uint32_t pool_intern(const char *key);
|
|
|
|
const char *pool_fetch(uint32_t entry);
|
|
|
|
uint32_t pool_tok_r(char *str, const char *delim, char **saveptr);
|
2010-12-10 11:00:55 +01:00
|
|
|
void pool_print_seq(uint32_t len, const uint32_t *seq, char delim, FILE *stream);
|
2010-12-11 17:59:31 +01:00
|
|
|
void pool_print_seq_q(uint32_t len, const uint32_t *seq, char delim, FILE *stream);
|
2010-08-10 00:34:42 +02:00
|
|
|
uint32_t pool_tok_seq(uint32_t sz, uint32_t *seq, const char *delim, char *str);
|
|
|
|
void pool_reset(void);
|
|
|
|
|
|
|
|
#endif
|