public class PositioningDataInputStream
extends java.lang.Object
Constructor and Description |
---|
PositioningDataInputStream(java.io.InputStream is) |
Modifier and Type | Method and Description |
---|---|
void |
read(long pos,
byte[] dest,
int off,
int len) |
void |
readDouble(long pos,
double[] dest,
int off,
int len) |
void |
readFloat(long pos,
float[] dest,
int off,
int len) |
void |
readInt(long pos,
int[] dest,
int off,
int len) |
void |
readLong(long pos,
long[] dest,
int off,
int len) |
void |
readShort(long pos,
short[] dest,
int off,
int len) |
public PositioningDataInputStream(java.io.InputStream is)
public void read(long pos, byte[] dest, int off, int len) throws java.io.IOException
java.io.IOException
public void readShort(long pos, short[] dest, int off, int len) throws java.io.IOException
java.io.IOException
public void readInt(long pos, int[] dest, int off, int len) throws java.io.IOException
java.io.IOException
public void readLong(long pos, long[] dest, int off, int len) throws java.io.IOException
java.io.IOException
public void readFloat(long pos, float[] dest, int off, int len) throws java.io.IOException
java.io.IOException
public void readDouble(long pos, double[] dest, int off, int len) throws java.io.IOException
java.io.IOException