Skip to main content

litex/execute/
exec_def_abstract_prop_stmt.rs

1use crate::prelude::*;
2
3impl Runtime {
4    pub fn exec_def_abstract_prop_stmt(
5        &mut self,
6        def_abstract_prop_stmt: &DefAbstractPropStmt,
7    ) -> Result<StmtResult, RuntimeError> {
8        self.store_def_abstract_prop(def_abstract_prop_stmt)
9            .map_err(|e| {
10                short_exec_error(def_abstract_prop_stmt.clone().into(), "", Some(e), vec![])
11            })?;
12        Ok((NonFactualStmtSuccess::new(
13            def_abstract_prop_stmt.clone().into(),
14            InferResult::new(),
15            vec![],
16        ))
17        .into())
18    }
19}