luaur-analysis 0.1.1

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

use crate::records::data_flow_graph_builder::DataFlowGraphBuilder;
use luaur_ast::records::ast_array::AstArray;
use luaur_ast::records::ast_generic_type::AstGenericType;

impl DataFlowGraphBuilder {
    pub fn visit_generics(&mut self, g: AstArray<*mut AstGenericType>) {
        for i in 0..g.size {
            let generic = unsafe { *g.data.add(i) };
            if generic.is_null() {
                continue;
            }

            let default_value = unsafe { (*generic).default_value };
            if !default_value.is_null() {
                self.visit_type_ast_type(default_value);
            }
        }
    }
}