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

use crate::records::require_tracer::RequireTracer;
use core::ffi::c_void;
use luaur_ast::records::ast_expr_call::AstExprCall;
use luaur_ast::records::ast_expr_global::AstExprGlobal;
use luaur_ast::records::ast_node::AstNode;
use luaur_ast::rtti::ast_node_as;

impl RequireTracer {
    pub fn visit_ast_expr_call(&mut self, node: *mut c_void) -> bool {
        let expr = unsafe { &*(node as *mut AstExprCall) };
        let global = unsafe { ast_node_as::<AstExprGlobal>(expr.func as *mut AstNode) };

        if !global.is_null() {
            let global_ref = unsafe { &*global };
            let name_ptr = global_ref.name.value;
            let is_require = unsafe {
                let c_str = core::ffi::CStr::from_ptr(name_ptr);
                c_str.to_bytes() == b"require"
            };

            if is_require && expr.args.size >= 1 {
                self.require_calls.push(node as *mut AstExprCall);
            }
        }

        true
    }
}