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

use crate::records::assign::Assign;
use crate::records::cfg_builder::CfgBuilder;
use luaur_ast::records::ast_stat_assign::AstStatAssign;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl CfgBuilder {
    pub fn lower_ast_stat_assign(&mut self, assn: *mut AstStatAssign) {
        unsafe {
            for i in 0..(*assn).values.size {
                let expr = *(*assn).values.data.add(i as usize);
                self.lower_expr_ast_expr(expr);
            }

            for i in 0..(*assn).vars.size {
                let target = *(*assn).vars.data.add(i as usize);

                // C++:
                //   if (auto sym = extractLValueSymbol(target)) {
                //       DefId def = newDefinition(*sym);
                //       emit<Assign>(currentBlock, def, assn);
                //       currentBlock->setReachingDefinition(*sym, def);
                //   } else LUAU_ASSERT(!"Unhandled lvalue type");
                if let Some(sym) =
                    crate::functions::extract_l_value_symbol::extract_l_value_symbol(&*target)
                {
                    let def = self.new_definition(sym.clone());
                    let current_block = self.current_block;
                    self.emit::<Assign, _>(current_block, (def, assn));
                    (*current_block).set_reaching_definition(sym, def);
                } else {
                    LUAU_ASSERT!(false);
                }
            }
        }
    }
}