Enum Label 

pub enum Label {
    Named {
        name: String,
        params: Vec<BlockParamDecl>,
        span: SourceSpan,
    },
    Address {
        value: u64,
        span: SourceSpan,
    },
}

A branch target or label declaration — either a named label or a block address.

Variants

Named

A named label such as <entry> or <done @v1 @v2>. Generates a BlockId binding.

Fields

name: String

params: Vec<BlockParamDecl>

Block parameters declared on this label (e.g. @v1, @v2:i64). Non-empty only when this Label appears inside a LabelDecl.

span: SourceSpan

Address

A numeric address such as <0x1001>. Sets the block’s address; no binding generated.

Fields

value: u64

span: SourceSpan

Implementations

impl Label

pub fn span(&self) -> &SourceSpan

pub fn name(&self) -> Option<&str>

Trait Implementations

impl Clone for Label

fn clone(&self) -> Label

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Label

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

Formats the value using the given formatter.