Closes the Reader by closing the underlying Source.
Closes the Reader by closing the underlying Source.
mark() is not supported.
mark() is not supported. This method unconditionally throws
IOException.
the mark limit. Ignored.
Return whether mark() is supported.
Return whether mark() is supported. This version always returns false.
false
Reads a single character.
Reads a single character. This method will block until a character is available, an I/O error occurs, or the end of the stream is reached.
the character read, as an integer in the range 0x00 to 0xffff,
or -1 if at the end of the underlying Source.
Reads characters into a portion of an array.
Reads characters into a portion of an array. This method will block until
some input is available, an I/O error occurs, or the end of the
underlying Source is reached.
the destination character buffer
offset at which to start reading into the buffer
maximum number of characters to read
total number of characters read, or -1 on EOF.
Tells whether the Reader is ready to be read.
Tells whether the Reader is ready to be read. The Reader APi states
that this method "returns true if the next read() is guaranteed not to
block for input, false otherwise. Note that returning false does not
guarantee that the next read will block."
There's no simple mapping of ready() to a Source, so this method
always returns false.
false, unconditionally.
Resets the Reader by resetting the underlying Source.
Resets the Reader by resetting the underlying Source.
Skips characters.
Skips characters. This method will block until some characters are
available, an I/O error occurs, or the end of the underlying Source
is reached.
the number of characters to skip
the number of characters actually skipped
Provides a
java.io.Readerthat is backed by a ScalaSourceobject.