openehr-lang 0.0.2

openEHR LANG 1.0.0: BMM/P_BMM object model (generated from BMM) plus a hand-written ODIN instance parser (the `odin` module — deliberately off the codegen path).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// @generated by openehr-codegen from BMM (`BMM_ASSERTION`) — DO NOT EDIT.

//! The openEHR `BMM_ASSERTION` spec class, generated from the vendored BMM
//! meta-model.

use crate::bmm3::expression::el_boolean_expression::ElBooleanExpression;

/// A statement that asserts the truth of its expression. If the expression evaluates to False the execution generates an exception (depending on run-time settings).
///
/// May be rendered in syntax as `assert condition` or similar.
#[doc(alias = "BMM_ASSERTION")]
#[derive(Debug, Clone, PartialEq)]
pub struct BmmAssertion {
    /// Boolean-valued expression of the assertion.
    pub expression: ElBooleanExpression,
    /// Optional tag, typically used to designate design intention of the assertion, e.g. `"Inv_all_members_valid"`.
    pub tag: Option<String>,
}