Struct Block 

pub struct Block {
    pub id: usize,
    pub start: u32,
    pub end: u32,
    pub ins_len: u32,
    pub succ: Vec<usize>,
    pub pred: Vec<usize>,
    pub handlers: Vec<u32>,
}

Fields

id: usize

start: u32

First machine offset covered by this block (inclusive).

end: u32

End offset (exclusive).

ins_len: u32

Number of machine instructions (or code units) in this block. 0 marks a block with no code of its own — a structural stub the CFG split produced (handler entries, empty ranges).

succ: Vec<usize>

Successor block ids. For a conditional branch: [fallthrough, taken] (the structurer may reorder branches based on condition polarity).

pred: Vec<usize>

handlers: Vec<u32>

Exception-range indices this block is the HANDLER of (index into Cfg::exc_ranges) — the structurer’s try reconstruction reads those, not source blocks.

Implementations

impl Block

pub fn ends_cond(&self) -> bool

True if the block ends with a conditional branch (two successors).

pub fn is_exit(&self) -> bool

True if the block cannot fall through anywhere (a return/throw/ goto-only ending as far as the graph is concerned).

Trait Implementations

impl Clone for Block

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block

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

Formats the value using the given formatter.