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

use crate::records::blocked_type::BlockedType;
use crate::records::extern_type::ExternType;
use crate::records::pending_expansion_type::PendingExpansionType;
use crate::records::type_once_visitor::TypeOnceVisitor;
use crate::type_aliases::type_id::TypeId;
use alloc::string::String;
use core::ptr;
use luaur_common::records::dense_hash_set::DenseHashSet;

#[derive(Debug, Clone)]
pub struct FindRefinementBlockers {
    pub base: TypeOnceVisitor,
    pub found: DenseHashSet<TypeId>,
}

impl FindRefinementBlockers {
    pub fn new() -> Self {
        Self {
            base: TypeOnceVisitor::new(String::from("FindRefinementBlockers"), true),
            found: DenseHashSet::new(ptr::null()),
        }
    }

    pub fn visit_blocked_type(&mut self, ty: TypeId, _btv: &BlockedType) -> bool {
        self.found.insert(ty);
        false
    }

    pub fn visit_pending_expansion_type(
        &mut self,
        ty: TypeId,
        _petv: &PendingExpansionType,
    ) -> bool {
        self.found.insert(ty);
        false
    }

    pub fn visit_extern_type(&mut self, _ty: TypeId, _etv: &ExternType) -> bool {
        false
    }
}