* @brief Adds a name for the given variable using debug information. * * The new name overwrites any name that has already been set for @a var. */
| 853 | * The new name overwrites any name that has already been set for @a var. |
| 854 | */ |
| 855 | void Module::addDebugNameForVar(ShPtr<Variable> var, const std::string &name) { |
| 856 | debugVarNameMap[var] = name; |
| 857 | } |
| 858 | |
| 859 | /** |
| 860 | * @brief Returns the number of functions detected in the front-end. |