Skip to main content

litex/verify/
verify_well_defined_in_local_env.rs

1use crate::prelude::*;
2
3impl Runtime {
4    pub fn verify_obj_well_defined_with_its_local_def(
5        &mut self,
6        params_def: Vec<ParamGroupWithSet>,
7        define_params_to_be_param_obj_type: ParamObjType,
8        obj: Obj,
9    ) -> Result<(), RuntimeError> {
10        self.run_in_local_env(|rt| {
11            for param_def in params_def.iter() {
12                rt.define_params_with_set_in_scope(param_def, define_params_to_be_param_obj_type)?;
13            }
14            rt.verify_obj_well_defined_and_store_cache(&obj, &VerifyState::new(0, false))
15        })
16    }
17}