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.IOExceptionpublic void readShort(long pos,
short[] dest,
int off,
int len)
throws java.io.IOException
java.io.IOExceptionpublic void readInt(long pos,
int[] dest,
int off,
int len)
throws java.io.IOException
java.io.IOExceptionpublic void readLong(long pos,
long[] dest,
int off,
int len)
throws java.io.IOException
java.io.IOExceptionpublic void readFloat(long pos,
float[] dest,
int off,
int len)
throws java.io.IOException
java.io.IOExceptionpublic void readDouble(long pos,
double[] dest,
int off,
int len)
throws java.io.IOException
java.io.IOException