org.armedbear.lisp.util

Class RandomAccessCharacterFile.RandomAccessInputStream

java.lang.Object

java.io.InputStream

java.io.FilterInputStream

java.io.PushbackInputStream

org.armedbear.lisp.util.RandomAccessCharacterFile.RandomAccessInputStream

All Implemented Interfaces:

Closeable, AutoCloseable

Enclosing class:

RandomAccessCharacterFile

private class RandomAccessCharacterFile.RandomAccessInputStream
extends PushbackInputStream

Field Summary

Fields

Modifier and Type	Field and Description
private byte[]	read_buf

Fields inherited from class java.io.PushbackInputStream

buf, pos

Fields inherited from class java.io.FilterInputStream

in

Constructor Summary

Constructors

Constructor and Description
RandomAccessInputStream()

Method Summary

Modifier and Type	Method and Description
int	available()
void	close()
void	mark(int readlimit)
boolean	markSupported()
int	read()
int	read(byte[] b)
int	read(byte[] b, int off, int len)
void	reset()
long	skip(long n)
void	unread(byte[] b)
void	unread(byte[] b, int off, int len)
void	unread(int b)

Methods inherited from class java.lang.Object

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

Field Detail

read_buf

private byte[] read_buf

Constructor Detail

RandomAccessInputStream

public RandomAccessInputStream()

Method Detail

read

public final int read()
               throws IOException

Overrides:

read in class PushbackInputStream

Throws:

IOException

read

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

Overrides:

read in class PushbackInputStream

Throws:

IOException

unread

public final void unread(int b)
                  throws IOException

Overrides:

unread in class PushbackInputStream

Throws:

IOException

unread

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

Overrides:

unread in class PushbackInputStream

Throws:

IOException

unread

public final void unread(byte[] b)
                  throws IOException

Overrides:

unread in class PushbackInputStream

Throws:

IOException

available

public final int available()
                    throws IOException

Overrides:

available in class PushbackInputStream

Throws:

IOException

mark

public final void mark(int readlimit)

Overrides:

mark in class PushbackInputStream

markSupported

public final boolean markSupported()

Overrides:

markSupported in class PushbackInputStream

reset

public final void reset()
                 throws IOException

Overrides:

reset in class PushbackInputStream

Throws:

IOException

skip

public final long skip(long n)
                throws IOException

Overrides:

skip in class PushbackInputStream

Throws:

IOException

read

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

Overrides:

read in class FilterInputStream

Throws:

IOException

close

public final void close()
                 throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class PushbackInputStream

Throws:

IOException