A byte array buffer that can be filled with bytes or natural numbers in TASTY format, and that supports reading and patching addresses represented as natural numbers.
- Value Params
The index referenced by the logical zero address Addr(0)
The array containing data
The position one greater than the last byte to be read
The position from which to read
op while cindition
cond holds and collect results in a list.
If before given
end address, the result of
Returns the next byte of data as a natural number without advancing the read position
Read a length number and return the absolute end address implied by it,
given as +
Read an integer number in 2's complement big endian format, base 128. All but the last digits have bit 0x80 set.
Read a natural number fitting in a Long in big endian format, base 128. All but the last digits have bit 0x80 set.
Read a natural number fitting in an Int in big endian format, base 128. All but the last digits have bit 0x80 set.
A new reader over the same array with the same address base, but with specified start and end positions