Struct StatementSummary 

pub struct StatementSummary {
    pub shape_tag: u8,
    pub native_kind: Option<Lexeme>,
    pub token_start: usize,
    pub token_end: usize,
}

A statement reduced to its shape and the span of its tokens.

The shape carries the rename-invariant signal that aligns two statement sequences; the span is how the text itself is recovered, for the lexical comparison that decides whether aligned statements are actually copies.

The span is kept rather than the token texts because a compound statement covers its whole body: cloning the texts would cost a copy of the token stream once per level of nesting, while an index pair costs the same whatever the statement contains. It is a position into one file’s stream and nothing more — identity in this tool is content-derived, and no fingerprint reads this type.

Fields

shape_tag: u8

Shape tag of the statement (see Shape::tag).

native_kind: Option<Lexeme>

Native kind name when the statement is a Shape::Native node.

token_start: usize

Index of the statement’s first token in its file’s stream.

token_end: usize

Index one past the statement’s last token in its file’s stream.

Implementations

impl StatementSummary

pub fn of(node: &IrNode, tokens: &[Token]) -> Self

Summarise one node against its file’s token stream.

pub fn tokens<'a>(&self, tokens: &'a [Token]) -> &'a [Token]

The statement’s tokens, resolved against the stream it was summarised from. Empty for any other stream, since the span would not be its own.

Trait Implementations

impl Clone for StatementSummary

fn clone(&self) -> StatementSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StatementSummary

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

Formats the value using the given formatter.

impl Eq for StatementSummary

impl PartialEq for StatementSummary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StatementSummary