Rename fprintf_symbol_filtered

fprintf_symbol_filtered is misnamed, because whether filtering happens
is now up to the stream.  This renames it to fprintf_symbol, which
isn't a great name (the first "f" doesn't mean much and the second one
is truly meaningless here), but "print_symbol" was already taken.
This commit is contained in:
Tom Tromey
2022-01-02 11:55:39 -07:00
parent 9fbf7f083e
commit bed009b9d8
6 changed files with 21 additions and 21 deletions

View File

@@ -1913,14 +1913,14 @@ print_spaces (int n, struct ui_file *stream)
/* C++/ObjC demangler stuff. */
/* fprintf_symbol_filtered attempts to demangle NAME, a symbol in language
/* fprintf_symbol attempts to demangle NAME, a symbol in language
LANG, using demangling args ARG_MODE, and print it filtered to STREAM.
If the name is not mangled, or the language for the name is unknown, or
demangling is off, the name is printed in its "raw" form. */
void
fprintf_symbol_filtered (struct ui_file *stream, const char *name,
enum language lang, int arg_mode)
fprintf_symbol (struct ui_file *stream, const char *name,
enum language lang, int arg_mode)
{
if (name != NULL)
{