| 54 | */ |
| 55 | template<class GraphType> |
| 56 | static void WriteGraphToFile(SVF::OutStream &O, |
| 57 | const std::string &GraphName, const GraphType >, bool simple = false) |
| 58 | { |
| 59 | // Filename of the output dot file |
| 60 | std::string Filename = GraphName + ".dot"; |
| 61 | std::ofstream outFile(Filename); |
| 62 | if (outFile.fail()) |
| 63 | { |
| 64 | O << " error opening file for writing!\n"; |
| 65 | outFile.close(); |
| 66 | return; |
| 67 | } |
| 68 | |
| 69 | O << "Writing '" << Filename << "'...\n"; |
| 70 | |
| 71 | WriteGraph(outFile, GT, simple); |
| 72 | outFile.close(); |
| 73 | } |
| 74 | |
| 75 | /*! |
| 76 | * Print the graph to command line |
nothing calls this directly
no test coverage detected