| 61 | } |
| 62 | |
| 63 | void Flush() { |
| 64 | if (current_ != buffer_) { |
| 65 | size_t result = fwrite(buffer_, 1, static_cast<size_t>(current_ - buffer_), fp_); |
| 66 | if (result < static_cast<size_t>(current_ - buffer_)) { |
| 67 | // failure deliberately ignored at this time |
| 68 | // added to avoid warn_unused_result build errors |
| 69 | } |
| 70 | current_ = buffer_; |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | // Not implemented |
| 75 | char Peek() const { RAPIDJSON_ASSERT(false); return 0; } |