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.IOException
public void setup(long pos, long limit)
public int available()
available
in class java.io.InputStream
public void close()
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.InputStream
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte [] b, int offset, int length) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public long skip(long amountToSkip)
skip
in class java.io.InputStream