Skip to main content

luaur_analysis/methods/
data_flow_graph_get_refinement_key.rs

1use crate::records::data_flow_graph::DataFlowGraph;
2use crate::records::refinement_key::RefinementKey;
3use luaur_ast::records::ast_expr::AstExpr;
4
5impl DataFlowGraph {
6    pub fn get_refinement_key(&self, expr: *const AstExpr) -> *const RefinementKey {
7        if let Some(v) = self.ast_refinement_keys.find(&expr) {
8            *v
9        } else {
10            core::ptr::null()
11        }
12    }
13}