Enum erg_common::error::Location

pub enum Location {
    Range {
        ln_begin: usize,
        col_begin: usize,
        ln_end: usize,
        col_end: usize,
    },
    LineRange(usize, usize),
    Line(usize),
    Unknown,
}

Points the location (of an error) in a code. The beginning and end of each row and column where the error occurred. Basically, the beginning and end of each row and column where the error occurred is kept.

Variants

Range

Fields

ln_begin: usize

col_begin: usize

ln_end: usize

col_end: usize

Location used for basic errors

// erg
a = 1
a = 2
// Value assigned to the structure
Location::Range {
   ln_begin: 2,
   col_begin: 0,
   ln_end: 2,
   col_end: 1,
}

LineRange(usize, usize)

Used for loss of location information when desugared. If there are guaranteed to be multiple rows

Line(usize)

Used when Location information is lost when desugared If it is guaranteed to be a single line

Unknown

Used by default in case of loss of Location information

Implementations

impl Location

pub fn concat<L: Locational, R: Locational>(l: &L, r: &R) -> Self

pub const fn range(
    ln_begin: usize,
    col_begin: usize,
    ln_end: usize,
    col_end: usize
) -> Self

pub const fn is_unknown(&self) -> bool

pub const fn unknown_or(&self, other: Self) -> Self

pub const fn ln_begin(&self) -> Option<usize>

pub const fn ln_end(&self) -> Option<usize>

pub const fn col_begin(&self) -> Option<usize>

pub const fn col_end(&self) -> Option<usize>

Trait Implementations

impl Clone for Location

fn clone(&self) -> Location

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Location

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

Formats the value using the given formatter.

impl Default for Location

fn default() -> Location

Returns the “default value” for a type.

impl Hash for Location

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<Location> for Location

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for Location

impl Eq for Location

impl StructuralEq for Location

impl StructuralPartialEq for Location