com.vladium.emma.data
Class DataFactory.RandomAccessFileInputStream

java.lang.Object
  extended by java.io.InputStream
      extended by java.io.FilterInputStream
          extended by java.io.BufferedInputStream
              extended by com.vladium.emma.data.DataFactory.RandomAccessFileInputStream
All Implemented Interfaces:
java.io.Closeable
Enclosing class:
DataFactory

private static final class DataFactory.RandomAccessFileInputStream
extends java.io.BufferedInputStream


Field Summary
private  long m_count
           
 
Fields inherited from class java.io.BufferedInputStream
buf, count, marklimit, markpos, pos
 
Fields inherited from class java.io.FilterInputStream
in
 
Constructor Summary
DataFactory.RandomAccessFileInputStream(java.io.RandomAccessFile raf, int bufSize)
           
 
Method Summary
 void close()
           
(package private)  long getCount()
           
 int read()
           
 int read(byte[] b)
           
 int read(byte[] b, int off, int len)
           
 
Methods inherited from class java.io.BufferedInputStream
available, mark, markSupported, reset, skip
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_count

private long m_count
Constructor Detail

DataFactory.RandomAccessFileInputStream

DataFactory.RandomAccessFileInputStream(java.io.RandomAccessFile raf,
                                        int bufSize)
                                  throws java.io.IOException
Throws:
java.io.IOException
Method Detail

read

public final int read()
               throws java.io.IOException
Overrides:
read in class java.io.BufferedInputStream
Throws:
java.io.IOException

read

public final int read(byte[] b,
                      int off,
                      int len)
               throws java.io.IOException
Overrides:
read in class java.io.BufferedInputStream
Throws:
java.io.IOException

read

public final int read(byte[] b)
               throws java.io.IOException
Overrides:
read in class java.io.FilterInputStream
Throws:
java.io.IOException

close

public void close()
Specified by:
close in interface java.io.Closeable
Overrides:
close in class java.io.BufferedInputStream

getCount

final long getCount()