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
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

//! C++ `FrontendModuleResolver::FrontendModuleResolver(Frontend* frontend)`
//! (`Analysis/src/Frontend.cpp:1922`): stores the owning frontend; `modules`
//! and `moduleMutex` are default-initialized.
use crate::records::frontend::Frontend;
use crate::records::frontend_module_resolver::FrontendModuleResolver;
use crate::records::module_info::ModuleInfo;
use crate::records::module_resolver::{ModuleResolver, ModuleResolverVtable};
use crate::type_aliases::module_name_type::ModuleName;
use crate::type_aliases::module_ptr_module_resolver::ModulePtr;
use luaur_ast::records::ast_expr::AstExpr;
use std::collections::HashMap;
use std::sync::Mutex;

impl FrontendModuleResolver {
    pub fn new(frontend: *mut Frontend) -> Self {
        Self {
            base: ModuleResolver {
                vtable: ModuleResolverVtable {
                    resolve_module_info: frontend_module_resolver_resolve_module_info,
                    get_module: frontend_module_resolver_get_module,
                    module_exists: frontend_module_resolver_module_exists,
                    get_human_readable_module_name:
                        frontend_module_resolver_get_human_readable_module_name,
                },
            },
            frontend,
            module_mutex: Mutex::new(()),
            modules: HashMap::new(),
        }
    }
}

unsafe fn frontend_module_resolver_resolve_module_info(
    this: *mut ModuleResolver,
    current_module_name: &ModuleName,
    path_expr: *const AstExpr,
) -> Option<ModuleInfo> {
    if path_expr.is_null() {
        return None;
    }

    let resolver = this as *const FrontendModuleResolver;
    unsafe { (*resolver).resolve_module_info(current_module_name, &*path_expr) }
}

unsafe fn frontend_module_resolver_get_module(
    this: *const ModuleResolver,
    module_name: &ModuleName,
) -> Option<ModulePtr> {
    let resolver = this as *const FrontendModuleResolver;
    let _lock = unsafe { (*resolver).module_mutex.lock().unwrap() };
    unsafe { (*resolver).modules.get(module_name).cloned() }
}

unsafe fn frontend_module_resolver_module_exists(
    this: *const ModuleResolver,
    module_name: &ModuleName,
) -> bool {
    let resolver = this as *const FrontendModuleResolver;
    unsafe { (*resolver).module_exists(module_name) }
}

unsafe fn frontend_module_resolver_get_human_readable_module_name(
    this: *const ModuleResolver,
    module_name: &ModuleName,
) -> String {
    let resolver = this as *const FrontendModuleResolver;
    unsafe { (*resolver).get_human_readable_module_name(module_name) }
}