public class MappedFileInputStream
extends java.io.InputStream
| Constructor and Description | 
|---|
| MappedFileInputStream(ResizeableMappedFile raf,
                     long pos) | 
| MappedFileInputStream(ResizeableMappedFile raf,
                     long pos,
                     long limit) | 
| Modifier and Type | Method and Description | 
|---|---|
| int | available() | 
| void | close() | 
| int | read() | 
| int | read(byte [] b,
    int offset,
    int length) | 
| void | setup(long pos,
     long limit) | 
| long | skip(long amountToSkip) | 
public MappedFileInputStream(ResizeableMappedFile raf, long pos, long limit)
public MappedFileInputStream(ResizeableMappedFile raf, long pos) throws java.io.IOException
java.io.IOExceptionpublic void setup(long pos,
                  long limit)
public int available()
available in class java.io.InputStreampublic void close()
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.InputStreampublic int read()
         throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionpublic int read(byte [] b,
                int offset,
                int length)
         throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionpublic long skip(long amountToSkip)
skip in class java.io.InputStream