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

use crate::records::def::Def;
use crate::records::symbol::Symbol;
use crate::records::usage_finder::UsageFinder;
use luaur_ast::records::ast_expr::AstExpr;
use luaur_ast::records::ast_expr_local::AstExprLocal;
use luaur_ast::records::ast_node::AstNode;
use luaur_ast::rtti::ast_node_as;

impl UsageFinder {
    pub fn visit_ast_expr(&mut self, expr: *mut AstExpr) -> bool {
        let dfg = unsafe { &*self.dfg };

        if let Some(opt) = dfg.get_def_optional(expr) {
            self.mentioned_defs.insert(opt);
        }

        let ref_ = dfg.get_refinement_key(expr);
        if !ref_.is_null() {
            self.mentioned_defs
                .insert(unsafe { (*ref_).def() } as *const Def);
        }

        let local = unsafe { ast_node_as::<AstExprLocal>(expr as *mut AstNode) };
        if !local.is_null() {
            let def = dfg.get_def(local as *const AstExpr);
            let ast_local = unsafe { (*local).local };
            self.local_bindings_referenced.push((def, ast_local));
            self.symbols_to_refine
                .push((def, Symbol::from_local(ast_local)));
        }

        true
    }
}