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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

use luaur_ast::records::ast_expr_call::AstExprCall;
use luaur_ast::records::ast_expr_constant_bool::AstExprConstantBool;
use luaur_ast::records::ast_expr_global::AstExprGlobal;

#[allow(non_snake_case)]
pub fn does_call_error(call: &AstExprCall) -> bool {
    let global = unsafe {
        luaur_ast::rtti::ast_node_as::<AstExprGlobal>(
            call.func as *mut luaur_ast::records::ast_node::AstNode,
        )
    };

    if global.is_null() {
        return false;
    }

    unsafe {
        let name = (*global).name.value;
        if name.is_null() {
            return false;
        }

        let name_bytes = core::ffi::CStr::from_ptr(name).to_bytes();
        if name_bytes == b"error" {
            return true;
        }

        if name_bytes == b"assert" {
            // assert() will error because it is missing the first argument
            let first_arg = match call.args.iter().next() {
                Some(arg) => *arg,
                None => return true,
            };

            if first_arg.is_null() {
                return false;
            }

            let expr = luaur_ast::rtti::ast_node_as::<AstExprConstantBool>(
                first_arg as *mut luaur_ast::records::ast_node::AstNode,
            );

            if expr.is_null() {
                return false;
            }

            if !(*expr).value {
                return true;
            }
        }
    }

    false
}