| 13593 | mutable std::ofstream m_ofs; |
| 13594 | public: |
| 13595 | FileStream( StringRef filename ) { |
| 13596 | m_ofs.open( filename.c_str() ); |
| 13597 | CATCH_ENFORCE( !m_ofs.fail(), "Unable to open file: '" << filename << "'" ); |
| 13598 | } |
| 13599 | ~FileStream() override = default; |
| 13600 | public: // IStream |
| 13601 | std::ostream& stream() const override { |