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                exec_stmt_error_with_stmt_and_cause(def_abstract_prop_stmt.clone().into(), e)
11            })?;
12        Ok(NonFactualStmtSuccess::new_with_stmt(def_abstract_prop_stmt.clone().into()).into())
13    }
14}