diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-04-02 14:03:07 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-04-02 14:17:13 +0200 |
commit | 8d6171609768fece9ffc8935b6d1c4abf3fb407d (patch) | |
tree | da3b3c3d39c4decfb2b7caef6d2a9b29193390a9 /buffered-reader/src | |
parent | e2acedd9dab268f288c45ba6b44129fa635f1c2b (diff) |
buffered-reader: New predicate BufferedReader::eof.
Diffstat (limited to 'buffered-reader/src')
-rw-r--r-- | buffered-reader/src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/buffered-reader/src/lib.rs b/buffered-reader/src/lib.rs index 6198aa3f..297d1b79 100644 --- a/buffered-reader/src/lib.rs +++ b/buffered-reader/src/lib.rs @@ -560,6 +560,11 @@ pub trait BufferedReader<C> : io::Read + fmt::Debug + fmt::Display { Ok(buffer) } + /// Checks whether the end of the stream is reached. + fn eof(&mut self) -> bool { + self.data_hard(1).is_err() + } + /// A convenience function for reading a 16-bit unsigned integer /// in big endian format. fn read_be_u16(&mut self) -> Result<u16, std::io::Error> { |