Class CompressedReader
java.lang.Object
org.aspectj.org.eclipse.jdt.internal.core.builder.CompressedReader
abstraction of DataInputStream
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
byte
readByte()
char[]
char[]
Reads an array of chars by using this first common chars of the last result.int
readInt()
int
readIntInRange(int range)
Reads an integer number by only reading its low bytes.int
readIntWithHint(int[] typical)
Reads an integer number by decoding its index into the given "typical" Array.long
readLong()
-
Constructor Details
-
CompressedReader
-
-
Method Details
-
readBoolean
- Throws:
IOException
- See Also:
CompressedWriter.writeBoolean(boolean)
-
readByte
- Throws:
IOException
- See Also:
CompressedWriter.writeByte(int)
-
readLong
- Throws:
IOException
- See Also:
CompressedWriter.writeLong(long)
-
readInt
- Throws:
IOException
- See Also:
CompressedWriter.writeInt(int)
-
readChars
- Throws:
IOException
- See Also:
CompressedWriter.writeChars(char[])
-
readStringUsingLast
- Throws:
IOException
- See Also:
CompressedWriter.writeStringUsingLast(String)
-
readStringUsingDictionary
- Throws:
IOException
- See Also:
CompressedWriter.writeStringUsingDictionary(String)
-
readIntWithHint
Reads an integer number by decoding its index into the given "typical" Array. If the index is out of bounds decode the plain Integer.- Parameters:
typical
- The same range that has been used during writing.- Throws:
IOException
- See Also:
CompressedWriter.writeIntWithHint(int, int[])
-
readIntInRange
Reads an integer number by only reading its low bytes. The number of bytes written depends on the given range.- Parameters:
range
- The same range that has been used during writing.- Throws:
IOException
- See Also:
CompressedWriter.writeIntInRange(int, int)
-
readCharsUsingLast
Reads an array of chars by using this first common chars of the last result. The number of common chars is decoded from a single byte. The remaining chars are read using the dictionary.- Throws:
IOException
- See Also:
CompressedWriter.writeCharsUsingLast(char[])
-