Struct Memory 

pub struct Memory(/* private fields */);

Memory is what actually handles reading and writing from the symbol table.

It wraps a HashMap<Symbol, Data> and implements basic memory operations over that, including both typed and untyped reading, writing, and copying.

Implementations

impl Memory

pub fn new() -> Memory

Create a new block of memory

pub fn with_capacity(size: usize) -> Memory

Create a new block of memory with a given capacity

pub fn write(&mut self, symbol: &Symbol, data: Data)

Write the given data to the symbol. If the symbol does not already exist, create it.

Returns nothing and should never be able to fail, since any Symbol can we written to, even if it is undefined.

pub fn read_untyped(&self, symbol: &Symbol) -> Result<&dyn CloneableAny, String>

Read from the given symbol, returning an untyped CloneableAny.

If the symbol does not exist, return an error due to trying to read an undefined symbol.

pub fn read_typed<T: CloneableAny + 'static>( &self, symbol: &Symbol, ) -> Result<&T, String>

Read from the given symbol, expecting a specific type. Guaranteed to return that type or error.

If the symbol does not exist, return an error due to trying to read an undefined symbol. If the symbol does exist, but is not of the expected type, return an error.

pub fn copy(&mut self, source: &Symbol, dest: &Symbol) -> Result<(), String>

Copy the data from source to dest. If dest doesn’t exist yet, create it.

If the source doesn’t exist, return an error.

While this could arguably be implented at the instruction level, having this be a memory level operation may be good for operations besides just copying.

pub fn dump(&self) -> HashMap<Symbol, Data>

Get an iterator over all of the symbols currently in memory. Useful for debugging purposes.

Trait Implementations

impl Clone for Memory

fn clone(&self) -> Memory

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for Memory

fn default() -> Self

Returns the “default value” for a type.