Class RandomAccessCharacterFile

java.lang.Object

org.armedbear.lisp.util.RandomAccessCharacterFile

public class RandomAccessCharacterFile
extends Object

Constructor Summary

Constructors

Constructor	Description
RandomAccessCharacterFile(RandomAccessFile raf, String encoding)

Method Summary

Modifier and Type	Method	Description
final void	close()
final void	flush()
PushbackInputStream	getInputStream()
OutputStream	getOutputStream()
PushbackReader	getReader()
Writer	getWriter()
final long	length()
final long	position()
final void	position(long newPosition)
final int	read(byte[] b, int off, int len)
void	setEncoding(String encoding)
final void	unreadByte(byte b)
final void	unreadChar(char c)

Methods inherited from class Object

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

Constructor Details

RandomAccessCharacterFile

public RandomAccessCharacterFile(RandomAccessFile raf,
 String encoding)
                          throws IOException

Throws:

IOException

Method Details

setEncoding

public void setEncoding(String encoding)

getWriter

public Writer getWriter()

getReader

public PushbackReader getReader()

getInputStream

public PushbackInputStream getInputStream()

getOutputStream

public OutputStream getOutputStream()

close

public final void close()
                 throws IOException

Throws:

IOException

flush

public final void flush()
                 throws IOException

Throws:

IOException

position

public final void position(long newPosition)
                    throws IOException

Throws:

IOException

position

public final long position()
                    throws IOException

Throws:

IOException

length

public final long length()
                  throws IOException

Throws:

IOException

read

public final int read(byte[] b,
 int off,
 int len)
               throws IOException

Throws:

IOException

unreadChar

public final void unreadChar(char c)
                      throws IOException

Throws:

IOException

unreadByte

public final void unreadByte(byte b)
                      throws IOException

Throws:

IOException