Package 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 Description RandomAccessCharacterFile(java.io.RandomAccessFile raf, java.lang.String encoding)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
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
-
-