smt-lang 0.7.5

Sat Modulo Theory Language
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

use line_col::LineColLookup;

#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct Position {
    pub file: String,
    pub line: usize,
    pub column: usize,
}

impl Position {
    pub fn new<S: Into<String>>(file: S, lookup: &LineColLookup, offset: usize) -> Self {
        let file = file.into();
        let (line, column) = lookup.get(offset);
        Self { file, line, column }
    }

    pub fn to_text(&self) -> d_stuff::Text {
        d_stuff::Text::new(
            format!("{}", self),
            termion::style::Reset.to_string(),
            termion::color::Cyan.fg_str(),
        )
    }

    pub fn to_message(&self) -> d_stuff::Message {
        d_stuff::Message::new(
            Some(d_stuff::Text::new(
                "File",
                termion::style::Reset.to_string(),
                termion::color::White.fg_str(),
            )),
            self.to_text(),
        )
    }
}

impl std::fmt::Display for Position {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}:{}:{}", self.file, self.line, self.column)
    }
}