org.armedbear.lisp.util

Class RandomAccessCharacterFile

java.lang.Object

org.armedbear.lisp.util.RandomAccessCharacterFile

public class RandomAccessCharacterFile
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RandomAccessCharacterFile(java.io.RandomAccessFile raf, java.lang.String encoding)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomAccessCharacterFile

public RandomAccessCharacterFile(java.io.RandomAccessFile raf,
                                 java.lang.String encoding)
                          throws java.io.IOException

Throws:

java.io.IOException

Method Detail

setEncoding

public void setEncoding(java.lang.String encoding)

getWriter

public java.io.Writer getWriter()

getReader

public java.io.PushbackReader getReader()

getInputStream

public java.io.PushbackInputStream getInputStream()

getOutputStream

public java.io.OutputStream getOutputStream()

close

public final void close()
                 throws java.io.IOException

Throws:

java.io.IOException

flush

public final void flush()
                 throws java.io.IOException

Throws:

java.io.IOException

position

public final void position(long newPosition)
                    throws java.io.IOException

Throws:

java.io.IOException

position

public final long position()
                    throws java.io.IOException

Throws:

java.io.IOException

length

public final long length()
                  throws java.io.IOException

Throws:

java.io.IOException

read

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

Throws:

java.io.IOException

unreadChar

public final void unreadChar(char c)
                      throws java.io.IOException

Throws:

java.io.IOException

unreadByte

public final void unreadByte(byte b)
                      throws java.io.IOException

Throws:

java.io.IOException