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

use crate::records::constraint_graph::ConstraintGraph;
use crate::type_aliases::constraint_vertex::ConstraintVertex;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl ConstraintGraph {
    pub fn add_dependency_of_constraint_vertex_constraint_vertex(
        &mut self,
        dependency: ConstraintVertex,
        target: ConstraintVertex,
    ) -> bool {
        let deps = self.find_dependency_list(target.clone());
        let reverse_deps = self.find_reverse_dependency_list(dependency.clone());

        let deps_ref = unsafe { &*deps.as_ptr() };
        if deps_ref.contains(target.clone()) {
            let reverse_deps_ref = unsafe { &*reverse_deps.as_ptr() };
            LUAU_ASSERT!(reverse_deps_ref.contains(dependency.clone()));
            return false;
        }

        let mut deps_mut = unsafe { &mut *deps.as_ptr() };
        deps_mut.insert(dependency.clone());

        let mut reverse_deps_mut = unsafe { &mut *reverse_deps.as_ptr() };
        reverse_deps_mut.insert(target);

        true
    }
}