Struct walrus::ir::Block

pub struct Block {
    pub kind: BlockKind,
    pub params: Box<[ValType]>,
    pub results: Box<[ValType]>,
    pub exprs: Vec<ExprId>,
}

A block of multiple expressions, and also a control frame.

Fields

kind: BlockKind

What kind of block is this?

params: Box<[ValType]>

The types of the expected values on the stack when entering this block.

results: Box<[ValType]>

The types of the resulting values added to the stack after this block is evaluated.

exprs: Vec<ExprId>

The expressions that make up the body of this block.

Methods

impl Block

pub fn new(
    kind: BlockKind,
    params: Box<[ValType]>,
    results: Box<[ValType]>
) -> Block

Construct a new block.

Trait Implementations

impl Ast for Block

type Id = BlockId

The identifier type for this AST node.

fn new_id(id: ExprId) -> BlockId

Create a new identifier given an ExprId that references an Expr of this type.

impl<'expr> Visit<'expr> for Block

fn visit<V: Visitor<'expr>>(&self, visitor: &mut V)

Visit this thing with the given visitor.

impl VisitMut for Block

fn visit_mut<V: VisitorMut>(&mut self, visitor: &mut V)

Visit this thing with the given visitor.

impl Clone for Block

fn clone(&self) -> Block

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<Block> for Expr

fn from(x: Block) -> Expr

Performs the conversion.

impl Debug for Block

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

Formats the value using the given formatter.