Variable length byte arrays, with methods for basic pickling and unpickling.
- Value parameters:
- data
The initial buffer
- from
The first index where defined data are found
- to
The first index where new data can be written
- Companion:
- object
Value members
Concrete methods
Pickle = majorVersion_Nat minorVersion_Nat nbEntries_Nat {Entry} Entry = type_Nat length_Nat [actual entries]
Pickle = majorVersion_Nat minorVersion_Nat nbEntries_Nat {Entry} Entry = type_Nat length_Nat [actual entries]
Assumes that the ..Version_Nat are already consumed.
- Returns:
an array mapping entry numbers to locations in the byte array where the entries start.
Write a natural number x at position pos.
If number is more than one byte, shift rest of array to make space.
Write a natural number x at position pos.
If number is more than one byte, shift rest of array to make space.
- Value parameters:
- pos
...
- x
...
Peek at the current byte without moving the read index
Peek at the current byte without moving the read index
Read a long number in signed big endian format, base 256.
Read a long number in signed big endian format, base 256.
Read a natural number in big endian format, base 128. All but the last digits have bit 0x80 set.
Read a natural number in big endian format, base 128. All but the last digits have bit 0x80 set.
Perform operation op the number of
times specified. Concatenate the results into a list.
Perform operation op the number of
times specified. Concatenate the results into a list.
Returns the buffer as a sequence of (Int, Array[Byte]) representing (tag, data) of the individual entries. Saves and restores buffer state.
Returns the buffer as a sequence of (Int, Array[Byte]) representing (tag, data) of the individual entries. Saves and restores buffer state.
Perform operation op until the condition
readIndex == end is satisfied.
Concatenate results into a list.
Perform operation op until the condition
readIndex == end is satisfied.
Concatenate results into a list.
- Value parameters:
- end
...
- op
...
- Returns:
...
Write a long number x in signed big endian format, base 256.
Write a long number x in signed big endian format, base 256.
- Value parameters:
- x
The long number to be written.
Like writeNat, but for longs. This is not the same as writeLong, which writes in base 256. Note that the binary representation of LongNat is identical to Nat if the long value is in the range Int.MIN_VALUE to Int.MAX_VALUE.
Like writeNat, but for longs. This is not the same as writeLong, which writes in base 256. Note that the binary representation of LongNat is identical to Nat if the long value is in the range Int.MIN_VALUE to Int.MAX_VALUE.