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
55
56

use luaur_ast::records::ast_stat::AstStat;
use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_ast::records::ast_stat_break::AstStatBreak;
use luaur_ast::records::ast_stat_if::AstStatIf;
use luaur_ast::rtti::ast_node_as;
use luaur_ast::rtti::ast_node_is;

pub fn has_break(node: *mut AstStat) -> bool {
    if node.is_null() {
        return false;
    }

    unsafe {
        if !ast_node_as::<AstStatBlock>(node as *mut luaur_ast::records::ast_node::AstNode)
            .is_null()
        {
            let stat =
                ast_node_as::<AstStatBlock>(node as *mut luaur_ast::records::ast_node::AstNode);
            if stat.is_null() {
                return false;
            }

            for i in 0..(*stat).body.size {
                if has_break(*(*stat).body.data.add(i)) {
                    return true;
                }
            }
            return false;
        }

        if ast_node_is::<AstStatBreak>(unsafe {
            &*(node as *const luaur_ast::records::ast_node::AstNode)
        }) {
            return true;
        }

        if !ast_node_as::<AstStatIf>(node as *mut luaur_ast::records::ast_node::AstNode).is_null() {
            let stat = ast_node_as::<AstStatIf>(node as *mut luaur_ast::records::ast_node::AstNode);
            if stat.is_null() {
                return false;
            }

            if has_break((*stat).thenbody as *mut AstStat) {
                return true;
            }

            if !(*stat).elsebody.is_null() && has_break((*stat).elsebody as *mut AstStat) {
                return true;
            }

            return false;
        }

        false
    }
}