| 1333 | } |
| 1334 | |
| 1335 | void program::rename_module(const std::string& old_name, const std::string& new_name) |
| 1336 | { |
| 1337 | assert(old_name != new_name); |
| 1338 | assert(contains(impl->modules, old_name)); |
| 1339 | assert(not contains(impl->modules, new_name)); |
| 1340 | auto node = impl->modules.extract(old_name); |
| 1341 | node.key() = new_name; |
| 1342 | node.mapped().set_name(new_name); |
| 1343 | impl->modules.insert(std::move(node)); |
| 1344 | } |
| 1345 | |
| 1346 | void program::remove_unused_modules() |
| 1347 | { |
no test coverage detected