private static final class DataFactory.RandomAccessFileInputStream
extends java.io.BufferedInputStream
Modifier and Type | Field and Description |
---|---|
private long |
m_count |
Constructor and Description |
---|
RandomAccessFileInputStream(java.io.RandomAccessFile raf,
int bufSize) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
(package private) long |
getCount() |
int |
read() |
int |
read(byte[] b) |
int |
read(byte[] b,
int off,
int len) |
RandomAccessFileInputStream(java.io.RandomAccessFile raf, int bufSize) throws java.io.IOException
java.io.IOException
public final int read() throws java.io.IOException
read
in class java.io.BufferedInputStream
java.io.IOException
public final int read(byte[] b, int off, int len) throws java.io.IOException
read
in class java.io.BufferedInputStream
java.io.IOException
public final int read(byte[] b) throws java.io.IOException
read
in class java.io.FilterInputStream
java.io.IOException
public void close()
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.BufferedInputStream
final long getCount()