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

use crate::records::frontend::Frontend;
use crate::records::source_node::SourceNode;
use crate::type_aliases::module_name_file_resolver::ModuleName;
use alloc::boxed::Box;
use alloc::vec::Vec;
use luaur_common::macros::luau_timetrace_argument::LUAU_TIMETRACE_ARGUMENT;
use luaur_common::macros::luau_timetrace_scope::LUAU_TIMETRACE_SCOPE;

impl Frontend {
    pub fn mark_dirty(&mut self, name: &ModuleName, marked_dirty: Option<&mut Vec<ModuleName>>) {
        LUAU_TIMETRACE_SCOPE!("Frontend::markDirty", "Frontend");
        LUAU_TIMETRACE_ARGUMENT!("name", name.as_str());

        let marked_dirty_ptr = marked_dirty.map(|v| v as *mut Vec<ModuleName>);

        self.traverse_dependents(
            name,
            Box::new(move |source_node: &mut SourceNode| {
                if let Some(marked_dirty) = marked_dirty_ptr {
                    unsafe {
                        (*marked_dirty).push(source_node.name.clone());
                    }
                }

                if source_node.dirty_source_module
                    && source_node.dirty_module
                    && source_node.dirty_module_for_autocomplete
                {
                    return false;
                }

                source_node.dirty_source_module = true;
                source_node.dirty_module = true;
                source_node.dirty_module_for_autocomplete = true;

                true
            }),
        );
    }
}