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 |
|
} |