replace_memory_range
Description:
public void replace_memory_range (
uint idx,
int length,
owned Memory mem)
Replaces length memory blocks in this starting at idx with mem.
If length is -1, all memory starting from idx will be removed and replaced with mem.
this should be writable.
Parameters:
| this |
a Buffer.
|
| idx |
an index
|
| length |
a length, should not be 0
|
| mem |
a Memory
|