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
27
28
29
30
31
32
33

use crate::records::constraint_graph::ConstraintGraph;
use crate::records::constraint_list::ConstraintList;
use crate::records::r#type::Type;
use crate::type_aliases::constraint_vertex::ConstraintVertex;
use core::ptr::NonNull;
use luaur_common::macros::luau_assert::LUAU_ASSERT;
use luaur_common::records::dense_hash_map::DenseHashMap;

impl ConstraintGraph {
    pub fn find_reverse_dependency_list(
        &mut self,
        vertex: ConstraintVertex,
    ) -> NonNull<ConstraintList> {
        if let Some(rdep) = self.reverse_dependencies.find(&vertex) {
            return NonNull::new(*rdep).unwrap();
        }

        self.constraint_lists.push(Box::new(ConstraintList {
            present: DenseHashMap::new(ConstraintVertex::V0(core::ptr::null::<Type>())),
            order: Vec::new(),
            entries: 0,
        }));
        let newlist =
            NonNull::new(&mut **self.constraint_lists.last_mut().unwrap() as *mut ConstraintList)
                .unwrap();

        let (_it, fresh) = self
            .reverse_dependencies
            .try_insert(vertex, newlist.as_ptr());
        LUAU_ASSERT!(fresh);
        newlist
    }
}