numbat-cli 1.23.0

A statically typed programming language for scientific computations with first class support for physical dimensions and units.
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

use colored::Colorize;
use numbat::compact_str::ToCompactString;
use numbat::keywords::KEYWORDS;
use numbat::{Context, markup};
use rustyline::{CompletionType, highlight::Highlighter};

use std::{
    borrow::Cow,
    sync::{Arc, Mutex},
};

use crate::ansi_formatter::ansi_format;

pub struct NumbatHighlighter {
    pub context: Arc<Mutex<Context>>,
}

impl Highlighter for NumbatHighlighter {
    fn highlight<'l>(&self, line: &'l str, _pos: usize) -> Cow<'l, str> {
        Cow::Borrowed(line)
    }

    fn highlight_prompt<'b, 's: 'b, 'p: 'b>(
        &self,
        prompt: &'p str,
        _default: bool,
    ) -> Cow<'b, str> {
        Cow::Owned(format!("{}", prompt.bold()))
    }

    fn highlight_hint<'h>(&self, hint: &'h str) -> Cow<'h, str> {
        Cow::Borrowed(hint)
    }

    fn highlight_candidate<'c>(
        &self,
        candidate: &'c str,
        _completion: CompletionType,
    ) -> Cow<'c, str> {
        let ctx = self.context.lock().unwrap();
        if ctx.variable_names().any(|n| n == candidate)
            || ctx.function_names().any(|n| format!("{n}(") == candidate)
        {
            Cow::Owned(
                ansi_format(&markup::identifier(candidate.to_compact_string()), false).to_string(),
            )
        } else if ctx
            .unit_names()
            .iter()
            .any(|un| un.iter().any(|n| n == candidate))
        {
            Cow::Owned(ansi_format(&markup::unit(candidate.to_compact_string()), false).to_string())
        } else if ctx.dimension_names().iter().any(|n| n == candidate) {
            Cow::Owned(
                ansi_format(
                    &markup::type_identifier(candidate.to_compact_string()),
                    false,
                )
                .to_string(),
            )
        } else if KEYWORDS.iter().any(|k| k == &candidate) {
            Cow::Owned(
                ansi_format(&markup::keyword(candidate.to_compact_string()), false).to_string(),
            )
        } else {
            Cow::Borrowed(candidate)
        }
    }
}