final object TastyBuffer

Constructors

Members

[+] final case class Addr

An address pointing to an index in a Tasty buffer's byte array

An address pointing to an index in a Tasty buffer's byte array

[+] final object Addr

An address pointing to an index in a Tasty buffer's byte array

An address pointing to an index in a Tasty buffer's byte array

[+] final val AddrWidth : 4

The maximal number of address bytes. Since addresses are written as base-128 natural numbers, the value of 4 gives a maximal array size of 256M.

The maximal number of address bytes. Since addresses are written as base-128 natural numbers, the value of 4 gives a maximal array size of 256M.

[+] val NoAddr : R
[+] def natSize ( nat: Int ) : Int

The number of digits of the natural number nat, written in base 128 format.

The number of digits of the natural number nat, written in base 128 format.