luaur-analysis 0.1.1

Luau type checker and type inference (Rust).
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

//! Source: `Analysis/src/ToString.cpp:254-305` (hand-ported)
//! The C++ overloaded `emit(...)` family as a trait + generic method
//! (the AstJsonEncoder::write precedent).

use crate::records::stringifier_state::StringifierState;
use crate::records::type_level::TypeLevel;
use alloc::string::{String, ToString};

pub trait EmitText {
    fn emit_text(&self, state: &mut StringifierState);
}

impl StringifierState {
    /// Generic entry mirroring C++ overload resolution: `state.emit(x)`.
    pub fn emit<T: EmitText + ?Sized>(&mut self, value: &T) {
        value.emit_text(self);
    }

    fn emit_str_raw(&mut self, s: &str) {
        unsafe {
            // if (opts.maxTypeLength > 0 && result.name.length() > opts.maxTypeLength) return;
            let opts = &*self.opts;
            let result = &mut *self.result;
            if opts.max_type_length > 0 && result.name.len() > opts.max_type_length as usize {
                return;
            }
            result.name.push_str(s);
        }
    }
}

impl EmitText for str {
    fn emit_text(&self, state: &mut StringifierState) {
        state.emit_str_raw(self);
    }
}
impl EmitText for String {
    fn emit_text(&self, state: &mut StringifierState) {
        state.emit_str_raw(self);
    }
}
impl EmitText for TypeLevel {
    fn emit_text(&self, state: &mut StringifierState) {
        state.emit_str_raw(&self.level.to_string());
        state.emit_str_raw("-");
        state.emit_str_raw(&self.subLevel.to_string());
    }
}
macro_rules! emit_int {
    ($($t:ty),*) => {$(
        impl EmitText for $t {
            fn emit_text(&self, state: &mut StringifierState) {
                state.emit_str_raw(&self.to_string());
            }
        }
    )*};
}
emit_int!(i32, i64, u32, u64, usize, isize);