replace_all_memory


Description:

public void replace_all_memory (owned Memory mem)

Replaces all memory in this with mem.

Parameters:

this

a Buffer.

mem

a Memory