Marks the present position in the stream.
Tells whether this stream supports the mark() operation.
Attempts to read characters into the specified int buffer.
Reads code points into an array.
Reads a single code point.
Tells whether this stream is ready to be read.
Resets the stream.
Skips characters.
(Since version ) see corresponding Javadoc for more information.
Similar to Reader except for reading Unicode Code Points instead of Java Characters.
See java.io.Reader for API descriptions. The behavior of this trait should mimic java.io.Reader.