Struct spaik::r8vm::R8VM

pub struct R8VM<'a> { /* fields omitted */ }

Implementations

impl<'a> R8VM<'a>

pub fn new<'b>() -> R8VM<'b>

pub fn minimize(&mut self)

pub fn set<T: IntoLisp>(&mut self, var: SymID, obj: T) -> Result<(), Error>

pub fn set_debug_mode(&mut self, debug_mode: bool)

pub fn push_const<T: Into<NkSum>>(&mut self, v: T) -> usize

pub fn get_func(&self, name: SymID) -> Option<&Func>

pub fn add_func(&mut self, name: SymID, code: Linked, args: ArgSpec)

pub fn load(&mut self, lib: SymID) -> Result<SymID, Error>

pub fn consts_top(&self) -> usize

pub fn get_env_global(&self, name: SymID) -> Option<usize>

pub fn get_sysfn(&self, name: SymID) -> Option<usize>

pub fn read(&mut self, lisp: &str) -> PResult<()>

Reads LISP code into an AST.

pub fn eval_macroexpand<'z>(
    &mut self,
    v: &'z mut Value
) -> Result<&'z mut Value, Error>

pub fn macroexpand<'z>(
    &mut self,
    v: &'z mut Value
) -> Result<&'z mut Value, Error>

pub fn macroexpand_seq<'z>(
    &mut self,
    v: &'z mut Value
) -> Result<&'z mut Value, Error>

pub fn add_code(&mut self, mut code: Vec<Op>, consts: Option<Vec<NkSum>>)

Add code into the VM, taking care to update the const references relative to the ones that already exist in the VM.

Arguments

• code : Bytecode to be added.
• labels : Optional debug labels.
• consts : Constants referenced by the bytecode.

pub unsafe fn add_and_run(
    &mut self,
    code: Vec<Op>,
    consts: Option<Vec<NkSum>>
) -> Result<PV, Error>

Add some code and run it, returning the result.

SAFETY: Safe as long as code is well-formed.

pub fn eval_ast(&mut self, root: PV) -> Result<PV, Error>

pub fn eval(&mut self, expr: &str) -> Result<PV, Error>

pub fn push_ast(&mut self, v: &Value)

pub unsafe fn pull_ast(&self, v: PV, src: &Source) -> Value

pub fn expand(&mut self, ast: &Value) -> Option<Result<Value, Error>>

pub fn set_macro(&mut self, macro_sym: SymID, fn_sym: SymID)

pub fn defun(&mut self, sym: SymID, args: PV, ast: PV) -> Result<(), Error>

pub fn sym_name(&self, sym: SymID) -> &str

pub fn sym_id(&mut self, name: &str) -> SymID

pub fn unset_breakpoint(&mut self, idx: usize) -> Result<(), RuntimeError>

Restore a breakpoint to its original instruction.

Arguments

• idx : The position of the breakpoint in program memory.

pub fn stack_unwind(&mut self, mut ip: usize, err: Error) -> Traceback

Unwind the stack into a Traceback.

Arguments

• ip : The instruction IP from which to unwind.
• err : The error to initialize the Traceback with

pub fn dump_stack(&mut self)

pub fn set_frame(&mut self, nargs: u16)

pub fn call(&mut self, sym: SymID, args: &[PV]) -> Result<SPV<'a>, Error>

Call a function, returning either the return value of the function or an error.

Arguments

• sym : Symbol mapped to the function, see Arena::sym.
• args : Arguments that should be passed.

pub fn raw_call(&mut self, sym: SymID, args: &[PV]) -> Result<PV, Error>

pub fn call_s(&mut self, name: &str, args: &[PV]) -> Result<SPV<'a>, Error>

pub fn print_stack(&self)

pub fn get_code(&self) -> Vec<Op>

pub fn dump_fn_code(&self, mut name: SymID) -> Result<(), Error>

pub fn dump_macro_tbl(&self)

pub fn dump_symbol_tbl(&self)

pub fn dump_env_tbl(&self)

pub fn get_funcs_with_prefix(&self, prefix: &str) -> Vec<SymID>

pub fn code_sz(&self) -> usize

pub fn dump_fn_tbl(&self)

Trait Implementations

impl<'a> Debug for R8VM<'a>

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

Formats the value using the given formatter.

impl<'a> Default for R8VM<'a>

fn default() -> R8VM<'a>

Returns the "default value" for a type.

impl SymDB for R8VM<'_>

fn name(&self, sym: SymID) -> Cow<'_, str>

fn put(&mut self, name: &str) -> SymID