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

use crate::records::require_tracer::RequireTracer;
use luaur_ast::records::ast_expr_local::AstExprLocal;
use luaur_ast::records::ast_stat_assign::AstStatAssign;
use luaur_ast::rtti::ast_node_as;

impl RequireTracer {
    pub fn visit_ast_stat_assign(&mut self, node: *mut core::ffi::c_void) -> bool {
        let stat = node as *mut AstStatAssign;
        let stat_ref = unsafe { &*stat };

        for i in 0..stat_ref.vars.size {
            let var = unsafe { *stat_ref.vars.data.add(i) };
            let expr_local = unsafe {
                ast_node_as::<AstExprLocal>(var as *mut luaur_ast::records::ast_node::AstNode)
            };

            if !expr_local.is_null() {
                let local = unsafe { (*expr_local).local };
                self.locals.try_insert(local, core::ptr::null_mut());
            }
        }

        true
    }
}