Struct Memory

pub struct Memory<'a> { /* private fields */ }

A memory on a virtual machine.

Implementations

impl<'a> Memory<'a>

pub fn new(heap: &'a mut [Value]) -> Result<Self, Error>

Creates a memory.

pub const fn code(&self) -> Cons

Returns a code.

pub fn set_code(&mut self, value: Cons)

Sets a code.

pub const fn register(&self) -> Cons

Returns a register.

pub fn set_register(&mut self, value: Cons)

Sets a register.

pub const fn stack(&self) -> Cons

Returns a stack.

pub fn set_stack(&mut self, value: Cons)

Sets a stack.

pub fn boolean(&self, value: bool) -> Cons

Returns a boolean value.

pub fn null(&self) -> Cons

Returns a null value.

pub fn set_false(&mut self, cons: Cons)

Sets a false value.

pub fn push(&mut self, value: Value) -> Result<(), Error>

Pushes a value to a stack.

pub fn pop(&mut self) -> Value

Pops a value from a stack.

pub fn pop_many<const M: usize>(&mut self) -> [Value; M]

Pops values from a stack.

pub fn pop_numbers<const M: usize>(&mut self) -> [Number; M]

Pops numbers from a stack.

pub fn top(&mut self) -> Value

Peeks a value at the top of a stack.

pub fn cons(&mut self, car: Value, cdr: Cons) -> Result<Cons, Error>

Allocates a cons.

pub fn allocate(&mut self, car: Value, cdr: Value) -> Result<Cons, Error>

Allocates a cons on heap.

pub fn car(&self, cons: Cons) -> Value

Returns a value of a car field in a cons.

pub fn cdr(&self, cons: Cons) -> Value

Returns a value of a cdr field in a cons.

pub fn car_value(&self, cons: Value) -> Value

Returns a value of a car field in a value assumed as a cons.

pub fn cdr_value(&self, cons: Value) -> Value

Returns a value of a cdr field in a value assumed as a cons.

pub fn set_car(&mut self, cons: Cons, value: Value)

Sets a value to a car field in a cons.

pub fn set_cdr(&mut self, cons: Cons, value: Value)

Sets a value to a cdr field in a cons.

pub fn set_car_value(&mut self, cons: Value, value: Value)

Sets a value to a car field in a value assumed as a cons.

pub fn set_cdr_value(&mut self, cons: Value, value: Value)

Sets a value to a cdr field in a value assumed as a cons.

pub fn tail(&self, list: Cons, index: Number) -> Cons

Returns a tail of a list.

Trait Implementations

impl<'a> Display for Memory<'a>

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.