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

use crate::records::data_flow_graph::DataFlowGraph;
use crate::records::refinement_key::RefinementKey;
use luaur_ast::records::ast_expr::AstExpr;

impl DataFlowGraph {
    pub fn get_refinement_key(&self, expr: *const AstExpr) -> *const RefinementKey {
        if let Some(v) = self.ast_refinement_keys.find(&expr) {
            *v
        } else {
            core::ptr::null()
        }
    }
}