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 case class NameRef

An address referring to a serialized name

An address referring to a serialized name

final object NameRef

An address referring to a serialized name

An address referring to a serialized name

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.