| 205 | } |
| 206 | |
| 207 | uint64_t WriteByte(std::streambuf& buffer, const std::vector<uint8_t> &source) { |
| 208 | const auto ret = buffer.sputn( |
| 209 | reinterpret_cast<const char*>(source.data()), |
| 210 | static_cast<std::streamsize>(source.size()) ); |
| 211 | if (ret != source.size()) { |
| 212 | throw std::ios_base::failure("End of stream reached (EOF)."); |
| 213 | } |
| 214 | return ret; |
| 215 | } |
| 216 | |
| 217 | uint64_t WriteBytes(std::streambuf& buffer, uint64_t nof_bytes) { |
| 218 | const std::vector<uint8_t> empty_array(static_cast<size_t>(nof_bytes), 0); |