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

use crate::records::pending_type::PendingType;
use crate::records::pending_type_pack::PendingTypePack;
use crate::records::txn_log::TxnLog;
use alloc::boxed::Box;
use alloc::vec::Vec;
use luaur_common::records::dense_hash_map::DenseHashMap;

impl TxnLog {
    pub fn inverse(&self) -> TxnLog {
        // C++ `TxnLog inversed(sharedSeen)` — the sharedSeen-taking constructor.
        let mut inversed = TxnLog {
            type_var_changes: DenseHashMap::new(core::ptr::null()),
            type_pack_changes: DenseHashMap::new(core::ptr::null()),
            parent: core::ptr::null_mut(),
            owned_seen: Vec::new(),
            // Borrows the original's seen set (C++ `inversed(sharedSeen)`).
            shared_seen: self.shared_seen,
            owned_seen_box: None,
            radioactive: false,
        };

        for (ty, rep) in self.type_var_changes.iter() {
            if !rep.dead {
                inversed.type_var_changes.try_insert(
                    *ty,
                    Box::new(PendingType {
                        pending: unsafe { (**ty).clone() },
                        dead: false,
                    }),
                );
            }
        }

        for (tp, _rep) in self.type_pack_changes.iter() {
            inversed.type_pack_changes.try_insert(
                *tp,
                Box::new(PendingTypePack {
                    pending: unsafe { (**tp).clone() },
                }),
            );
        }

        inversed.radioactive = self.radioactive;

        inversed
    }
}