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

use crate::functions::dot_escape::dot_escape;
use crate::functions::to_string_constraint_graph::to_string_constraint_vertex;
use crate::records::constraint_graph::ConstraintGraph;
use alloc::string::String;

impl ConstraintGraph {
    pub fn dump(&mut self) {
        for (v, deps) in self.dependencies.iter() {
            let vstr = unsafe { to_string_constraint_vertex(v.clone()) };
            let deps_ref = unsafe { &**deps };
            for d in deps_ref.order.iter() {
                // The C++ `for (auto d : *deps)` iterates only present entries.
                if !deps_ref.contains(d.clone()) {
                    continue;
                }

                let mut line = String::new();
                dot_escape(&mut line, &vstr);
                line.push_str(" -> ");
                let dstr = unsafe { to_string_constraint_vertex(d.clone()) };
                dot_escape(&mut line, &dstr);
                std::println!("{}", line);
            }
        }
    }
}