Struct AnalysisSourceSpan 

pub struct AnalysisSourceSpan {
    pub file_id: u32,
    pub start_byte: u32,
    pub end_byte: u32,
    pub start_line: u32,
    pub start_column: u32,
    pub end_line: u32,
    pub end_column: u32,
}

Source span attached to one fact or proof step.

Fields

file_id: u32

Stable file id from the analysis corpus.

start_byte: u32

Start byte offset, inclusive.

end_byte: u32

End byte offset, exclusive.

start_line: u32

Start line, one-based when known, zero when unknown.

start_column: u32

Start column, one-based when known, zero when unknown.

end_line: u32

End line, one-based when known, zero when unknown.

end_column: u32

End column, one-based when known, zero when unknown.

Implementations

impl AnalysisSourceSpan

pub const fn byte_range(file_id: u32, start_byte: u32, end_byte: u32) -> Self

Build a byte-only span.

pub fn validate(&self, context: &str) -> Result<(), AnalysisFactError>

Validate span ordering.

Errors

Returns AnalysisFactError when the byte range is reversed.

Trait Implementations

impl Clone for AnalysisSourceSpan

fn clone(&self) -> AnalysisSourceSpan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisSourceSpan

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AnalysisSourceSpan

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AnalysisSourceSpan

impl PartialEq for AnalysisSourceSpan

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AnalysisSourceSpan

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AnalysisSourceSpan