| 266 | } |
| 267 | |
| 268 | std::string getDataFileName(const std::string& prefix, int level, int file_num) { |
| 269 | std::stringstream ss; |
| 270 | ss << prefix << "/Level_" << level << "/DATA_"; |
| 271 | ss << std::setfill('0'); |
| 272 | ss << std::setw(5); |
| 273 | ss << file_num; |
| 274 | return ss.str(); |
| 275 | } |
| 276 | |
| 277 | void getDataBuffer(std::vector<char>& buffer, const std::string& file, |
| 278 | size_t buffer_size, int offset) { |
no outgoing calls
no test coverage detected