Struct budvm::ir::Module

pub struct Module<Intrinsic> {
    pub vtable: Vec<Function<Intrinsic>>,
    pub modules: Vec<Module<Intrinsic>>,
    pub init: Option<Function<Intrinsic>>,
}

A collection of functions and modules.

Fields

vtable: Vec<Function<Intrinsic>>

A list of functions defined in the module.

modules: Vec<Module<Intrinsic>>

A list of submodules.

init: Option<Function<Intrinsic>>

The initialization function of this module, if any.

Implementations

impl<Intrinsic> Module<Intrinsic>where Intrinsic: Clone + FromStr + Display,

pub fn new( vtable: Vec<Function<Intrinsic>>, modules: Vec<Module<Intrinsic>>, init: Option<Function<Intrinsic>> ) -> Self

Returns a new module.

pub fn from_asm(assembly: &str) -> Result<Self, AsmError>

Returns a module parsed from Bud Assembly (budasm).

pub fn load_into<'a, Output: FromStack, Env>( &self, context: &'a mut VirtualMachine<Env> ) -> Result<Output, Error<'a, Env, Output>>where Env: Environment<Intrinsic = Intrinsic>,

Runs all code in this unit in the passed context.

Trait Implementations

impl<Intrinsic: Debug> Debug for Module<Intrinsic>

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

Formats the value using the given formatter.

impl<Intrinsic> Default for Module<Intrinsic>

fn default() -> Self

Returns the “default value” for a type.

impl<Intrinsic> Display for Module<Intrinsic>where Intrinsic: Display,

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

Formats the value using the given formatter.

impl<Intrinsic: PartialEq> PartialEq<Module<Intrinsic>> for Module<Intrinsic>

fn eq(&self, other: &Module<Intrinsic>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Intrinsic> StructuralPartialEq for Module<Intrinsic>