| 1271 | } |
| 1272 | |
| 1273 | static std::string enclose_name(const std::string& name) |
| 1274 | { |
| 1275 | return '"' + replace_string(name, "\"", "\\\"") + '"'; |
| 1276 | } |
| 1277 | |
| 1278 | void module::print_graph(std::ostream& os, bool brief) const |
| 1279 | { |
no test coverage detected