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

use luaur_ast::records::ast_expr_call::AstExprCall;
use luaur_ast::records::ast_expr_global::AstExprGlobal;
use luaur_ast::records::ast_expr_index_name::AstExprIndexName;
use luaur_ast::records::ast_node::AstNode;
use luaur_ast::rtti::ast_node_as;

pub fn match_table_freeze(call: &AstExprCall) -> bool {
    if call.args.len() < 1 {
        return false;
    }

    let index = unsafe { ast_node_as::<AstExprIndexName>(call.func as *mut AstNode) };
    if index.is_null() {
        return false;
    }

    let index_ref = unsafe { &*index };
    if index_ref.index.value.is_null() {
        return false;
    }
    let index_bytes = unsafe { core::ffi::CStr::from_ptr(index_ref.index.value).to_bytes() };
    if index_bytes != b"freeze" {
        return false;
    }

    let global = unsafe { ast_node_as::<AstExprGlobal>(index_ref.expr as *mut AstNode) };
    if global.is_null() {
        return false;
    }

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

    unsafe { core::ffi::CStr::from_ptr(global_ref.name.value) }.to_bytes() == b"table"
}