the name does not appear to be GNAT-encoded, then the result
depends on WRAP. If WRAP is true (the default), then the result is
simply wrapped in <...>. If WRAP is false, then the empty string
- will be returned. */
-extern std::string ada_decode (const char *name, bool wrap = true);
+ will be returned. Also, when OPERATORS is false, operator names
+ will not be decoded. */
+extern std::string ada_decode (const char *name, bool wrap = true,
+ bool operators = true);
extern std::vector<struct block_symbol> ada_lookup_symbol_list
(const char *, const struct block *, domain_enum);