numbat 1.23.0

A statically typed programming language for scientific computations with first class support for physical dimensions and units.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97

use codespan_reporting::diagnostic::{Label, LabelStyle};
use std::ops::{Add, AddAssign};

#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct ByteIndex(pub u32);

impl From<u32> for ByteIndex {
    fn from(value: u32) -> Self {
        Self(value)
    }
}

impl Add<u32> for ByteIndex {
    type Output = Self;

    fn add(self, rhs: u32) -> Self::Output {
        Self(self.0 + rhs)
    }
}

impl AddAssign<u32> for ByteIndex {
    fn add_assign(&mut self, rhs: u32) {
        self.0 += rhs;
    }
}

impl ByteIndex {
    pub fn single_character_span(self, code_source_id: usize) -> Span {
        Span {
            start: self,
            end: self,
            code_source_id,
        }
    }

    pub fn as_usize(self) -> usize {
        self.0 as usize
    }
}

/// The span of text from `start` to `end`, associated with `code_source_id`. `start`
/// and `end` are both inclusive byte indices (so that if `start == end` we get a
/// one-byte span).
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct Span {
    pub start: ByteIndex,
    pub end: ByteIndex,
    pub code_source_id: usize,
}

impl Span {
    /// Returns a new span covering everything in-between left and right.
    /// Should only be used when left and right comes from the same file.
    /// If they're not we're going to:
    /// - panic in debug mode
    /// - return the code_source_id of the left part in release mode
    #[track_caller]
    #[inline]
    pub fn in_between(left: Span, right: Span) -> Span {
        debug_assert_eq!(left.code_source_id, right.code_source_id);
        debug_assert!(left.end <= right.start);
        crate::span::Span {
            start: left.end,
            // The right.start must be > left.end. But just in case it is not
            // we'll make the new span points to left.end
            end: right.start.max(left.end),
            // lhs and rhs should share the same code_source_id
            code_source_id: left.code_source_id,
        }
    }

    pub fn extend(&self, other: &Span) -> Span {
        assert_eq!(self.code_source_id, other.code_source_id);
        Span {
            start: std::cmp::min(self.start, other.start),
            end: std::cmp::max(self.end, other.end),
            code_source_id: self.code_source_id,
        }
    }

    pub fn diagnostic_label(&self, style: LabelStyle) -> Label<usize> {
        Label::new(
            style,
            self.code_source_id,
            (self.start.as_usize())..(self.end.as_usize()),
        )
    }

    #[cfg(test)]
    pub fn dummy() -> Span {
        Self {
            start: ByteIndex(0),
            end: ByteIndex(0),
            code_source_id: 0,
        }
    }
}