Class DecodingReader

java.lang.Object

java.io.Reader

java.io.FilterReader

java.io.PushbackReader

org.armedbear.lisp.util.DecodingReader

All Implemented Interfaces:

Closeable, AutoCloseable, Readable

public class DecodingReader
extends PushbackReader

Class to support mid-stream change of character encoding to support setExternalFormat operation in Stream.java Note: extends PushbackReader, but only for its interface; all methods are overridden.

Field Summary

Fields inherited from class FilterReader

in

Fields inherited from class Reader

lock

Constructor Summary

Constructors

Constructor	Description
DecodingReader(InputStream stream, int size, Charset cs)

Method Summary

Modifier and Type	Method	Description
final void	close()
final Charset	getCharset()	Get the Charset used to decode bytes from the input stream.
final void	mark(int readAheadLimit)
final boolean	markSupported()
final int	read()
final int	read(char[] cbuf)
final int	read(char[] cbuf, int off, int len)
final int	read(CharBuffer cb)
final boolean	ready()
final void	reset()
final void	setCharset(Charset cs)	Change the Charset used to decode bytes from the input stream into characters.
final long	skip(long n)	Skips 'n' characters, or as many as can be read off the stream before its end.
final void	unread(char[] cbuf)
final void	unread(char[] cbuf, int off, int len)	Unread the character array into the reader.
final void	unread(int c)	Unread a single code point.

Methods inherited from class Reader

nullReader, of, readAllAsString, readAllLines, transferTo

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DecodingReader

public DecodingReader(InputStream stream,
 int size,
 Charset cs)

Method Details

setCharset

public final void setCharset(Charset cs)

Change the Charset used to decode bytes from the input stream into characters.

getCharset

public final Charset getCharset()

Get the Charset used to decode bytes from the input stream.

close

public final void close()
                 throws IOException

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Overrides:

close in class PushbackReader

Throws:

IOException

mark

public final void mark(int readAheadLimit)
                throws IOException

Overrides:

mark in class PushbackReader

Throws:

IOException

markSupported

public final boolean markSupported()

Overrides:

markSupported in class PushbackReader

ready

public final boolean ready()
                    throws IOException

Overrides:

ready in class PushbackReader

Throws:

IOException

reset

public final void reset()
                 throws IOException

Overrides:

reset in class PushbackReader

Throws:

IOException

skip

public final long skip(long n)
                throws IOException

Skips 'n' characters, or as many as can be read off the stream before its end. Returns the number of characters actually skipped

Overrides:

skip in class PushbackReader

Throws:

IOException

unread

public final void unread(int c)
                  throws IOException

Unread a single code point. Decomposes the code point into UTF-16 surrogate pairs and unreads them using the char[] unreader function.

Overrides:

unread in class PushbackReader

Throws:

IOException

unread

public final void unread(char[] cbuf,
 int off,
 int len)
                  throws IOException

Unread the character array into the reader. Decodes the characters in the array into bytes, allowing the encoding to be changed before reading from the stream again, using a different charset.

Overrides:

unread in class PushbackReader

Throws:

IOException

unread

public final void unread(char[] cbuf)
                  throws IOException

Overrides:

unread in class PushbackReader

Throws:

IOException

read

public final int read()
               throws IOException

Overrides:

read in class PushbackReader

Throws:

IOException

read

public final int read(char[] cbuf,
 int off,
 int len)
               throws IOException

Overrides:

read in class PushbackReader

Throws:

IOException

read

public final int read(CharBuffer cb)
               throws IOException

Specified by:

read in interface Readable

Overrides:

read in class Reader

Throws:

IOException

read

public final int read(char[] cbuf)
               throws IOException

Overrides:

read in class Reader

Throws:

IOException