Struct Source 

pub struct Source {
    pub attribute: String,
    pub span: Span,
    pub doc_name: String,
}

Unified source location information

Combines source file identifier, span, and document name for consistent source location tracking across the codebase.

Fields

attribute: String

Source file identifier (e.g., filename or “”)

span: Span

Span in source code (uses Lemma’s existing Span type from crate::ast::Span)

doc_name: String

Document name (the Lemma document containing this code)

Implementations

impl Source

pub fn new( attribute: impl Into<String>, span: Span, doc_name: impl Into<String>, ) -> Self

Create a new Source

pub fn extract_text(&self, source: &str) -> Option<String>

Extract the source text for this location from the given source string

Returns None if the span is out of bounds for the source.

Trait Implementations

impl Clone for Source

fn clone(&self) -> Source

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Source

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Source

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Source

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Source

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Source

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Source

impl StructuralPartialEq for Source