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

use crate::records::data_flow_graph::DataFlowGraph;
use crate::records::refinement_key::RefinementKey;
use core::ffi::CStr;
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::rtti::ast_node_as;

pub fn match_is_instance_guard(call: &AstExprCall, dfg: &DataFlowGraph) -> *const RefinementKey {
    unsafe {
        let index = ast_node_as::<AstExprIndexName>(call.func as *mut _);
        if index.is_null() || (*index).op != '.' as i8 {
            return core::ptr::null();
        }

        if (*index).index.value.is_null()
            || CStr::from_ptr((*index).index.value).to_bytes() != b"isinstance"
        {
            return core::ptr::null();
        }

        if ast_node_as::<AstExprGlobal>((*index).expr as *mut _).is_null() {
            return core::ptr::null();
        }

        if call.args.size < 1 {
            return core::ptr::null();
        }

        dfg.get_refinement_key(*call.args.data)
    }
}