org.eclipse.core.internal.registry

Class BufferedRandomInputStream

java.lang.Object

java.io.InputStream

org.eclipse.core.internal.registry.BufferedRandomInputStream

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class BufferedRandomInputStream
extends java.io.InputStream

Provides buffered read from a java.io.RandomAccessFile.

Constructor Summary

Constructors

Constructor and Description
BufferedRandomInputStream(java.io.File file)
BufferedRandomInputStream(java.io.File file, int bufferSize)

Method Summary

Modifier and Type	Method and Description
int	available()
void	close()
long	length() Supplies functionality of the RandomAccessFile.length().
int	read()
int	read(byte[] b, int off, int len)
void	seek(long pos) Supplies functionality of the RandomAccessFile.seek(long) in a buffer-friendly manner.
long	skip(long n)
java.lang.String	toString()

Methods inherited from class java.io.InputStream

mark, markSupported, read, reset

Methods inherited from class java.lang.Object

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

Constructor Detail

BufferedRandomInputStream

public BufferedRandomInputStream(java.io.File file)
                          throws java.io.IOException

Throws:

java.io.IOException

BufferedRandomInputStream

public BufferedRandomInputStream(java.io.File file,
                                 int bufferSize)
                          throws java.io.IOException

Throws:

java.io.IOException

Method Detail

read

public int read()
         throws java.io.IOException

Specified by:

read in class java.io.InputStream

Throws:

java.io.IOException

read

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

Overrides:

read in class java.io.InputStream

Throws:

java.io.IOException

skip

public long skip(long n)
          throws java.io.IOException

Overrides:

skip in class java.io.InputStream

Throws:

java.io.IOException

available

public int available()

Overrides:

available in class java.io.InputStream

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.InputStream

Throws:

java.io.IOException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

seek

public void seek(long pos)
          throws java.io.IOException

Supplies functionality of the RandomAccessFile.seek(long) in a buffer-friendly manner.

Parameters:

pos - offset

Throws:

java.io.IOException

length

public long length()
            throws java.io.IOException

Supplies functionality of the RandomAccessFile.length().

Returns:

file length

Throws:

java.io.IOException