Searched refs:abbreviate_name (Results 1 – 3 of 3) sorted by relevance
128 void abbreviate_name(const char *ptr, const char *end, string &result);
570 void abbreviate_name(const char *ptr, const char *end, string &result) in abbreviate_name() function645 abbreviate_name(ptr, name_end, result); in abbreviate_names()
339 $$ = new map_expr($1, abbreviate_name);