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

use crate::records::cfg_builder::CfgBuilder;
use luaur_ast::records::ast_stat::AstStat;
use luaur_ast::records::ast_stat_assign::AstStatAssign;
use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_ast::records::ast_stat_if::AstStatIf;
use luaur_ast::records::ast_stat_local::AstStatLocal;
use luaur_ast::records::ast_stat_while::AstStatWhile;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl CfgBuilder {
    pub fn lower_ast_stat(&mut self, statement: *mut AstStat) {
        unsafe {
            let p = statement as *mut luaur_ast::records::ast_node::AstNode;

            if (*p).is::<AstStatBlock>() {
                self.lower_ast_stat_block(statement as *mut AstStatBlock);
            } else if (*p).is::<AstStatLocal>() {
                self.lower_ast_stat_local(statement as *mut AstStatLocal);
            } else if (*p).is::<AstStatAssign>() {
                self.lower_ast_stat_assign(statement as *mut AstStatAssign);
            } else if (*p).is::<AstStatIf>() {
                self.lower_ast_stat_if(statement as *mut AstStatIf);
            } else if (*p).is::<AstStatWhile>() {
                self.lower_ast_stat_while(statement as *mut AstStatWhile);
            } else {
                LUAU_ASSERT!(false);
            }
        }
    }
}