save_memory


Description:

public void save_memory (MemoryType memory_type, string filename) throws Error

Saves a memory region of this.

Parameters:

this

a Core

memory_type

the type of memory

filename

a file to save the data to