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

use crate::enums::solver_mode::SolverMode;
use crate::records::builtin_types::BuiltinTypes;
use crate::records::normalizer::Normalizer;
use crate::records::type_arena::TypeArena;
use crate::records::unifier_shared_state::UnifierSharedState;
use luaur_common::records::dense_hash_map::DenseHashMap;

impl Normalizer {
    /// C++ `Normalizer::Normalizer(TypeArena*, NotNull<BuiltinTypes>,
    /// NotNull<UnifierSharedState>, SolverMode, bool cacheInhabitance = false)`
    /// (`Analysis/src/Normalize.cpp:858`). Owned constructor: the five
    /// collaborators are stored; every cache is default-empty (the
    /// `DenseHashMap`s take their `nullptr` empty-key, matching the C++
    /// member initializers `{nullptr}` / `{{nullptr, nullptr}}`).
    pub fn new(
        arena: *mut TypeArena,
        builtin_types: *mut BuiltinTypes,
        shared_state: *mut UnifierSharedState,
        solver_mode: SolverMode,
        cache_inhabitance: bool,
    ) -> Self {
        Normalizer {
            cached_normals: alloc::collections::BTreeMap::new(),
            cached_intersections: alloc::collections::BTreeMap::new(),
            cached_unions: alloc::collections::BTreeMap::new(),
            cached_type_ids: alloc::collections::BTreeMap::new(),
            cached_is_inhabited: DenseHashMap::new(core::ptr::null()),
            cached_is_inhabited_intersection: DenseHashMap::new((
                core::ptr::null(),
                core::ptr::null(),
            )),
            fuel: None,
            arena,
            builtin_types,
            shared_state,
            cache_inhabitance,
            solver_mode,
        }
    }

    pub fn normalizer_type_arena_not_null_builtin_types_not_null_unifier_shared_state_solver_mode_bool(
        &mut self,
        arena: *mut TypeArena,
        builtin_types: *mut BuiltinTypes,
        shared_state: *mut UnifierSharedState,
        solver_mode: SolverMode,
        cache_inhabitance: bool,
    ) {
        self.arena = arena;
        self.builtin_types = builtin_types;
        self.shared_state = shared_state;
        self.cache_inhabitance = cache_inhabitance;
        self.solver_mode = solver_mode;
    }
}