| 119 | } |
| 120 | |
| 121 | void |
| 122 | DFSOutputMgr::output_comment_line(ostream &out, const std::string &comment) |
| 123 | { |
| 124 | if (!CGOptions::compact_output()) |
| 125 | OutputMgr::output_comment_line(out, comment); |
| 126 | } |
| 127 | |
| 128 | void |
| 129 | DFSOutputMgr::output_tab(ostream &out, int indent) |
nothing calls this directly
no test coverage detected