Struct SourceSnippet 

pub struct SourceSnippet {
    pub source: String,
    pub line: u32,
    pub column: u32,
    pub filename: String,
    pub context_before: usize,
    pub context_after: usize,
}

§Fase 28.d — Rustc-style source-context block for a parse error.

Holds a reference to the source text plus the line/column the error points at. Rendering is lazy — call render() to format the block (line numbers + caret + 2 lines before + 2 after).

Pure and deterministic: no ANSI colors, no terminal-width detection. Output shape is byte-identical to the Python SourceSnippet.render() on the same input — that’s the cross- stack drift gate (28.i).

Fields

source: String

line: u32

column: u32

filename: String

context_before: usize

context_after: usize

Implementations

impl SourceSnippet

pub fn new( source: String, line: u32, column: u32, filename: String, ) -> SourceSnippet

Construct with the default 2/2 context window.

pub fn render(&self) -> String

Format the snippet as a multi-line rustc-style block.

Empty source → empty string. Out-of-range line → empty string. Caret column is clamped to [1, line_len + 1]. Output shape matches Python SourceSnippet.render byte- identically per D7.

Trait Implementations

impl Clone for SourceSnippet

fn clone(&self) -> SourceSnippet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceSnippet

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

Formats the value using the given formatter.