org.mapdb / DataIO / packIntBigger

packIntBigger

static fun packIntBigger(out: DataOutput, value: Int): Unit

Pack int into an output stream. It will occupy 1-5 bytes depending on value (lower values occupy smaller space) This method is same as #packInt(DataOutput, int), but is optimized for values larger than 127. Usually it is recids.

Parameters

out - String to put value into

value - to be serialized, must be non-negative

Exceptions

java.io.IOException - in case of IO error