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

use crate::enums::tarjan_result::TarjanResult;
use crate::records::tarjan::Tarjan;
use crate::type_aliases::type_id::TypeId;
use luaur_common::FInt;

impl Tarjan {
    pub fn visit_root_type_id(&mut self, ty: TypeId) -> TarjanResult {
        self.child_count = 0;
        if self.child_limit == 0 {
            self.child_limit = FInt::LuauTarjanChildLimit.get();
        }

        let ty = unsafe { (*self.log).follow_type_id(ty) };

        let (index, _fresh) = self.indexify_type_id(ty);
        self.worklist.push(
            crate::records::tarjan_worklist_vertex::TarjanWorklistVertex {
                index,
                curr_edge: -1,
                last_edge: -1,
            },
        );

        self.loop_item()
    }
}