Skip to main content

luaur_analysis/methods/
constraint_solver_lookup_table_prop_constraint_solver.rs

1use crate::enums::value_context::ValueContext;
2use crate::records::constraint::Constraint;
3use crate::records::constraint_solver::ConstraintSolver;
4use crate::records::table_prop_lookup_result::TablePropLookupResult;
5use crate::type_aliases::type_id::TypeId;
6use luaur_common::records::dense_hash_set::DenseHashSet;
7
8impl ConstraintSolver {
9    pub fn lookup_table_prop_not_null_constraint_type_id_string_value_context_bool_bool(
10        &mut self,
11        constraint: *const Constraint,
12        subject_type: TypeId,
13        prop_name: &str,
14        context: ValueContext,
15        in_conditional: bool,
16        suppress_simplification: bool,
17    ) -> TablePropLookupResult {
18        let mut seen = DenseHashSet::new(core::ptr::null());
19        self.lookup_table_prop_not_null_constraint_type_id_string_value_context_bool_bool_set_type_id(
20            constraint, subject_type, prop_name, context, in_conditional, suppress_simplification, &mut seen
21        )
22    }
23}