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

use crate::records::normalizer::Normalizer;
use luaur_common::FInt;

impl Normalizer {
    pub fn within_resource_limits(&mut self) -> bool {
        // If cache is too large, clear it
        if FInt::LuauNormalizeCacheLimit.get() > 0 {
            let cache_usage = self.cached_normals.len()
                + self.cached_intersections.len()
                + self.cached_unions.len()
                + self.cached_type_ids.len()
                + self.cached_is_inhabited.size()
                + self.cached_is_inhabited_intersection.size();
            if cache_usage > FInt::LuauNormalizeCacheLimit.get() as usize {
                self.clear_caches();
                return false;
            }
        }

        // Check the recursion count
        if unsafe { (*self.shared_state).counters.recursion_limit } > 0 {
            if unsafe { (*self.shared_state).counters.recursion_limit }
                < unsafe { (*self.shared_state).counters.recursion_count }
            {
                return false;
            }
        }

        true
    }
}