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
59
60
61
62
63
64
65
66
67
68
69
70
71
72

//! C++ `Frontend::loadDefinitionFile` (`Analysis/src/Frontend.cpp:218-247`).
use crate::functions::parse_source_for_module::parse_source_for_module;
use crate::functions::persist_checked_types::persist_checked_types;
use crate::records::frontend::{Frontend, FrontendStats};
use crate::records::global_types::GlobalTypes;
use crate::records::load_definition_file_result::LoadDefinitionFileResult;
use crate::records::require_cycle::RequireCycle;
use crate::records::source_module::SourceModule;
use crate::records::type_check_limits::TypeCheckLimits;
use crate::type_aliases::scope_ptr_type::ScopePtr;
use alloc::string::String;
use alloc::vec::Vec;
use luaur_ast::enums::mode::Mode;
use luaur_common::macros::luau_timetrace_scope::LUAU_TIMETRACE_SCOPE;

impl Frontend {
    pub fn load_definition_file(
        &mut self,
        globals: &mut GlobalTypes,
        target_scope: ScopePtr,
        source: &str,
        package_name: String,
        capture_comments: bool,
        _type_check_for_autocomplete: bool,
    ) -> LoadDefinitionFileResult {
        LUAU_TIMETRACE_SCOPE!("loadDefinitionFile", "Frontend");

        let mut source_module = SourceModule::source_module();
        source_module.name = package_name.clone();
        source_module.human_readable_name = package_name.clone();

        let parse_result = parse_source_for_module(source, &mut source_module, capture_comments);
        if !parse_result.errors.is_empty() {
            return LoadDefinitionFileResult {
                success: false,
                parse_result,
                source_module,
                module: None,
            };
        }

        let mut dummy_stats = FrontendStats::default();
        let checked_module = self.check_source_module_mode_vector_require_cycle_optional_scope_ptr_bool_bool_frontend_stats_type_check_limits(
            &source_module,
            Mode::Definition,
            Vec::<RequireCycle>::new(),
            None,
            /* forAutocomplete */ false,
            /* recordJsonLog */ false,
            &mut dummy_stats,
            TypeCheckLimits::default(),
        );

        if !checked_module.errors.is_empty() {
            return LoadDefinitionFileResult {
                success: false,
                parse_result,
                source_module,
                module: Some(checked_module),
            };
        }

        persist_checked_types(checked_module.clone(), globals, target_scope, package_name);

        LoadDefinitionFileResult {
            success: true,
            parse_result,
            source_module,
            module: Some(checked_module),
        }
    }
}