|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.io.InputStream
org.basex.io.in.BufferInput
org.basex.io.in.DataInput
public final class DataInput
This is an input stream for project specific data types.
It bears resemblance to Java's DataInputStream
.
Field Summary |
---|
Fields inherited from class org.basex.io.in.BufferInput |
---|
bpos, bsize, buffer, input, length |
Constructor Summary | |
---|---|
DataInput(IO io)
Constructor. |
Method Summary | |
---|---|
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. |
Methods inherited from class org.basex.io.in.BufferInput |
---|
close, content, io, length, mark, markSupported, read, readByte, readBytes, readString, reset, size |
Methods inherited from class java.io.InputStream |
---|
available, read, read, skip |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DataInput(IO io) throws java.io.IOException
io
- the input to be read
java.io.IOException
- I/O ExceptionMethod Detail |
---|
public 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 size
java.io.IOException
- I/O Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |