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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

use crate::functions::get_type_alt_j::get_type_id;
use crate::functions::to_string_to_string_alt_c::to_string_type_id;
use crate::records::any_type::AnyType;
use crate::records::never_type::NeverType;
use crate::records::primitive_type::PrimitiveType;
use crate::records::state_dot::StateDot;
use crate::records::unknown_type::UnknownType;
use crate::type_aliases::type_id::TypeId;
use core::ffi::c_char;
use luaur_common::functions::format_append::formatAppend;

impl StateDot {
    pub fn visit_child_type_id_i32_c_char(
        &mut self,
        ty: TypeId,
        parent_index: i32,
        link_name: *const c_char,
    ) {
        if !self.ty_to_index.contains_key(&ty)
            || (self.opts.duplicate_primitives && self.can_duplicate_primitive(ty))
        {
            *self.ty_to_index.get_or_insert(ty) = self.next_index;
            self.next_index += 1;
        }

        let index = *self.ty_to_index.find(&ty).unwrap();

        if parent_index != 0 {
            if !link_name.is_null() {
                let name = unsafe { core::ffi::CStr::from_ptr(link_name).to_string_lossy() };
                formatAppend(
                    &mut self.result,
                    format_args!("n{} -> n{} [label=\"{}\"];\n", parent_index, index, name),
                );
            } else {
                formatAppend(
                    &mut self.result,
                    format_args!("n{} -> n{};\n", parent_index, index),
                );
            }
        }

        if self.opts.duplicate_primitives && self.can_duplicate_primitive(ty) {
            unsafe {
                if get_type_id::<PrimitiveType>(ty).is_null() == false {
                    let s = to_string_type_id(ty);
                    formatAppend(
                        &mut self.result,
                        format_args!("n{} [label=\"{}\"];\n", index, s),
                    );
                } else if get_type_id::<AnyType>(ty).is_null() == false {
                    formatAppend(
                        &mut self.result,
                        format_args!("n{} [label=\"any\"];\n", index),
                    );
                } else if get_type_id::<UnknownType>(ty).is_null() == false {
                    formatAppend(
                        &mut self.result,
                        format_args!("n{} [label=\"unknown\"];\n", index),
                    );
                } else if get_type_id::<NeverType>(ty).is_null() == false {
                    formatAppend(
                        &mut self.result,
                        format_args!("n{} [label=\"never\"];\n", index),
                    );
                }
            }
        } else {
            self.visit_children_type_id_i32(ty, index);
        }
    }
}