| 9433 | mutable std::ofstream m_ofs; |
| 9434 | public: |
| 9435 | FileStream( StringRef filename ) { |
| 9436 | m_ofs.open( filename.c_str() ); |
| 9437 | CATCH_ENFORCE( !m_ofs.fail(), "Unable to open file: '" << filename << "'" ); |
| 9438 | } |
| 9439 | ~FileStream() override = default; |
| 9440 | public: // IStream |
| 9441 | std::ostream& stream() const override { |