private static final class DataFactory.RandomAccessFileInputStream
extends java.io.BufferedInputStream
| Modifier and Type | Field and Description |
|---|---|
private long |
m_count |
| Constructor and Description |
|---|
DataFactory.RandomAccessFileInputStream(java.io.RandomAccessFile raf,
int bufSize) |
DataFactory.RandomAccessFileInputStream(java.io.RandomAccessFile raf,
int bufSize)
throws java.io.IOException
java.io.IOExceptionpublic final int read()
throws java.io.IOException
read in class java.io.BufferedInputStreamjava.io.IOExceptionpublic final int read(byte[] b,
int off,
int len)
throws java.io.IOException
read in class java.io.BufferedInputStreamjava.io.IOExceptionpublic final int read(byte[] b)
throws java.io.IOException
read in class java.io.FilterInputStreamjava.io.IOExceptionpublic void close()
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.BufferedInputStreamfinal long getCount()