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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use crate::records::instantiation_2::Instantiation2;
use crate::records::scope::Scope;
use crate::records::substitution::Substitution;
use crate::records::subtyping::Subtyping;
use crate::records::tarjan::SubstitutionVtable;
use crate::records::txn_log::TxnLog;
use crate::records::type_arena::TypeArena;
use crate::type_aliases::type_id::TypeId;
use crate::type_aliases::type_pack_id::TypePackId;
use core::ffi::c_void;
use luaur_common::records::dense_hash_map::DenseHashMap;

fn inst2_is_dirty_ty(owner: *mut c_void, ty: TypeId) -> bool {
    unsafe { (*(owner as *mut Instantiation2)).is_dirty_type_id(ty) }
}

fn inst2_is_dirty_tp(owner: *mut c_void, tp: TypePackId) -> bool {
    unsafe { (*(owner as *mut Instantiation2)).is_dirty_type_pack_id(tp) }
}

fn inst2_clean_ty(owner: *mut c_void, ty: TypeId) -> TypeId {
    unsafe { (*(owner as *mut Instantiation2)).clean_type_id(ty) }
}

fn inst2_clean_tp(owner: *mut c_void, tp: TypePackId) -> TypePackId {
    unsafe { (*(owner as *mut Instantiation2)).clean_type_pack_id(tp) }
}

fn inst2_found_dirty_ty(owner: *mut c_void, ty: TypeId) {
    unsafe {
        (*(owner as *mut Instantiation2))
            .base
            .found_dirty_type_id(ty)
    }
}

fn inst2_found_dirty_tp(owner: *mut c_void, tp: TypePackId) {
    unsafe {
        (*(owner as *mut Instantiation2))
            .base
            .found_dirty_type_pack_id(tp)
    }
}

fn inst2_ignore_children_ty(owner: *mut c_void, ty: TypeId) -> bool {
    unsafe { (*(owner as *mut Instantiation2)).ignore_children(ty) }
}

fn inst2_ignore_children_tp(_owner: *mut c_void, _tp: TypePackId) -> bool {
    false
}

impl Instantiation2 {
    pub fn instantiation_2_type_arena_dense_hash_map_type_id_type_id_dense_hash_map_type_pack_id_type_pack_id_not_null_subtyping_not_null_scope(
        arena: *mut TypeArena,
        generic_substitutions: DenseHashMap<TypeId, TypeId>,
        generic_pack_substitutions: DenseHashMap<TypePackId, TypePackId>,
        subtyping: *mut Subtyping,
        scope: *mut Scope,
    ) -> Self {
        Instantiation2 {
            base: Substitution::substitution_new(TxnLog::empty(), arena),
            generic_substitutions,
            generic_pack_substitutions,
            subtyping,
            scope,
        }
    }

    fn install_substitution_vtable(&mut self) {
        let owner = self as *mut Instantiation2 as *mut c_void;
        self.base.base.vtable = SubstitutionVtable {
            owner,
            is_dirty_ty: Some(inst2_is_dirty_ty),
            is_dirty_tp: Some(inst2_is_dirty_tp),
            clean_ty: Some(inst2_clean_ty),
            clean_tp: Some(inst2_clean_tp),
            found_dirty_ty: Some(inst2_found_dirty_ty),
            found_dirty_tp: Some(inst2_found_dirty_tp),
            ignore_children_ty: Some(inst2_ignore_children_ty),
            ignore_children_tp: Some(inst2_ignore_children_tp),
            ignore_children_visit_ty: Some(inst2_ignore_children_ty),
            ignore_children_visit_tp: Some(inst2_ignore_children_tp),
        };
    }

    pub fn substitute_type_id(&mut self, ty: TypeId) -> Option<TypeId> {
        self.install_substitution_vtable();
        self.base.substitute_type_id(ty)
    }

    pub fn substitute_type_pack_id(&mut self, tp: TypePackId) -> Option<TypePackId> {
        self.install_substitution_vtable();
        self.base.substitute_type_pack_id(tp)
    }
}