Struct budvm::ir::CodeBlock

pub struct CodeBlock<Intrinsic> {
    pub arguments: Vec<Symbol>,
    pub variables: usize,
    pub code: Vec<Instruction<Intrinsic>>,
}

A block of intermediate instructions.

Fields

arguments: Vec<Symbol>

The number of arguments this code block expects to be on the stack.

variables: usize

The number of variables this code block uses.

code: Vec<Instruction<Intrinsic>>

The list of instructions.

Implementations

impl<Intrinsic> CodeBlock<Intrinsic>

pub fn build() -> CodeBlockBuilder<Intrinsic>

Returns a builder for a new CodeBlock.

pub fn link<S, E>(&self, scope: &S) -> Result<CodeBlock<Intrinsic>, LinkError>where S: Scope<Environment = E>, E: Environment<Intrinsic = Intrinsic>,

Links the code block against scope, resolving all labels and function calls.

Trait Implementations

impl<Intrinsic: Debug> Debug for CodeBlock<Intrinsic>

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

impl<Intrinsic: PartialEq> PartialEq<CodeBlock<Intrinsic>> for CodeBlock<Intrinsic>

fn eq(&self, other: &CodeBlock<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 CodeBlock<Intrinsic>