luaur-analysis 0.1.0

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

use luaur_ast::records::ast_local::AstLocal;
use luaur_ast::records::ast_node::AstNode;
use luaur_ast::records::ast_stat_local::AstStatLocal;
use luaur_ast::rtti::ast_node_as;

use crate::records::symbol::Symbol;

pub fn is_being_defined(ancestry: &alloc::vec::Vec<*mut AstNode>, symbol: &Symbol) -> bool {
    if symbol.local.is_null() {
        return false;
    }

    let mut iter = ancestry.len();
    while iter > 0 {
        iter -= 1;
        let node = ancestry[iter];
        let stat_local = unsafe { ast_node_as::<AstStatLocal>(node as *mut AstNode) };
        if stat_local.is_null() {
            continue;
        }

        let vars = unsafe { &(*stat_local).vars };
        for var in vars {
            if *var == symbol.local {
                return true;
            }
        }
    }

    false
}