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

use crate::functions::to_string_to_string_alt_m::to_string_type_id_to_string_options;
use crate::functions::to_string_to_string_alt_n::to_string_type_pack_id_to_string_options;
use crate::functions::to_string_to_string_alt_q::to_string_constraint_to_string_options;
use crate::records::constraint::Constraint;
use crate::records::constraint_graph::ConstraintGraph;
use crate::records::to_string_options::ToStringOptions;
use crate::type_aliases::constraint_vertex::ConstraintVertex;
use core::ptr::NonNull;

impl ConstraintGraph {
    pub fn dump_blocked(&mut self, c: NonNull<Constraint>, opts: &mut ToStringOptions) {
        std::print!("Blocked on:\n");
        let c_ptr = c.as_ptr() as *const Constraint;
        let deps = self.find_dependency_list(ConstraintVertex::V2(c_ptr));
        let deps_ref = unsafe { deps.as_ref() };
        for dep in deps_ref.order.iter() {
            // The C++ `for (auto dep : *deps)` iterates only present entries.
            if !deps_ref.contains(dep.clone()) {
                continue;
            }

            if let Some(ty) = dep.get_if_0() {
                std::print!(
                    "\tType {}\n",
                    to_string_type_id_to_string_options(*ty, opts)
                );
            } else if let Some(tp) = dep.get_if_1() {
                std::print!(
                    "\tPack {}\n",
                    to_string_type_pack_id_to_string_options(*tp, opts)
                );
            } else if let Some(cons) = dep.get_if_2() {
                std::print!(
                    "\tCons {}\n",
                    to_string_constraint_to_string_options(unsafe { &**cons }, opts)
                );
            }
        }
    }
}