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

//! C++ `Scope::Scope(const ScopePtr& parent, int subLevel = 0)`
//! (`Analysis/src/Scope.cpp`): a child scope inherits its parent's return type
//! and an incremented type level, and value-initializes every container. The
//! `DenseHash*` empty-key sentinels match the in-class initializers in
//! `Analysis/include/Luau/Scope.h` (`{nullptr}`, `{""}`, `{{}}`).
use crate::records::def::Def;
use crate::records::scope::Scope;
use crate::type_aliases::scope_ptr_type::ScopePtr;
use alloc::string::String;
use alloc::vec::Vec;
use luaur_ast::records::location::Location;
use luaur_common::records::dense_hash_map::DenseHashMap;
use luaur_common::records::dense_hash_set::DenseHashSet;
use std::collections::HashMap;

impl Scope {
    pub fn new(parent: &ScopePtr, sub_level: i32) -> Self {
        let mut level = parent.level.incr();
        level.subLevel = sub_level;

        Scope {
            parent: Some(parent.clone()),
            children: Vec::new(),
            bindings: HashMap::new(),
            return_type: parent.return_type,
            vararg_pack: None,
            level,
            location: Location::default(),
            exported_type_bindings: HashMap::new(),
            private_type_bindings: HashMap::new(),
            type_alias_locations: HashMap::new(),
            type_alias_name_locations: HashMap::new(),
            imported_modules: HashMap::new(),
            imported_type_bindings: HashMap::new(),
            builtin_type_names: DenseHashSet::default(),
            private_type_pack_bindings: HashMap::new(),
            refinements: HashMap::new(),
            lvalue_types: DenseHashMap::new(core::ptr::null::<Def>()),
            rvalue_refinements: DenseHashMap::new(core::ptr::null::<Def>()),
            globals_to_warn: DenseHashSet::default(),
            type_alias_type_parameters: HashMap::new(),
            type_alias_type_pack_parameters: HashMap::new(),
            interior_free_types: None,
            interior_free_type_packs: None,
            invalid_type_aliases: DenseHashMap::new(String::new()),
        }
    }
}