Struct SourceContext 

pub struct SourceContext {
    pub label: String,
    pub file: Option<String>,
    pub line_range: Option<(usize, usize)>,
}

Diagnostic context attached to a super::ScopeModule — where the module’s source came from. Used in error messages when a contract violation surfaces at spawn or finalize.

Fields

label: String

Logical label — workload phase / op-template name / SRD reference. Free-form; appears verbatim in diagnostics.

file: Option<String>

Source file path, if applicable.

line_range: Option<(usize, usize)>

Line range (start, end) if known.

Implementations

impl SourceContext

pub fn new(label: impl Into<String>) -> Self

A context with a label and no file or lines.

pub fn for_phase(name: &str) -> Self

The context of a phase, labelled phase:<name>.

pub fn for_op(name: &str) -> Self

The context of an op, labelled op:<name>.

pub fn with_file(self, file: impl Into<String>) -> Self

The same context with its source file.

pub fn with_lines(self, start: usize, end: usize) -> Self

The same context with its line range.

pub fn display(&self) -> String

Render as a single line for error messages.

Trait Implementations

impl Clone for SourceContext

fn clone(&self) -> SourceContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceContext

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

Formats the value using the given formatter.

impl Default for SourceContext

fn default() -> SourceContext

Returns the “default value” for a type.

impl Eq for SourceContext

impl PartialEq for SourceContext

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceContext