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

use crate::records::build_queue_item::BuildQueueItem;
use crate::records::frontend::Frontend;
use crate::records::source_node::SourceNode;
use alloc::sync::Arc;
use luaur_common::macros::luau_timetrace_argument::LUAU_TIMETRACE_ARGUMENT;
use luaur_common::macros::luau_timetrace_scope::LUAU_TIMETRACE_SCOPE;

impl Frontend {
    pub fn record_item_result(&mut self, item: &BuildQueueItem) {
        let for_autocomplete = item.options.for_autocomplete;
        let source_node = Arc::as_ptr(&item.source_node) as *mut SourceNode;

        let replaced = if for_autocomplete {
            let replaced = self
                .module_resolver_for_autocomplete
                .set_module(&item.name, item.module.clone());
            unsafe {
                (*source_node).dirty_module_for_autocomplete = false;
            }
            replaced
        } else {
            let replaced = self
                .module_resolver
                .set_module(&item.name, item.module.clone());
            unsafe {
                (*source_node).dirty_module = false;
            }
            replaced
        };

        if replaced {
            LUAU_TIMETRACE_SCOPE!("Frontend::invalidateDependentModules", "Frontend");
            LUAU_TIMETRACE_ARGUMENT!("name", item.name.as_str());
            self.traverse_dependents(
                &item.name,
                Box::new(move |source_node: &mut SourceNode| {
                    let traverse_subtree =
                        !source_node.has_invalid_module_dependency(for_autocomplete);
                    source_node.set_invalid_module_dependency(true, for_autocomplete);
                    traverse_subtree
                }),
            );
        }

        unsafe {
            (*source_node).set_invalid_module_dependency(false, for_autocomplete);
        }

        self.stats.time_check += item.stats.time_check;
        self.stats.time_lint += item.stats.time_lint;
        self.stats.files_strict += item.stats.files_strict;
        self.stats.files_nonstrict += item.stats.files_nonstrict;
        self.stats.types_allocated += item.stats.types_allocated;
        self.stats.type_packs_allocated += item.stats.type_packs_allocated;
        self.stats.bool_singletons_minted += item.stats.bool_singletons_minted;
        self.stats.str_singletons_minted += item.stats.str_singletons_minted;
        self.stats.unique_str_singletons_minted += item.stats.unique_str_singletons_minted;
        self.stats.dynamic_constraints_created += item.stats.dynamic_constraints_created;
    }
}