luaur-analysis 0.1.0

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
97
98
99
100
101
102
103
104
105
106
107
108
109

use crate::enums::normalization_result::NormalizationResult;
use crate::records::fuel_initializer::FuelInitializer;
use crate::records::normalized_extern_type::NormalizedExternType;
use crate::records::normalized_function_type::NormalizedFunctionType;
use crate::records::normalized_string_type::NormalizedStringType;
use crate::records::normalized_type::NormalizedType;
use crate::records::normalizer::Normalizer;
use crate::records::normalizer_hit_limits::NormalizerHitLimits;
use crate::records::type_ids::TypeIds;
use crate::type_aliases::type_id::TypeId;
use alloc::collections::BTreeMap;
use alloc::sync::Arc;
use luaur_common::records::dense_hash_set::DenseHashSet;

impl Normalizer {
    pub fn normalize(&mut self, ty: TypeId) -> Arc<NormalizedType> {
        self.try_normalize(ty)
            .unwrap_or_else(|| Arc::new(self.empty_normalized_type()))
    }

    pub fn try_normalize(&mut self, ty: TypeId) -> Option<Arc<NormalizedType>> {
        match std::panic::catch_unwind(std::panic::AssertUnwindSafe(|| self.normalize_uncaught(ty)))
        {
            Ok(norm) => norm,
            Err(payload) if payload.downcast_ref::<NormalizerHitLimits>().is_some() => None,
            Err(payload) => std::panic::resume_unwind(payload),
        }
    }

    fn normalize_uncaught(&mut self, ty: TypeId) -> Option<Arc<NormalizedType>> {
        if self.arena.is_null() {
            unsafe {
                (*(*self.shared_state).ice_handler)
                    .ice_string("Normalizing types outside a module");
            }
        }

        if let Some(shared) = self.cached_normals.get(&ty) {
            return Some(shared.clone());
        }

        let mut norm = self.empty_normalized_type();
        let mut seen_set_types: DenseHashSet<TypeId> = DenseHashSet::new(core::ptr::null_mut());
        let mut seen_table_prop_pairs: crate::type_aliases::seen_table_prop_pairs::SeenTablePropPairs =
            crate::type_aliases::seen_table_prop_pairs::SeenTablePropPairs::new((core::ptr::null(), core::ptr::null()));

        // FuelInitializer handles initializing and tearing down normalization fuel limits.
        let mut fi = FuelInitializer {
            normalizer: self as *mut Normalizer,
            initialized_fuel: false,
        };
        fi.fuel_initializer_not_null_normalizer(self as *mut Normalizer);
        let _ = fi;

        let res = self.union_normal_with_ty(
            &mut norm,
            ty,
            &mut seen_table_prop_pairs,
            &mut seen_set_types,
            -1,
        );

        if res != NormalizationResult::True {
            return None;
        }

        if norm.is_unknown() {
            self.clear_normal(&mut norm);
            norm.tops = unsafe { (*self.builtin_types).unknownType };
        }

        let shared = Arc::new(norm);

        if shared.is_cacheable {
            self.cached_normals.insert(ty, shared.clone());
        }

        Some(shared)
    }

    fn empty_normalized_type(&self) -> NormalizedType {
        let never_type = unsafe { (*self.builtin_types).neverType };

        NormalizedType {
            builtin_types: self.builtin_types,
            tops: never_type,
            booleans: never_type,
            extern_types: NormalizedExternType {
                extern_types: BTreeMap::new(),
                shape_extensions: TypeIds::type_ids(),
                ordering: Vec::new(),
            },
            errors: never_type,
            nils: never_type,
            numbers: never_type,
            integers: never_type,
            strings: NormalizedStringType::never,
            threads: never_type,
            buffers: never_type,
            tables: TypeIds::type_ids(),
            functions: NormalizedFunctionType {
                is_top: false,
                parts: TypeIds::type_ids(),
            },
            tyvars: BTreeMap::new(),
            is_cacheable: true,
        }
    }
}