insert_memory


Description:

public void insert_memory (int idx, owned Memory mem)

Insert the memory block mem to this at idx.

This function takes ownership of mem and thus doesn't increase its refcount.

Only get_max_memory can be added to a buffer. If more memory is added, existing memory blocks will automatically be merged to make room for the new memory.

Parameters:

this

a Buffer.

idx

the index to add the memory at, or -1 to append it to the end

mem

a Memory.