| 72 |  | public: | 
| 73 |  | DumpWriter(SimInfo* info); | 
| 74 |  | DumpWriter(SimInfo* info, const std::string& filename); | 
| 75 | + | DumpWriter(SimInfo* info, const std::string& filename,  bool writeDumpFile); | 
| 76 |  | ~DumpWriter(); | 
| 77 |  |  | 
| 78 |  | void writeDumpAndEor(); | 
| 79 |  | void writeDump(); | 
| 80 |  | void writeEor(); | 
| 81 | < |  | 
| 81 | > |  | 
| 82 |  | private: | 
| 83 |  |  | 
| 84 |  | void writeFrame(std::ostream& os); | 
| 85 |  | void writeCommentLine(std::ostream& os, Snapshot* s); | 
| 86 | + | std::ostream* createOStream(const std::string& filename); | 
| 87 | + |  | 
| 88 |  | SimInfo* info_; | 
| 89 |  | std::string filename_; | 
| 90 | < | std::ofstream dumpFile_; | 
| 90 | > | std::ostream* dumpFile_; | 
| 91 |  | std::string eorFilename_; | 
| 92 | + | bool needCompression_; | 
| 93 | + | bool needForceVector_; | 
| 94 | + | bool createDumpFile_; | 
| 95 |  | }; | 
| 96 |  |  | 
| 97 |  | } |