------------------------------------------------------------------------------
| 134 | |
| 135 | //------------------------------------------------------------------------------ |
| 136 | void FileStreamReader::rewind() |
| 137 | { |
| 138 | if (this->Open) |
| 139 | { |
| 140 | // we don't want to use gzrewind as it rewinds to not the start of the |
| 141 | // file, but to start of the data in the file, meaning we are past any |
| 142 | // comments or headers. |
| 143 | std::string fn = this->FileName; |
| 144 | this->close(); |
| 145 | this->open(fn.c_str()); |
| 146 | } |
| 147 | } |
| 148 | |
| 149 | //------------------------------------------------------------------------------ |
| 150 | void FileStreamReader::close() |
no test coverage detected