| 188 | } |
| 189 | |
| 190 | Result<void, Error> StdInputStream::skip(uint32_t size) { |
| 191 | if (size == 0) { |
| 192 | return Result<void, Error>(); |
| 193 | } |
| 194 | Error error; |
| 195 | buffer_->increase_reader_index(size, error); |
| 196 | if (FORY_PREDICT_FALSE(!error.ok())) { |
| 197 | return Unexpected(std::move(error)); |
| 198 | } |
| 199 | return Result<void, Error>(); |
| 200 | } |
| 201 | |
| 202 | Result<void, Error> StdInputStream::unread(uint32_t size) { |
| 203 | if (FORY_PREDICT_FALSE(size > buffer_->reader_index_)) { |