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

use crate::records::data_flow_graph_builder::DataFlowGraphBuilder;
use crate::records::dfg_scope::DfgScope;

impl DataFlowGraphBuilder {
    pub fn join_bindings(&mut self, p: *mut DfgScope, a: &DfgScope, b: &DfgScope) {
        unsafe {
            for (sym, def1) in a.bindings.iter() {
                if let Some(def2) = b.bindings.find(sym) {
                    let phi = (*self.def_arena).phi_def_id_def_id(*def1, *def2);
                    *(*p).bindings.get_or_insert(sym.clone()) = phi;
                } else if let Some(def2) = (*p).lookup_symbol(sym.clone()) {
                    let phi = (*self.def_arena).phi_def_id_def_id(*def1, def2);
                    *(*p).bindings.get_or_insert(sym.clone()) = phi;
                }
            }

            for (sym, def1) in b.bindings.iter() {
                if let Some(def2) = (*p).lookup_symbol(sym.clone()) {
                    let phi = (*self.def_arena).phi_def_id_def_id(*def1, def2);
                    *(*p).bindings.get_or_insert(sym.clone()) = phi;
                }
            }
        }
    }
}