public final class DataInput extends BufferInput
DataInputStream.| Modifier and Type | Method and Description |
|---|---|
boolean |
readBool()
Reads a boolean value.
|
IntList |
readDiffs()
Reads a distance-mapped integer array.
|
double |
readDouble()
Reads a double value.
|
long[] |
readLongs(int s)
Reads an array of long values.
|
int |
readNum()
Reads a compressed integer value; see
Num for more. |
int[] |
readNums()
Reads a compressed integer array.
|
byte[] |
readToken()
Reads a token, represented by its compressed length and its byte array.
|
byte[][] |
readTokens()
Reads a token array.
|
close, content, length, length, mark, markSupported, next, read, readBytes, readString, reset, sizepublic DataInput(IO io) throws java.io.IOException
io - the input to be readjava.io.IOException - I/O Exceptionpublic boolean readBool()
throws java.io.IOException
java.io.IOException - I/O Exceptionpublic byte[] readToken()
throws java.io.IOException
java.io.IOException - I/O Exceptionpublic double readDouble()
throws java.io.IOException
java.io.IOException - I/O Exceptionpublic IntList readDiffs() throws java.io.IOException
java.io.IOException - I/O Exceptionpublic int[] readNums()
throws java.io.IOException
java.io.IOException - I/O Exceptionpublic byte[][] readTokens()
throws java.io.IOException
java.io.IOException - I/O Exceptionpublic int readNum()
throws java.io.IOException
Num for more.java.io.IOException - I/O Exceptionpublic long[] readLongs(int s)
throws java.io.IOException
s - array sizejava.io.IOException - I/O Exception