Searched refs:max_user_token_number (Results 1 – 6 of 6) sorted by relevance
591 max_user_token_number = 0; in symbols_token_translations_init()597 if (this->user_token_number > max_user_token_number) in symbols_token_translations_init()598 max_user_token_number = this->user_token_number; in symbols_token_translations_init()610 if (max_user_token_number < 256) in symbols_token_translations_init()611 max_user_token_number = 256; in symbols_token_translations_init()617 this->user_token_number = ++max_user_token_number; in symbols_token_translations_init()618 if (this->user_token_number > max_user_token_number) in symbols_token_translations_init()619 max_user_token_number = this->user_token_number; in symbols_token_translations_init()622 token_translations = xnmalloc (max_user_token_number + 1, in symbols_token_translations_init()628 for (i = 0; i < max_user_token_number + 1; i++) in symbols_token_translations_init()
241 extern int max_user_token_number;
147 MUSCLE_INSERT_INT ("user_token_number_max", max_user_token_number); in prepare_symbols()152 1, max_user_token_number + 1); in prepare_symbols()
48 int max_user_token_number = 256; variable
457 for (i = 0; i < max_user_token_number + 1; i++) in print_grammar()
10025 (start_symbol, max_user_token_number, semantic_parser)