| 70 |
|
class DumpWriter{ |
| 71 |
|
|
| 72 |
|
public: |
| 73 |
+ |
DumpWriter(SimInfo* info); |
| 74 |
|
DumpWriter(SimInfo* info, const std::string& filename); |
| 75 |
|
~DumpWriter(); |
| 75 |
– |
|
| 76 |
– |
void writeDump() { |
| 77 |
– |
writeFrame(dumpFile_); |
| 78 |
– |
} |
| 76 |
|
|
| 77 |
+ |
void writeDumpAndEor(); |
| 78 |
+ |
void writeDump(); |
| 79 |
+ |
void writeEor(); |
| 80 |
+ |
|
| 81 |
|
private: |
| 82 |
+ |
|
| 83 |
|
void writeFrame(std::ostream& os); |
| 84 |
|
void writeCommentLine(std::ostream& os, Snapshot* s); |
| 85 |
|
SimInfo* info_; |
| 86 |
|
std::string filename_; |
| 87 |
|
std::ofstream dumpFile_; |
| 88 |
< |
|
| 88 |
> |
std::string eorFilename_; |
| 89 |
|
}; |
| 90 |
|
|
| 91 |
|
} |
