Class CompressedWriter
java.lang.Object
org.aspectj.org.eclipse.jdt.internal.core.builder.CompressedWriter
abstraction of DataOutputStream
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
writeBoolean(boolean v)
void
writeByte(int v)
void
writeChars(char[] name)
Write the given name UTF8 encoded.void
writeCharsUsingLast(char[] name)
Writes the given char array and remember it.void
writeInt(int v)
void
writeIntInRange(int v, int range)
Write a number v which must be 0 <= vvoid
writeIntWithHint(int v, int[] typical)
Writes v using a list of likely values "typical".void
writeLong(long v)
void
Writes the given String.void
writeStringUsingLast(String name)
Writes the given String.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
CompressedWriter
-
-
Method Details
-
writeBoolean
- Throws:
IOException
- See Also:
CompressedReader.readBoolean()
-
writeByte
- Throws:
IOException
- See Also:
CompressedReader.readByte()
-
writeLong
- Throws:
IOException
- See Also:
CompressedReader.readLong()
-
writeInt
- Throws:
IOException
- See Also:
CompressedReader.readInt()
-
writeChars
Write the given name UTF8 encoded.- Parameters:
name
- chars to write- Throws:
IOException
- See Also:
CompressedReader.readChars()
-
writeIntWithHint
Writes v using a list of likely values "typical". If v is element of "typical" then encode v as an index. Otherwise encoded as typical.length and plain encoded v;- Parameters:
v
- the number to writetypical
- a list of most used values- Throws:
IOException
- See Also:
CompressedReader.readIntWithHint(int[])
-
writeIntInRange
Write a number v which must be 0 <= v- Parameters:
v
- the number to write.range
- the maximal possible value of v + 1- Throws:
IOException
- See Also:
CompressedReader.readIntInRange(int)
writeStringUsingDictionary
Writes the given String. If the String was already written before its index in the dictionary is encoded as index+1. Otherwise a 0 index is encoded and then the String is encoded as UTF8 and stored into dictionary.- Parameters:
v
- the String to write- Throws:
IOException
- See Also:
CompressedReader.readStringUsingDictionary()
writeStringUsingLast
Writes the given String. Encoded like a char array using last string.- Parameters:
name
- the String to write.- Throws:
IOException
- See Also:
CompressedReader.readStringUsingLast()
writeCharsUsingLast
Writes the given char array and remember it. Encoded by writing the length of common leading chars with the last given array followed by the remaining chars using a dictionary. Works best if the names are written in binary sorted order.- Parameters:
name
- the char array to write- Throws:
IOException
- See Also:
CompressedReader.readCharsUsingLast()
-
-