luaur-analysis 0.1.3

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

use crate::functions::get_singleton_type::get_singleton_type;
use crate::functions::get_type_alt_j::get_type_id;
use crate::records::normalized_string_type::NormalizedStringType;
use crate::records::singleton_type::SingletonType;
use crate::records::string_singleton::StringSingleton;

pub fn is_normalized_string(ty: &NormalizedStringType) -> bool {
    if ty.is_string() {
        return true;
    }

    for (str, &type_id) in &ty.singletons {
        unsafe {
            let stv = get_type_id::<SingletonType>(type_id);
            if stv.is_null() {
                return false;
            }

            let sstv = get_singleton_type::<StringSingleton>(stv);
            if sstv.is_null() {
                return false;
            }

            if (*sstv).value != *str {
                return false;
            }
        }
    }

    true
}