Struct IrNode 

pub struct IrNode {
    pub shape: Shape,
    pub name: Option<Lexeme>,
    pub token_start: usize,
    pub token_end: usize,
    pub range: ByteRange,
    pub children: Vec<Self>,
}

One node of the Syntax IR tree.

A node covers a contiguous token range (token_start..token_end indices into SyntaxIrFile::tokens) and a contiguous byte range of the source. Children are in source order and lie within their parent’s ranges. Nodes destroy their descendants iteratively so dropping a recovered file does not consume stack space proportional to its depth.

Fields

shape: Shape

The node’s shape.

name: Option<Lexeme>

The declared name, when the frontend can recover one (functions, methods, records, macro definitions).

token_start: usize

Index of the node’s first token in the file’s token stream.

token_end: usize

Index one past the node’s last token.

range: ByteRange

Source bytes the node covers.

children: Vec<Self>

Child nodes in source order.

Implementations

impl IrNode

pub const fn token_len(&self) -> usize

Number of tokens the node covers; 0 for a malformed range.

pub fn walk(&self, visit: &mut impl FnMut(&Self))

Depth-first pre-order traversal over this node and its descendants.

The traversal is iterative so callers can safely inspect externally constructed IR too, even when it did not come from a bounded frontend.

pub fn statement_summaries(&self, tokens: &[Token]) -> Vec<StatementSummary>

The sequence of statement children, summarised.

This is the per-block statement sequence view of the IR: direct children whose shapes are statements, in source order, each reduced to its StatementSummary. Non-statement children (nested items, blocks acting as expressions) are skipped, matching how statement windows are cut.

Shape::Native children are included: a native node that is a direct child of the node being summarised sits in statement position by construction (C goto, a preprocessor conditional inside a function body), and dropping it would silently shorten the sequence.

Trait Implementations

impl Clone for IrNode

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 IrNode

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

Formats the value using the given formatter.

impl Drop for IrNode

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Eq for IrNode

impl PartialEq for IrNode

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrNode